| 2009 | SEKE | A Graph Transformation-based Approach to Task Allocation in Wireless Sensor Actor Networks. | Hossein Momeni, Vahid Rafe, Mohsen Sharifi, Adel Torkaman Rahmani |
| 2009 | TASE | Towards Automated Software Verification Using Model Checking Techniques. | Samaneh Asadollahi, Vahid Rafe, Reza Rafeh, Adel Torkaman Rahmani |
| 2009 | TASE | Modeling Fault Tolerant Services in Service-Oriented Architecture. | Farzaneh Mahdian, Vahid Rafe, Reza Rafeh, Adel Torkaman Rahmani |
| 2008 | CSICC | A Graph Transformation-Based Approach to Formal Modeling and Verification of Workflows. | Vahid Rafe, Adel Torkaman Rahmani |
| 2008 | ICTAC | Formal Analysis of Workflows Using UML 2.0 Activities and Graph Transformation Systems. | Vahid Rafe, Adel Torkaman Rahmani |
| 2006 | ICCS | An MDA-Based Modeling and Design of Service Oriented Architecture. | Adel Torkaman Rahmani, Vahid Rafe, Saeed Sedighian, Amin Abbaspour |
| 2005 | CLUSTER | Providing Local ORB-Like Services to Collocated CORBA Components. | Hossein Momeni, T. Rahmani, Mohsen Sharifi, Vahid Rafe |
| 2004 | CoopIS | CORBA Components Collocation Optimization Enhanced with Local ORB-Like Services Support. | Mohsen Sharifi, Adel Torkaman Rahmani, Vahid Rafe, Hossein Momeni |