Paper presented at a conference, workshop or other event, and published in the proceedings

Akbaripour-Elahabad, Mohammad and Rafeh, Reza and Zahiri, Javad and Rafe, Vahid (2014) RNA-Protein Interaction Prediction sing euence Information. [Paper presented at a conference, workshop or other event, and published in the proceedings] UNSPECIFIED

Rafe, Vahid and Rafeh, Reza and Zand Miralvand, Mohammad Reza and Alavizadeh, Alavie Sadat (2009) Automated Model Checking of Stochastic Graph Transformation Systems. [Paper presented at a conference, workshop or other event, and published in the proceedings] UNSPECIFIED

Zand Miralvand, Mohammad Reza and Rafe, Vahid and Rafeh, Reza and Hajiee, Maryam (2009) Automatic Refinement of Platform Independent Models. [Paper presented at a conference, workshop or other event, and published in the proceedings] UNSPECIFIED

Asadollahi, Somayeh and Rafe, Vahid and Rafeh, Reza (2009) Towards Automated Software Verification and Validation. [Paper presented at a conference, workshop or other event, and published in the proceedings] UNSPECIFIED

Rafe, Vahid and Rafeh, Reza and Fakhri, Parvin and Zangaraki, Shahrbanoo (2009) Using MDA for Developing SOA-Based Applications. [Paper presented at a conference, workshop or other event, and published in the proceedings] UNSPECIFIED

Rafe, Vahid and Rafeh, Reza and Azize, Somayeh and Zand Miralvand, Mohammad Reza (2009) Verification and Validation of Activity Diagrams Using Graph Transformation. [Paper presented at a conference, workshop or other event, and published in the proceedings] UNSPECIFIED

Mahdian, Farzaneh and Rafe, Vahid and Rafeh, Reza and Torkeman Rahmani, Adel (2009) Modeling Fault Tolerant Services in Service-Oriented Architecture. [Paper presented at a conference, workshop or other event, and published in the proceedings] UNSPECIFIED

Torkeman Rahmani, Adel and Rafeh, Reza and Rafe, Vahid and Asadollahi, Somayeh (2009) Towards Automated Software Verification Using Model Checking Techniques. [Paper presented at a conference, workshop or other event, and published in the proceedings] UNSPECIFIED

Journal article

Rafe, Vahid and Rahmani, Adel and Rafeh, Reza (2010) Formal Analysis of UML 2.0 Activities Using Graph Transformation Systems. International Journal of Software Engineering and Knowledge Engineering, 20 (5). pp. 679-694. ISSN 0218-1940 UNSPECIFIED