|
Iran University of Science and Technology Address: University
Road, Email: Rafe[at]iust[dot]ac[dot]ir |
Ø 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
Book:
1. V. Rafe, H.R
Moghasemi: “Principles of Compiler design”, Book published by
Gostaresh Oloome Payeh, 2010, (In Farsi)
Journal Articles:
1. V. Rafe, S. Doostali:"ASM2Bogor: An
approach for verification of models specified through Asmeta language",
Journal of Visual Languages and Computing, Vol. 23, No. 5, pp 287-298, 2012
2. V. Rafe, M.
Monfaredzadeh:” A Qualitative Framework to Assess Hospital / Medical
Websites”, Journal of Medical Systems, Springer, Online First, 26 August
2011.
3. V. Rafe, Sh. Jamali,
M. Rahmani, F. Mahdian: “From Class Diagrams to Relational Tables: A
Graph Transformation-based Approach”, Electrical Review, Vol. 2011, No.
8, pp 163-165, 2011.
4. V. Rafe, A. Nikanjam,
M. Rezaei.: “ Galoan: A Multi-agent Approach To Herd Cows”, Annals of Mathematics
and Artificial Intelligence, (AMAI), Springer, Online First, 16 March 2011.
5. Y. Asadollahi, V.
Rafe, S. Asadollahi : “A Formal Framework to Model and Validate
Event-Based Software Architectures”, Journal
of Procedia-Computer Science, Elsevier Science B.V., Vol. 3, No. 1, pp
961-966, 2011.
6. V. Rafe, F. Mahdian:
“Style-based modeling and verification of fault tolerance service oriented
architectures”, Journal
of Procedia-Computer Science, Elsevier Science B.V., Vol. 3, No. 1, pp
972-976, 2011.
7. V. Rafe, A.T.
Rahmani, R. Rafeh: “Formal Analysis of UML 2.0 Activities Using Graph
Transformation Systems”, International
Journal of Software Engineering and Knowledge Engineering (IJSEKE), World
Scientific Publishing, Vol. 20, No. 5, pp 679-694, 2010.
8. 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).
9. M. Sharifi, H.
Momeni, V. Rafe: “Optimal Real-Time Task Allocation in Wireless Sensor
Actor Networks”, Australian Journal of Basic and Applied Sciences, , Vol. 4,
No. 8, pp 3455-3466, 2010.
10. V. Rafe and A. T.
Rahmani: “A Novel Approach to verify graph Schema-Based software
systems”, journal
of Software Engineering and Knowledge Engineering (IJSEKE), World
Scientific Publishing, Vol. 19, No. 6, pp 857-870, (2009).
11. V. Rafe and A. T.
Rahmani: “Towards Automated Software Model Checking
Using Graph Transformation Systems and Bogor”, journal of Zhejiang
University- Science A (JZUS), Springer, No.8, pp. 1093-1105 (2009).
12. 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)
Conferences:
1. A. Moeini, V. Rafe,
F. Mahdian: “An Approach to Refactoring Legacy Systems”, in Proc.
of Third IEEE International conference on Advanced Computer Theory and
Engineering (ICACTE), China, 2010
2. F. Mahdian, V. Rafe:
“Different Models of Dependable Services in Service-Oriented
Architecture”, in Proc. of Third IEEE International conference on
Advanced Computer Theory and Engineering (ICACTE), China, 2010
3. 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.
4. 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.
5. 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
6. 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
7. 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.
8. 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)
9. 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),
10. 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),
11. 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)
12. V. Rafe, “Model
Checking of Graph Transformation Systems”. Technical Report. Politecnico
di Milano University, (2007)
13. 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,
14. A. T. Rahmani and V.
Rafe: “Comparison and Analysis of Distributed Technologies in IT
Environments”, In Proc. of 10th Iranian International Computer
Conference,
15. S. Hashemi, V. Rafe,
et al. : “A Novel Distributed Clustering Approach for Noisy and Huge
Data”, In Proc. of 10th Iranian International Computer Conference,
Tehran, Iran 2005 (In Farsi).
16. 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)
17. 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,
Courses
Taught