Mohammad Mahdi Jaghoori

• M. Sirjani, M. M. Jaghoori, C. Baier and F. Arbab, Compositional Semantics of an Actor-Based Language using Constraint Automata, In Proc. COORDINATION'06, pp. 281-297, June 2006 (EE)
   
• M.M. Jaghoori, A. Movaghar and M. Sirjani, Modere: The Model-checking Engine of Rebeca, In Proc. The 21st Annual ACM Symposium on Applied Computing (SAC'06), Dijon, France, pp. 1810-1815, April 23-27, 2006
   
• M.M. Jaghoori, S.H. Mirian, H. Sheikhveisi, SEPID: A Simple Enhanced Process for Interactive-systems Development, In proc. The 11th CSI Computer Conference (CSICC'06), Vol 2, pp. 465-472, January 2006.
   
• M.M. Jaghoori, M. Sirjani, M.R. Mousavi, A. Movaghar, Symmetry Reduction in the Formal Verification of Rebeca Models, In Proc. ICDCIT'05, Vol. 3816 of LNCS, Springer, pp. 494-507, 2005 (EE)
   
• M. Sirjani, A. Shali, M. M. Jaghoori, H. Iravanchi, and A. Movaghar, A Front-End Tool for Automated Abstraction and Modular Verification of Actor-Based Models, In Proc. ACSD'04, Hamilton, Canada, pp. 145-148, IEEE Computer Society, June 2004 (EE)
   
• M. Sirjani, H. SeyedRazi, A. Movaghar, M. M. Jaghoori, S. Forghanizadeh, and M. Mojdeh, Model Checking CSMA/CD Protocol Using an Actor-Based Language, In WSEAS Transactions on Circuit and Systems, Issue 4, Vol. 3, 1052- 1057, June 2004.
   
• M. Sirjani, A. Movaghar, H. Iravanchi, M.M. Jaghoori and A. Shali, Model Checking in Rebeca, In Proc. The 2003 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA' 03), Las Vegas, USA, CSREA Press, June 2003.
   
• M. Sirjani, A. Movaghar, H. Iravanchi, M.M. Jaghoori and A. Shali, Model Checking Rebeca by SMV, In Proc. the Workshop on Automated Verification of Critical Systems (AVoCS'03), University of Southampton, April 2003.
   
• A. Movaghar,  M. Sirjani, H. Iravanchi, M.M. Jaghoori and A. Shali, Translating Rebeca into SMV, Research proceedings,  Department of Computer Engineering, Sharif University of Technology 2002-2003, pp 85-89, (in Persian language).

DBLP:

        http://www.informatik.uni-trier.de/~ley/db/indices/a-tree/j/Jaghoori:Mohammad_Mahdi.html

Home