2007
- H. R. Shahriari, M. S. Makarem, M. Sirjani, R. Jalili, A. Movaghar,
Vulnerability Analysis of Networks to Detect Multiphase Attacks
Using the Actor-based Language Rebeca, Journal of Computers and
Electrical Engineering, Accepted 2007.
- H. Hojjat, H. Nakhost, M. Sirjani., Integrating Module Checking
and Deduction in a Formal Proof for the Perlman Spanning Tree Protocol (STP),
Journal of Universal Computer Science (J.UCS), Accepted 2007.
- N. Hakimipour, N. Razavi, M. Sirjani, Modeling and formal
verification of hardware designs, Proceedings of 5th IEEE East-West
Design & Test Symposium (EWDTS’07), 2007.
- F. AlaviZadeh, A. Hashemi-Nekoo, M.
Sirjani, ReUML: a UML Profile for
Modeling and Verification of Reactive Systems, Proceedings of
ICSEA’07, 2007.
- H. Hojjat, M. Sirjani, M. R. Mousavi, J. F. Groote: Sarir, A
Rebeca to mCRL2 Translator, Proceedings of. ACSD 2007, IEEE, pp.
216-222.
- M. R. Kakoee, H. Shojaei, H. Ghasemzadeh, Marjan Sirjani, Z. Navabi,
A New Approach for Design and Verification of Transaction Level
Models, Proceedings of ISCAS 2007, IEEE, pp. 3760-3763, 2007.
- M. Sirjani, Rebeca: Theory, Applications and Tools, Proceedings of FMCO’06, 2008.
2006
- F. Alavizadeh, M. Sirjani, Using UML to Develop Verifiable
Reactive Systems, Proceedings of SERP’06, June 2006.
- M. Sirjani, M.M. Jaghoori, C. Baier, F. Arbab, Compositional
Semantics of an Actor-Based Language using Constraint Automata,
Proceedings of Coordination 2006, LNCS 4038, pp. 281-297, 2006.
- H. R. Shahriari, M. Sadegh Makarem, M. Sirjani, R. Jalili and A.
Movaghar, Modeling and Verification of Complex Network Attacks Using
an Actor-Based Language, Proceedings of 11th Annual Int. CSI
Computer Conference, Tehran, Iran, pp. 152-158, January 2006.
- H. Hojjat, H. Nokhost, M. Sirjani, Formal Verification of the
IEEE 802.1D Spanning Tree Protocol using Extended Rebeca, In
Proceeding of the first International Conference on Fundamental of Software
Engineering 2005, pp. 139-159, Iran, ENTCS 159, Elsevier, 2006.
- M.M. Jaghoori, A. Movaghar and M. Sirjani, Modere: The Model-checking Engine of Rebeca, Proceedings of the 21st Annual ACM Symposium on Applied Computing (SAC 2006), Dijon, France, pp. 1810-1815, April 2006.
2005
- M. Sirjani, F.S. de Boer, A. Movaghar, A. Shali. Extending
Rebeca with synchronous messages and reusable components, in REPORT
SEN-R0505 FEBRUARY 2005.
- M. Sirjani, F. S. de Boer, A. Movaghar, Modular Verification of
a Component-based Actor Language, J.UCS 11(10), pp. 1695–1717,
2005.
- M. M. Jaghoori, M. Sirjani, M. R. Mousavi, A. Movaghar,
Efficient Symmetry Reduction for an Actor-Based Model. ICDCIT 2005,
LNCS 3816, pp. 494-507, 2005.
- M. Sirjani, , F.S. de Boer, A. Movaghar, A. Shali, Extended
Rebeca: A Component-Based Actor Language with Synchronous Message Passing,
in Proceedings of ACSD 2005, St. Malo, France, IEEE Computer Society, pp.
212-221, June 2005.
- M. Sirjani, A. Movaghar, A. Shali, F. S. de Boer: Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Models. J. UCS 11(6), pp. 1054-1082, 2005.
2004
- M. Sirjani. Formal Specification and Verification of Concurrent
and Reactive Systems, PhD Thesis,
Department of Computer Engineering, Sharif University of Technology,
December 2004.
- M. Sirjani, A. Movaghar, A. Shali, and F.S. de Boer. Modeling
and Verification of Reactive Systems using Rebeca, Fundamenta
Informaticae, Vol. 63, Nr. 4, December 2004.
- M. Sirjani, A. Shali, M.M. Jaghoori, H. Iravanchi, A. Movaghar.
A Front-End Tool for Automated Abstraction and Modular Verification of
Actor-Based Models, in the International Conference on Application
of Concurrency to System Design (ACSD), June 2004.
- M. Sirjani, M.M. Jaghoori, S. Forghanizadeh, M. Mojdeh, A. Movaghar. Model Checking CSMA/CD Protocol using an Actor-Based Language, in the Proceedings of the International Conference on Software Engineering, WSEAS, February 2004.
2003
- M. Sirjani, A. Movaghar, H. Iravanchi, M.M. Jaghoori, A. Shali.
Model Checking in Rebeca, in the Proceedings of The 2003
International Conference on Parallel and Distributed Processing Techniques
and Applications (PDPTA'03), CSREA Press, June 2003.
- M. Sirjani, A. Movaghar, H. Iravanchi, M.M. Jaghoori, A. Shali. Model Checking Rebeca by SMV, in the Proceedings of the Workshop on Automated Verification of Critical Systems (AVoCS'03), University of Southampton, April 2003.
2002
- M. Sirjani, A. Movaghar. An Object-Based Model for Agents,
in Proceedings of Workshop on Agents for Information Management, Austrian
Computer Society, October 2002.
- M. Sirjani and A. Movaghar. Simulation in Rebeca, in Proceedings of The 2002 International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'02), CSREA Press, June 2002. Also presented on Automated Verification of Critical Systems (AVoCS'02), University of Birmingham, April 2002.
2001
- M. Sirjani, A. Movaghar, and M.R. Mousavi. Compositional Verification of an Actor-Based Model for Reactive Systems, in Proceedings of Workshop on Automated Verification of Critical Systems (AVoCS'01), Oxford University, April 2001.