Zangaraki, Shahrbanoo and Rafeh, Reza (2010) An approach to verify concurrent object-oriented programs. [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