Areas of Expertise Online course development Software development methodologies Programming languages and environments Model checkers and tools Research Interests Formal Specification and Verification of Software Systems Model Transformation and Refinement Software Architectures Agent Oriented Software Engineering Education 2009 PhD degree of Software Engineering, Department of Computer Engineering, Iran University of Science and Technology, Tehran, Iran. 2004 Master degree in Software Engineering. Department of Computer Engineering, Iran University of Science and Technology, Tehran, Iran. 2002 B.Sc. Degree in Computer Engineering (Software), Department of Computer Engineering, Iran University of Science and Technology, Tehran, Iran. Biography Awards Affiliations Grants and Contracts Awarded Bridge’s information management system: it was a project which was defined by the ministry of transportation of Iran. I was the team manager and two designers along with two programmers worked together for nearly 6 months to develop this system. Online shopping system (for supermarkets in Arak city): it was a web-based system that we developed for different supermarkets in Arak to sale their goods online. Publications & Presentations 1.R. Yousefian, S. Aboutorabi, V. Rafe. A greedy algorithm versus metaheuristic solutions to deadlock detection in Graph Transformation Systems, Journal of Intelligent and Fuzzy Systems, published online, 2016 2.Z. Saffarian Eidgahi, V. Rafe. Security Analysis of Network protocols through Model Checking: A Case Study on Mobile IPV6, Security and Communication Networks, In Press, 2016 3.Kalaee, V. Rafe. An Optimal Solution for Test Case Generation Using ROBDD Graph and PSO Algorithm. Quality and Reliability Engineering International, In Press. 2016 4.V. rafe, Z. Paiandeh, A. Nikanjam. A hybrid optimization algorithm based on harmony search and differential evolution for continuous domain, Journal of Intelligent and Fuzzy Systems, 29(5), 2015 5.V. Rafe, M. Golparian, S. Rasoolzadeh, using graph transformation systems to formalize Tropos diagrams, Visual Languages and Computing, 30(5), 1-16, 2015 6.V Rafe, M Moradi, R Yousefian, A Nikanjam, A meta-heuristic solution for automated refutation of complex software systems specified through graph transformations, Applied Soft Computing 33, 136-149, 2015. 7.V Rafe, M Hosseini, MJ Moghaddam, R Karimi, An Efficient Approach to Breast Cancer Prediction Based on Neural Network, Adaboost and Gaussian Process, Journal of Medical Imaging and Health Informatics 5 (3), 533-538, 2015. 8.S Mirzayi, V Rafe, A hybrid heuristic workflow scheduling algorithm for cloud computing environments, Journal of Experimental & Theoretical Artificial Intelligence, 27(6) 721-735, 2015. 9.M Hajvali, V Rafe, Considering Reliability in Designing Pervasive Healthcare System, Journal of Medical Imaging and Health Informatics 5 (1), 63-70, 2015. 10.V Rafe, R Hosseinpouri, A security framework for developing service?oriented software architectures, Security and Communication Networks, 8(17), 2015. 11.E Eshraghian, V Rafe, Performance Measurement of Models Specified Through Component-based Software Architectural Styles, Measurement, 73, 2015 12.R Yousefian, V Rafe, M Rahmani, A heuristic solution for model checking graph transformation systems, Applied Soft Computing 24, 169-180, 2014. 13.V Rafe, SH Farhoud, S Rasoolzadeh, Breast cancer prediction by using C5. 0 Algorithm and BOOSTING Method, Journal of Medical Imaging and Health Informatics 4 (4), 600-604, 2014 14.Mahdi rahimi Naddaf, Vahid Rafe, Performance Modeling and Analysis of Software Architectures Specified Through Graph Transformations, Computing and Informatics 10/2013; 32(4). 15.Vahid Rafe, Masoumeh Hajvali, Designing an Architectural Style for Pervasive Healthcare Systems. Journal of Medical Systems 04/2013; 37(2):9927. 16.Vahid Rafe et al, A Novel Web-based Human Advisor Fuzzy Expert System, Journal of Applied Research and Technology 01/2013; 11(1). 17.Vahid Rafe, scenario driven analysis of systems specified through graph transformation, Journal of Visual Languages & Computing 01/2013. 18.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 19.V. Rafe, M. Monfaredzadeh:” A Qualitative Framework to Assess Hospital / Medical Websites”, Journal of Medical Systems, Springer, Online First, 26 August 2011. 20.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. 21.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. 22.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. 23.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. 24.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. 25.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 26.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 27.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 28.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, 2009 Conferences (selected) 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), Kish Island, Iran, Communications in Computer and Information Science (CCIS), Springer (2008). 1 0.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). 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, (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, England (2006). 14.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). 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, Cyprus (2004).
Vahid Rafe Faculty of Engineering Department of Computer Engineering
Contact Information Email: Vfirstname.lastname@example.org Phone: +98(86)????? Fax: +98(86)3262-5422