Marjan Sirjani
Department of Electrical and Computer Engineering, University of Tehran and School of Computer Science, IPM, Iran

---

	F. Arbab, M. Sirjani: Applications of Formal Methods to System Design and Verification /jucs_13_13/applications_of_formal_methods	page 1970 - 1971 Vol.13 / Issue 13
	H. Hojjat, H. Nakhost, M. Sirjani: Integrating Module Checking and Deduction in a Formal Proof for the Perlman Spanning Tree Protocol (STP) /jucs_13_13/integrating_module_checking_and	page 2076 - 2104 Vol.13 / Issue 13
	M. Sirjani, A. Movaghar, A. Shali, F. S. de Boer: Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Models /jucs_11_6/model_checking_automated_abstraction	page 1054 - 1082 Vol.11 / Issue 6
	M. Sirjani, F.S. de Boer, A. Movaghar: Modular Verification of a Component-Based Actor Language /jucs_11_10/modular_verificatin_of_a	page 1695 - 1717 Vol.11 / Issue 10