Marjan Sirjani

	2009
39		Hamid Hajabdolali Bazzaz, Marjan Sirjani, Ramtin Khosravi, Shamim Taheri: Modeling networking issues of network-on-chip: a coloured petri nets approach. SimuTools 2009: 22
38		Bahman Pourvatan, Marjan Sirjani, Hossein Hojjat, Farhad Arbab: Automated Analysis of Reo Circuits using Symbolic Execution. Electr. Notes Theor. Comput. Sci. 255: 137-158 (2009)
	2008
37		Razieh Behjati, Hamideh Sabouri, Niloofar Razavi, Marjan Sirjani: An effective approach for model checking SystemC designs. ACSD 2008: 56-61
36		Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani: Process algebraic verification of SystemC codes. ACSD 2008: 62-67
35		Ramtin Khosravi, Marjan Sirjani, Nesa Asoudeh, Shaghayegh Sahebi, Hamed Iravanchi: Modeling and Analysis of Reo Connectors Using Alloy. COORDINATION 2008: 169-183
34		Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani: A framework for performance evaluation and functional verification in stochastic process algebras. SAC 2008: 339-346
33		Farzad Mahdikhani, Mahmoud Reza Hashemi, Marjan Sirjani: QoS Aspects in Web Services Compositions. SOSE 2008: 239-244
32		Carolyn L. Talcott, Marjan Sirjani, Shangping Ren: Comparing Three Coordination Models: Reo, ARC, and RRD. Electr. Notes Theor. Comput. Sci. 194(4): 39-55 (2008)
	2007
31		Farhad Arbab, Marjan Sirjani: International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings Springer 2007
30		Hossein Hojjat, Marjan Sirjani, Mohammad Reza Mousavi, Jan Friso Groote: Sarir: A Rebeca to mCRL2 Translator. ACSD 2007: 216-222
29		Niloofar Razavi, Marjan Sirjani: Compositional Semantics of System-Level Designs Written in SystemC. FSEN 2007: 113-128
28		Fatemeh Alavizadeh, Alireza Hashemi Nekoo, Marjan Sirjani: ReUML: a UML Profile for Modeling and Verification of Reactive Systems. ICSEA 2007: 50
27		Mohammad Reza Kakoee, Hamid Shojaei, Hassan Ghasemzadeh, Marjan Sirjani, Zainalabedin Navabi: A New Approach for Design and Verification of Transaction Level Models. ISCAS 2007: 3760-3763
26		Samira Tasharofi, Mohsen Vakilian, Roshanak Zilouchian Moghaddam, Marjan Sirjani: Modeling Web Service Interactions Using the Coordination Language Reo. WS-FM 2007: 108-123
25		Farhad Arbab, Marjan Sirjani: Applications of Formal Methods to System Design and Verification. J. UCS 13(13): 1970-1971 (2007)
24		Hossein Hojjat, Hootan Nakhost, Marjan Sirjani: Integrating Module Checking and Deduction in a Formal Proof for the Perlman Spanning Tree Protocol (STP). J. UCS 13(13): 2076-2104 (2007)
	2006
23		Marjan Sirjani, Mohammad Mahdi Jaghoori, Christel Baier, Farhad Arbab: Compositional Semantics of an Actor-Based Language Using Constraint Automata. COORDINATION 2006: 281-297
22		Marjan Sirjani: Rebeca: Theory, Applications, and Tools. FMCO 2006: 102-126
21		Samira Tasharofi, Sepand Ansari, Marjan Sirjani: Generating Test Cases for Constraint Automata by Genetic Symbiosis Algorithm. ICFEM 2006: 478-493
20		Niloofar Razavi, Marjan Sirjani: Using Reo for formal specification and verification of system designs. MEMOCODE 2006: 113-122
19		Mohammad Mahdi Jaghoori, Ali Movaghar, Marjan Sirjani: Modere: the model-checking engine of Rebeca. SAC 2006: 1810-1815
18		Fatemeh Alavizadeh, Marjan Sirjani: Using UML to Develop Verifiable Reactive Systems. Software Engineering Research and Practice 2006: 554-561
17		Fatemeh Ghassemi, Naser Nematbakhsh, Behrouz Tork Ladani, Marjan Sirjani: Specification and Implementation of Multi-Agent Organizations. WEBIST (1) 2006: 447-453
16		Mohammad Reza Mousavi, Marjan Sirjani, Farhad Arbab: Formal Semantics and Analysis of Component Connectors in Reo. Electr. Notes Theor. Comput. Sci. 154(1): 83-99 (2006)
15		Farhad Arbab, Marjan Sirjani: Preface. Electr. Notes Theor. Comput. Sci. 159: 1-2 (2006)
14		Hossein Hojjat, Hootan Nakhost, Marjan Sirjani: Formal Verification of the IEEE 802.1D Spanning Tree Protocol Using Extended Rebeca. Electr. Notes Theor. Comput. Sci. 159: 139-154 (2006)
13		Fatemeh Ghassemi, Samira Tasharofi, Marjan Sirjani: Automated Mapping of Reo Circuits to Constraint Automata. Electr. Notes Theor. Comput. Sci. 159: 99-115 (2006)
12		Christel Baier, Marjan Sirjani, Farhad Arbab, Jan J. M. M. Rutten: Modeling component connectors in Reo by constraint automata. Sci. Comput. Program. 61(2): 75-113 (2006)
	2005
11		Marjan Sirjani, Frank S. de Boer, Ali Movaghar, Amin Shali: Extended Rebeca: A Component-Based Actor Language with Synchronous Message Passing. ACSD 2005: 212-221
10		Farhad Arbab, Christel Baier, Frank S. de Boer, Jan J. M. M. Rutten, Marjan Sirjani: Synthesis of Reo Circuits for Implementation of Component-Connector Automata Specifications. COORDINATION 2005: 236-251
9		Mohammad Mahdi Jaghoori, Marjan Sirjani, Mohammad Reza Mousavi, Ali Movaghar: Efficient Symmetry Reduction for an Actor-Based Model. ICDCIT 2005: 494-507
8		Marjan Sirjani, Frank S. de Boer, Ali Movaghar-Rahimabadi: Modular Verification of a Component-Based Actor Language. J. UCS 11(10): 1695-1717 (2005)
7		Marjan Sirjani, Ali Movaghar, Amin Shali, Frank S. de Boer: Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Models. J. UCS 11(6): 1054-1082 (2005)
	2004
6		Marjan Sirjani, Amin Shali, Mohammad Mahdi Jaghoori, Hamed Iravanchi, Ali Movaghar: A Front-End Tool for Automated Abstraction and Modular Verification of Actor-Based Models. ACSD 2004: 145-150
5		Nikunj R. Mehta, Nenad Medvidovic, Marjan Sirjani, Farhad Arbab: Modeling Behavior in Compositions of Software Architectural Primitives. ASE 2004: 371-374
4		Farhad Arbab, Christel Baier, Jan J. M. M. Rutten, Marjan Sirjani: Modeling Component Connectors in Reo by Constraint Automata: (Extended Abstract). Electr. Notes Theor. Comput. Sci. 97: 25-46 (2004)
3		Marjan Sirjani, Ali Movaghar, Amin Shali, Frank S. de Boer: Modeling and Verification of Reactive Systems using Rebeca. Fundam. Inform. 63(4): 385-410 (2004)
	2003
2		Marjan Sirjani, Ali Movaghar, Hamed Iravanchi, Mohammad Mahdi Jaghoori, Amin Shali: Model Checking in Rebeca. PDPTA 2003: 1819-1822
	2002
1		Marjan Sirjani, Ali Movaghar: Simulation in Rebeca. PDPTA 2002: 923-926

Coauthor Index

1	Fatemeh Alavizadeh	[18] [28]
2	Sepand Ansari	[21]
3	Farhad Arbab	[4] [5] [10] [12] [15] [16] [23] [25] [31] [38]
4	Nesa Asoudeh	[35]
5	Christel Baier	[4] [10] [12] [23]
6	Hamid Hajabdolali Bazzaz	[39]
7	Razieh Behjati	[37]
8	Frank S. de Boer	[3] [7] [8] [10] [11]
9	Hassan Ghasemzadeh	[27]
10	Fatemeh Ghassemi	[13] [17]
11	Jan Friso Groote	[30]
12	Mahmoud Reza Hashemi	[33]
13	Hossein Hojjat	[14] [24] [30] [34] [36] [38]
14	Hamed Iravanchi	[2] [6] [35]
15	Mohammad Mahdi Jaghoori	[2] [6] [9] [19] [23]
16	Mohammad Reza Kakoee	[27]
17	Ramtin Khosravi	[35] [39]
18	Behrouz Tork Ladani	[17]
19	Farzad Mahdikhani	[33]
20	Nenad Medvidovic	[5]
21	Nikunj R. Mehta	[5]
22	Roshanak Zilouchian Moghaddam	[26]
23	Mohammad Reza Mousavi	[9] [16] [30] [34] [36]
24	Ali Movaghar-Rahimabadi (Ali Movaghar)	[1] [2] [3] [6] [7] [8] [9] [11] [19]
25	Hootan Nakhost	[14] [24]
26	Zainalabedin Navabi	[27]
27	Alireza Hashemi Nekoo	[28]
28	Naser Nematbakhsh	[17]
29	Bahman Pourvatan	[38]
30	Niloofar Razavi	[20] [29] [37]
31	Shangping Ren	[32]
32	Jan J. M. M. Rutten	[4] [10] [12]
33	Hamideh Sabouri	[37]
34	Shaghayegh Sahebi	[35]
35	Amin Shali	[2] [3] [6] [7] [11]
36	Hamid Shojaei	[27]
37	Shamim Taheri	[39]
38	Carolyn L. Talcott	[32]
39	Samira Tasharofi	[13] [21] [26]
40	Mohsen Vakilian	[26]

Colors in the list of coauthors