 | 2009 |
|---|
| 8 |       | 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 |
| 7 |  | S. Asadollahi,
Vahid Rafe,
Reza Rafeh,
Adel Torkaman Rahmani:
Towards Automated Software Verification Using Model Checking Techniques.
TASE 2009: 305-306 |
| 6 | | Farzaneh Mahdian,
Vahid Rafe,
Reza Rafeh,
Adel Torkaman Rahmani:
Modeling Fault Tolerant Services in Service-Oriented Architecture.
TASE 2009: 319-320 |
| 2008 |
|---|
| 5 | | Vahid Rafe,
Adel Torkaman Rahmani:
Formal Analysis of Workflows Using UML 2.0 Activities and Graph Transformation Systems.
ICTAC 2008: 305-318 |
| 4 | | 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) |
| 2006 |
|---|
| 3 | | 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 |
|---|
| 2 | | Hossein Momeni,
T. Rahmani,
Mohsen Sharifi,
Vahid Rafe:
Providing Local ORB-Like Services to Collocated CORBA Components.
CLUSTER 2005: 1-8 |
| 2004 |
|---|
| 1 | | 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 |
