نام و نام خانوادگی |
وحید رافع |

|
رتبه علمی |
استادیار |
پست الکترونیکی |
v-rafe@araku.ac.ir |
تلفن |
2622200 |
|
دانشگاههای محل تحصیل |
دکتری |
دانشگاه علم و صنعت ایران |
کارشناسی ارشد |
دانشگاه علم و صنعت ایران |
کارشناسی |
دانشگاه علم و صنعت ایران |
|
|
عناوین و افتخارات |
|
زمینه های تخصصی |
- مهندسی نرم افزار
- روشهای فرمال
- سیستمهای توزیع شده
|
فعالیتهای اجرایی |
- سرپرست مرکز انفورماتیک از خرداد 91 تا کنون
|
تجربیات تخصصی |
|
|
|
پروژه های صنعتی برون دانشگاهی |
تاریخ |
محل اجرای طرح |
|
|
|
پروژه های تحقیقاتی درون دانشگاهی |
تاریخ |
محل اجرای طرح |
|
|
|
راهنمایی پایان نامه های تحصیلات تکمیلی |
- محمد مهدی رحیمی نداف: ارائه روشی برای آنالیز کارایی برای سیستمهای توصیف شده با تبدیل گراف
|
مقالات منتشر شده در مجلات علمی |
- V. Rafe, Saeed 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)
|
- V. Rafe, M. Monfaredzadeh:” A Qualitative Framework to Assess Hospital / Medical Websites”, Journal of Medical Systems, Springer, Online First, 26 August 2011.
|
- 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.
|
- 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.
|
- 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.
|
- 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.
|
- 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.
|
- 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).
|
- 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.
|
- 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).
|
- 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).
|
- 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)
|
مقالات ارائه شده در کنفرانس های علمی |
- 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
|
- 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
|
- 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.
|
- 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.
|
- 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
|
- 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
|
- 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.
|
- V. Rafe, A. T. Rahmani: “Formal Analysis of Workflows Using UML 2.0 Activities and Graph Transformation Systems”, in Proc. of 5thInternational Colloquium on Theoretical Aspects of Computing (ICTAC), Lectute Notes in Computer Science (LNCS), ISSN: 0302-9743pp. 305-318, Istanbul, Turkey, (2008)
|
- 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)
|
- 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)
|
- 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)
|
- V. Rafe, “Model Checking of Graph Transformation Systems”. Technical Report. Politecnico di Milano University, (2007)
|
- 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)
|
- 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).
|
- 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).
|
- 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)
|
- 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)
|
تالیف کتاب |
- V. Rafe, H.R Moghasemi: “Principles of Compiler design”, Book published by Gostaresh Oloome Payeh, 2010, (In Farsi)
|
|
|
|
تجربه تدریس |
- Design and Analysis of Algorithms
- Data Structures
- Theory of Languages
|
- Principles of Compilers
- Object Oriented Design
- Concurrent Programming
|
- Parallel Algorithms
- Software Architectures
- Software Verification Techniques
|
|