Model Checking in Rebeca. - Marjan Sirjani; Ali Movaghar 001; Hamed Iravanchi; Mohammad Mahdi Jaghoori; Amin Shali (PDPTA, 2003)

A Front-End Tool for Automated Abstraction and Modular Verification of Actor-Based Models. - Marjan Sirjani; Amin Shali; Mohammad Mahdi Jaghoori; Hamed Iravanchi; Ali Movaghar 001 (ACSD, 2004)

Modeling and Analysis of Reo Connectors Using Alloy. - Ramtin Khosravi; Marjan Sirjani; Nesa Asoudeh; Shaghayegh Sahebi; Hamed Iravanchi (COORDINATION, 2008)