Vahid Rafe


Computer Engineering Department

Iran University of Science and Technology

 

Address:

University Road, Hengam Street
Resalat Square, Tehran, Iran

 

 

Email:

Rafe[at]iust[dot]ac[dot]ir

I received my B.Sc., M.Sc. and Ph.D. in software engineering from Iran University of Science and Technology. I also was visiting researcher at University of Politechnico di Milano (Italy). I’m currently an assistant professor at Arak University. My research interests are:

Ø     Formal Methods (Graph Transformation Systems, Bogor, Alloy and Automata)

Ø     Formal Specification and Verification of Software Systems

Ø     Model Transformation and Refinement

Ø     Software Architectures and Distributed Systems

 

Educational Background                                              

 

Sep.2004- Feb 2009

v      PhD degree of Software Engineering, Department of Computer Engineering, Iran University of Science and Technology, Tehran, Iran.

Supervisor: Dr. Adel Torkaman Rahmani

PhD Thesis: Refinement and Behavioral Analysis of Platform Independent Models.

 

v      From February 2007-Until July 2007, I was in Politechnico di Milano University. (6 months sabbatical leave). I was working on model checking of graph transformation systems:

Research Tutor: Professor Luciano Baresi.

Research co-worker: Dr. Paola Spoletini

 

Sep.2002- Sep. 2004.

v      Master degree in Software Engineering. Department of Computer Engineering, Iran University of Science and Technology, Tehran, Iran.

Supervisor: Dr. Adel Torkaman Rahmani

Thesis Title: Representing a CCM Model for Real-Time Applications.

 

Sep. 1998- Sep. 2002.

v      B.Sc. Degree in Computer Engineering (Software), Department of Computer Engineering, Iran University of Science and Technology, Tehran, Iran.

Supervisor: Dr. Adel Torkaman Rahmani

Thesis Title: Design and Implementation of a Robocup team for Simulation League.

 

Publications

 

  1. V. Rafe, H. Momeni and M. Sharifi: “Energy-aware Task Allocation in Wireless Sensor Actor Networks”, in Proc. of second Intl. Conf. on Computer and Electrical Engineering (ICCEE09), IEEE Press, Dubay, 2009.
  2. V. Rafe: “Designing a Framework for Distributing Serial Applications”, in Proc. of second Intl. Conf. on Computer and Electrical Engineering (ICCEE09), IEEE Press, Dubay, 2009.
  3. F. Mahdian, V. Rafe, A. T. Rahmani, R. Rafeh: “Modeling Fault Tolerant Services in Service-Oriented Architecture”, in Proc. of Third IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE09),China, pp. 319-320  2009
  4. S. Asadollahi, V. Rafe, A. T. Rahmani, R. Rafeh: “Towards Automated Software Verification Using Model Checking Techniques”, in Proc. of Third IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE09),China, pp. 305-306  2009
  5. H. Momeni, V. Rafe, M. Sharifi, A. T. Rahmani: “A Graph Transformation-Based Approach to Task Allocation in Wireless Sensor Actor Networks”, in Proc. of 21st IEEE International Conference on Software Engineering and Knowledge Engineering (SEKE09), USA, 2009.
  6. V. Rafe, A. T. Rahmani, L. Baresi, P. Spoletini: “Towards Automated Verification of Layered Graph Transformation Specifications”, journal of IET Software, Vol.3 No.4, pp. 276-291   (2009).
  7. V. Rafe, A. T. Rahmani: “Formal Analysis of Workflows Using UML 2.0 Activities and  Graph Transformation Systems”, in Proc. of 5th International Colloquium on Theoretical Aspects of Computing (ICTAC), Lectute Notes in Computer Science (LNCS), ISSN: 0302-9743pp. 305-318, Istanbul, Turkey, (2008) 
  8. V. Rafe and A. T. Rahmani: “A Novel Approach to verify graph Schema-Based software systems”, journal of Software Engineering and Knowledge Engineering (IJSEKE), Vol. 19, No. 6, pp 857-870,  (2009).
  9. V. Rafe and A. T. Rahmani: “Towards Automated Software Model Checking Using Graph Transformation Systems and Bogor”, journal of Zhejiang University- Science A (JZUS), No.8, pp. 1093-1105 (2009).
  10. L. Baresi, V. Rafe, A. T. Rahmani and P. Spoletini: “An Efficient Solution for Model Checking Graph Transformation Systems”, Electronic Notes in Theoretical Computer Science (ENTCS), Vol. 213, Elsevier Science B.V., ISSN: 1571-0661, PP. 3-21 (2008)
  11. V. Rafe, A. T. Rahmani: “A Graph Transformation-Based Approach to Formal Modeling and Verification of Workflows” Proc. of the 13th Int'l CSI Computer Conference (CSICC'08), Kish Island, Iran, Communications in Computer and Information Science (CCIS), Springer  (2008)
  12.  V. Rafe, A. T. Rahmani: “On the Analysis and Verification of Graph Transformation Systems”. In proc. of 3th International Conference on Information, Knowledge and Technology (IKT07), Mashhad, Iran, (2007)
  13. L. Baresi, V. Rafe, A. T. Rahmani and P. Spoletini: “An Efficient Model Checking Approach for Graph Transformation Systems”. In proc. of 3th Workshop on Graph Transformation for Verification and Concurrency (GT-VC). Lisbon, Portugal, http://www.ti.inf.uni-due.de/events/gtvc2007/ (2007)
  14. V. Rafe, “Model Checking of Graph Transformation Systems”. Technical Report. Politecnico di Milano University, (2007)
  15. A. T. Rahmani, V. Rafe, S. Sedighian and A. Abbaspour:”An MDA-Based Modeling and Design of Service Oriented Architechtures”,in Proc. of International Conference on Computational Science (3) (ICCS 2006), Lectute Notes In Computer Science (LNCS), Vol. 3993, PP 578-585, England (2006)
  16. A. T. Rahmani and V. Rafe: “Comparison and Analysis of Distributed Technologies in IT Environments”, In Proc. of 10th Iranian International Computer Conference,Tehran, Iran, 2005 (In Farsi).
  17. S. Hashemi, V. Rafe, A. T. Rahmani, M. R. Kangavari, P. Shareghi and N. Imani: “A Novel Distributed Clustering Approach for Noisy and Huge Data”, In Proc. of 10th Iranian International Computer Conference, Tehran, Iran 2005 (In Farsi).
  18. H. Momeni, M. Sharifi, A. T. Rahmani and V. Rafe, “Providing Local ORB-Like Services to Collocated CORBA Components”, In Proc. of the IEEE Conference on Cluster and HeteroPar, Boston, Masachusete, USA, (2005)
  19. M. Sharifi, A. T. Rahmani, V. Rafe and H. Momeni, “CORBA Components Collocation Optimization Enhanced with Local ORB-Like Services Support”, Lecture Notes in Computer Science (LNCS), Vol. 3291, Springer-Verlag, ISBN: 3-540-23662-7, pp. 1143-1154,Cyprus (2004)

 

Courses Taught