- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| j11 |      | Vahid Rafe: Scenario-driven analysis of systems specified through graph transformations. J. Vis. Lang. Comput. 24(2): 136-145 (2013) |
| 2012 | ||
| j10 | | Vahid Rafe, Maryam Monfaredzadeh: A Qualitative Framework to Assess Hospital / Medical Websites. J. Medical Systems 36(5): 2927-2939 (2012) |
| j9 | | Vahid Rafe, Saeed Doostali: ASM2Bogor: An approach for verification of models specified through Asmeta language. J. Vis. Lang. Comput. 23(5): 287-298 (2012) |
| 2011 | ||
| j8 | | Vahid Rafe, Amin Nikanjam, Mohammad Rezaei: Galoan: a multi-agent approach to herd cows. Ann. Math. Artif. Intell. 61(4): 333-348 (2011) |
| j7 | | Fatemeh Omrani, Ali Harounabadi, Vahid Rafe: An Adaptive Method Based on High-Level Petri Nets for E-Learning. JSEA 4(10): 559-570 (2011) |
| j6 | | Yahya Asadollahi, Vahid Rafe, Samaneh Asadollahi, Somayeh Assadollahi: A formal framework to model and validate event-based software architecture. Procedia CS 3: 961-966 (2011) |
| j5 | | Vahid Rafe, Farzaneh Mahdian: Style-based modeling and verification of fault tolerance service oriented architectures. Procedia CS 3: 972-976 (2011) |
| 2010 | ||
| j4 | | Vahid Rafe, Adel Torkaman Rahmani, Reza Rafeh: Formal Analysis of UML 2.0 Activities Using Graph Transformation Systems. International Journal of Software Engineering and Knowledge Engineering 20(5): 679-694 (2010) |
| 2009 | ||
| j3 | | Vahid Rafe, Adel Torkaman Rahmani, Luciano Baresi, Paola Spoletini: Towards automated verification of layered graph transformation specifications. IET Software 3(4): 276-291 (2009) |
| j2 | | Vahid Rafe, Adel Torkaman Rahmani: A Novel Approach to Verify Graph Schema-Based Software Systems. International Journal of Software Engineering and Knowledge Engineering 19(6): 857-870 (2009) |
| c7 |  | Hossein Momeni, Vahid Rafe, Mohsen Sharifi, Adel Torkaman Rahmani: A Graph Transformation-based Approach to Task Allocation in Wireless Sensor Actor Networks. SEKE 2009: 609-612 |
| c6 | | Samaneh Asadollahi, Vahid Rafe, Reza Rafeh, Adel Torkaman Rahmani: Towards Automated Software Verification Using Model Checking Techniques. TASE 2009: 305-306 |
| c5 | | Farzaneh Mahdian, Vahid Rafe, Reza Rafeh, Adel Torkaman Rahmani: Modeling Fault Tolerant Services in Service-Oriented Architecture. TASE 2009: 319-320 |
| 2008 | ||
| j1 | | Luciano Baresi, Vahid Rafe, Adel Torkaman Rahmani, Paola Spoletini: An Efficient Solution for Model Checking Graph Transformation Systems. Electr. Notes Theor. Comput. Sci. 213(1): 3-21 (2008) |
| c4 | | Vahid Rafe, Adel Torkaman Rahmani: Formal Analysis of Workflows Using UML 2.0 Activities and Graph Transformation Systems. ICTAC 2008: 305-318 |
| 2006 | ||
| c3 | | Adel Torkaman Rahmani, Vahid Rafe, Saeed Sedighian, Amin Abbaspour: An MDA-Based Modeling and Design of Service Oriented Architecture. International Conference on Computational Science (3) 2006: 578-585 |
| 2005 | ||
| c2 | | Hossein Momeni, T. Rahmani, Mohsen Sharifi, Vahid Rafe: Providing Local ORB-Like Services to Collocated CORBA Components. CLUSTER 2005: 1-8 |
| 2004 | ||
| c1 | | Mohsen Sharifi, Adel Torkaman Rahmani, Vahid Rafe, Hossein Momeni: CORBA Components Collocation Optimization Enhanced with Local ORB-Like Services Support. CoopIS/DOA/ODBASE (2) 2004: 1143-1154 |
Colors in the list of coauthors
Last update Sun May 19 14:50:31 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page