Browse by Author/Person

Rafe, Vahid and Rafeh, Reza and Zand Miralvand, Mohammad Reza and Alavizadeh, Alavie Sadat (2009) Automated Model Checking of Stochastic Graph Transformation Systems. International Conference on Computer Technology and Development (ICCTD), Kota Kinabalu, Malaysia, 13-15 November 2009.

Zand Miralvand, Mohammad Reza and Rafe, Vahid and Rafeh, Reza and Hajiee, Maryam (2009) Automatic Refinement of Platform Independent Models. International Conference on Computer Technology and Development (ICCTD), Kota Kinabalu, Malaysia , 13-15 November 2009 .

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

Mahdian, Farzaneh and Rafe, Vahid and Rafeh, Reza and Torkeman Rahmani, Adel (2009) Modeling Fault Tolerant Services in Service-Oriented Architecture. Third IEEE International Symposium on Theoretical Aspects of Software Engineering, Tianjin, China, 29-31 July 2009 .

Akbaripour-Elahabad, Mohammad and Rafeh, Reza and Zahiri, Javad and Rafe, Vahid (2014) RNA-Protein Interaction Prediction sing euence Information. The 5th Iranian Conference on Bioinformatics, Tehran, Iran, 20-22 May, 2014.

Torkeman Rahmani, Adel and Rafeh, Reza and Rafe, Vahid and Asadollahi, Somayeh (2009) Towards Automated Software Verification Using Model Checking Techniques. Sixth International Symposium on Theoretical Aspects of Software Engineering , Tianjin, China, 29-31 July, 2009 .

Asadollahi, Somayeh and Rafe, Vahid and Rafeh, Reza (2009) Towards Automated Software Verification and Validation. International Conference on Computer Technology and Development (ICCTD), Kota Kinabalu, Malaysia , 13-15 November 2009 .

Rafe, Vahid and Rafeh, Reza and Fakhri, Parvin and Zangaraki, Shahrbanoo (2009) Using MDA for Developing SOA-Based Applications. International Conference on Computer Technology and Development (ICCTD), Kota Kinabalu, Malaysia, 13-15 November 2009.

Rafe, Vahid and Rafeh, Reza and Azize, Somayeh and Zand Miralvand, Mohammad Reza (2009) Verification and Validation of Activity Diagrams Using Graph Transformation. International Conference on Computer Technology and Development (ICCTD 2009), Kota Kinabalu, Malaysia, 13-15 November 2009 .