Marjan Sirjani

2008
32	EE	Ramtin Khosravi, Marjan Sirjani, Nesa Asoudeh, Shaghayegh Sahebi, Hamed Iravanchi: Modeling and Analysis of Reo Connectors Using Alloy. COORDINATION 2008: 169-183
31	EE	Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirjani: A framework for performance evaluation and functional verification in stochastic process algebras. SAC 2008: 339-346
2007
30		Farhad Arbab, Marjan Sirjani: International Symposium on Fundamentals of Software Engineering, International Symposium, FSEN 2007, Tehran, Iran, April 17-19, 2007, Proceedings Springer 2007
29	EE	Hossein Hojjat, Marjan Sirjani, Mohammad Reza Mousavi, Jan Friso Groote: Sarir: A Rebeca to mCRL2 Translator. ACSD 2007: 216-222
28	EE	Niloofar Razavi, Marjan Sirjani: Compositional Semantics of System-Level Designs Written in SystemC. FSEN 2007: 113-128
27	EE	S. Fatemeh Alavizadeh, Alireza Hashemi Nekoo, Marjan Sirjani: ReUML: a UML Profile for Modeling and Verification of Reactive Systems. ICSEA 2007: 50
26	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
25	EE	Samira Tasharofi, Mohsen Vakilian, Roshanak Zilouchian Moghaddam, Marjan Sirjani: Modeling Web Service Interactions Using the Coordination Language Reo. WS-FM 2007: 108-123
24	EE	Farhad Arbab, Marjan Sirjani: Applications of Formal Methods to System Design and Verification. J. UCS 13(13): 1970-1971 (2007)
23	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
22	EE	Marjan Sirjani, Mohammad Mahdi Jaghoori, Christel Baier, Farhad Arbab: Compositional Semantics of an Actor-Based Language Using Constraint Automata. COORDINATION 2006: 281-297
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		S. Fatemeh Alavizadeh, Marjan Sirjani: Using UML to Develop Verifiable Reactive Systems. Software Engineering Research and Practice 2006: 554-561
17		Fatemeh Ghassemi, Naser Nemat Bakhsh, 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	S. Fatemeh Alavizadeh	[18] [27]
2	Sepand Ansari	[21]
3	Farhad Arbab	[4] [5] [10] [12] [15] [16] [22] [24] [30]
4	Nesa Asoudeh	[32]
5	Christel Baier	[4] [10] [12] [22]
6	Naser Nemat Bakhsh	[17]
7	Frank S. de Boer	[3] [7] [8] [10] [11]
8	Hassan Ghasemzadeh	[26]
9	Fatemeh Ghassemi	[13] [17]
10	Jan Friso Groote	[29]
11	Hossein Hojjat	[14] [23] [29] [31]
12	Hamed Iravanchi	[2] [6] [32]
13	Mohammad Mahdi Jaghoori	[2] [6] [9] [19] [22]
14	Mohammad Reza Kakoee	[26]
15	Ramtin Khosravi	[32]
16	Behrouz Tork Ladani	[17]
17	Nenad Medvidovic	[5]
18	Nikunj R. Mehta	[5]
19	Roshanak Zilouchian Moghaddam	[25]
20	Mohammad Reza Mousavi	[9] [16] [29] [31]
21	Ali Movaghar-Rahimabadi (Ali Movaghar)	[1] [2] [3] [6] [7] [8] [9] [11] [19]
22	Hootan Nakhost	[14] [23]
23	Zainalabedin Navabi	[26]
24	Alireza Hashemi Nekoo	[27]
25	Niloofar Razavi	[20] [28]
26	Jan J. M. M. Rutten	[4] [10] [12]
27	Shaghayegh Sahebi	[32]
28	Amin Shali	[2] [3] [6] [7] [11]
29	Hamid Shojaei	[26]
30	Samira Tasharofi	[13] [21] [25]
31	Mohsen Vakilian	[25]

Colors in the list of coauthors