Marjan Sirjani

2009
37	EE	Hamid Hajabdolali Bazzaz, Marjan Sirjani, Ramtin Khosravi, Shamim Taheri: Modeling networking issues of network-on-chip: a coloured petri nets approach. SimuTools 2009: 22
2008
36	EE	Razieh Behjati, Hamideh Sabouri, Niloofar Razavi, Marjan Sirjani: An effective approach for model checking SystemC designs. ACSD 2008: 56-61
35	EE	Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani: Process algebraic verification of SystemC codes. ACSD 2008: 62-67
34	EE	Ramtin Khosravi, Marjan Sirjani, Nesa Asoudeh, Shaghayegh Sahebi, Hamed Iravanchi: Modeling and Analysis of Reo Connectors Using Alloy. COORDINATION 2008: 169-183
33	EE	Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani: A framework for performance evaluation and functional verification in stochastic process algebras. SAC 2008: 339-346
32	EE	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	EE	Hossein Hojjat, Marjan Sirjani, Mohammad Reza Mousavi, Jan Friso Groote: Sarir: A Rebeca to mCRL2 Translator. ACSD 2007: 216-222
29	EE	Niloofar Razavi, Marjan Sirjani: Compositional Semantics of System-Level Designs Written in SystemC. FSEN 2007: 113-128
28	EE	Fatemeh Alavizadeh, Alireza Hashemi Nekoo, Marjan Sirjani: ReUML: a UML Profile for Modeling and Verification of Reactive Systems. ICSEA 2007: 50
27	EE	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	EE	Samira Tasharofi, Mohsen Vakilian, Roshanak Zilouchian Moghaddam, Marjan Sirjani: Modeling Web Service Interactions Using the Coordination Language Reo. WS-FM 2007: 108-123
25	EE	Farhad Arbab, Marjan Sirjani: Applications of Formal Methods to System Design and Verification. J. UCS 13(13): 1970-1971 (2007)
24	EE	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	EE	Marjan Sirjani, Mohammad Mahdi Jaghoori, Christel Baier, Farhad Arbab: Compositional Semantics of an Actor-Based Language Using Constraint Automata. COORDINATION 2006: 281-297
22	EE	Marjan Sirjani: Rebeca: Theory, Applications, and Tools. FMCO 2006: 102-126
21	EE	Samira Tasharofi, Sepand Ansari, Marjan Sirjani: Generating Test Cases for Constraint Automata by Genetic Symbiosis Algorithm. ICFEM 2006: 478-493
20	EE	Niloofar Razavi, Marjan Sirjani: Using Reo for formal specification and verification of system designs. MEMOCODE 2006: 113-122
19	EE	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	EE	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	EE	Farhad Arbab, Marjan Sirjani: Preface. Electr. Notes Theor. Comput. Sci. 159: 1-2 (2006)
14	EE	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	EE	Fatemeh Ghassemi, Samira Tasharofi, Marjan Sirjani: Automated Mapping of Reo Circuits to Constraint Automata. Electr. Notes Theor. Comput. Sci. 159: 99-115 (2006)
12	EE	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	EE	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	EE	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	EE	Mohammad Mahdi Jaghoori, Marjan Sirjani, Mohammad Reza Mousavi, Ali Movaghar: Efficient Symmetry Reduction for an Actor-Based Model. ICDCIT 2005: 494-507
8	EE	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	EE	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	EE	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	EE	Nikunj R. Mehta, Nenad Medvidovic, Marjan Sirjani, Farhad Arbab: Modeling Behavior in Compositions of Software Architectural Primitives. ASE 2004: 371-374
4	EE	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	EE	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]
4	Nesa Asoudeh	[34]
5	Christel Baier	[4] [10] [12] [23]
6	Hamid Hajabdolali Bazzaz	[37]
7	Razieh Behjati	[36]
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	Hossein Hojjat	[14] [24] [30] [33] [35]
13	Hamed Iravanchi	[2] [6] [34]
14	Mohammad Mahdi Jaghoori	[2] [6] [9] [19] [23]
15	Mohammad Reza Kakoee	[27]
16	Ramtin Khosravi	[34] [37]
17	Behrouz Tork Ladani	[17]
18	Nenad Medvidovic	[5]
19	Nikunj R. Mehta	[5]
20	Roshanak Zilouchian Moghaddam	[26]
21	Mohammad Reza Mousavi	[9] [16] [30] [33] [35]
22	Ali Movaghar-Rahimabadi (Ali Movaghar)	[1] [2] [3] [6] [7] [8] [9] [11] [19]
23	Hootan Nakhost	[14] [24]
24	Zainalabedin Navabi	[27]
25	Alireza Hashemi Nekoo	[28]
26	Naser Nematbakhsh	[17]
27	Niloofar Razavi	[20] [29] [36]
28	Shangping Ren	[32]
29	Jan J. M. M. Rutten	[4] [10] [12]
30	Hamideh Sabouri	[36]
31	Shaghayegh Sahebi	[34]
32	Amin Shali	[2] [3] [6] [7] [11]
33	Hamid Shojaei	[27]
34	Shamim Taheri	[37]
35	Carolyn L. Talcott	[32]
36	Samira Tasharofi	[13] [21] [26]
37	Mohsen Vakilian	[26]

Colors in the list of coauthors