Marjan Sirjani

Cited by

	All	Since 2016
Citations	2381	1163
h-index	25	16
i10-index	62	34

260

130

195

20032004200520062007200820092010201120122013201420152016201720182019202020218 34 52 98 74 76 82 109 163 137 117 106 141 217 138 233 206 246 121

Public access

View all

27 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Ehsan KhamespanahPostdoc, Reykjavik UniversityVerified email at ru.is
Ali MovagharProfessor of Computer Science and Engineering, Sharif University of Technology., Tehran, IranVerified email at sharif.edu
Farhad ArbabProfessor of Computer Science, Leiden UniversityVerified email at liacs.nl
Mohammad Mahdi JaghooriDockmeh, CWIVerified email at cwi.nl
Frank de BoerLeader research group Formal Methods at Centrum Wiskunde & Informatica and prof. Leiden Univ.Verified email at cwi.nl
Mohammad Reza MousaviProfessor of Software Engineering, King's College LondonVerified email at kcl.ac.uk
Christel BaierTU DresdenVerified email at tu-dresden.de
Amin ShaliUniversity of Texas, AustinVerified email at cs.utexas.edu
Ramtin KhosraviAssistant Prof., University of TehranVerified email at ut.ac.ir
Jan RuttenCWIVerified email at cwi.nl
Narges KhakpourLinnaeus UniversityVerified email at lnu.se
Alireza jafariVerified email at atu.ac.ir
Hossein HojjatAssistant Professor, RITVerified email at cs.rit.edu
Edward A. LEEProfessor of Electrical Engineering and Computer Sciences, University of California at BerkeleyVerified email at berkeley.edu
Fatemeh GhassemiUniversity of TehranVerified email at ut.ac.ir
Matteo CiminiUniversity of Massachusetts LowellVerified email at uml.edu
Luca AcetoDepartment of Computer Science, Reykjavik University, and Gran Sasso Science Institute, L'AquilaVerified email at ru.is
Anna IngolfsdottirProfessor of Computer Science, Reykjavík UniversityVerified email at ru.is
Razieh BehjatiGoogleVerified email at google.com
Samira TasharofiUniversity of Illinois at Urbana-ChampaignVerified email at illinois.edu

Marjan Sirjani

Mälardalen University

Verified email at mdh.se - Homepage

Concurrency Theory Software Engineering Formal Methods Model Checking Software Analysis


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Modeling component connectors in Reo by constraint automata C Baier, M Sirjani, F Arbab, J Rutten Science of computer programming 61 (2), 75-113, 2006	355	2006
Modeling and verification of reactive systems using Rebeca M Sirjani, A Movaghar, A Shali, FS De Boer Fundamenta Informaticae 63 (4), 385-410, 2004	191	2004
Modeling component connectors in Reo by constraint automata F Arbab, C Baier, J Rutten, M Sirjani Electronic Notes in Theoretical Computer Science 97, 25-46, 2004	98	2004
A survey of active object languages FD Boer, V Serbanescu, R Hähnle, L Henrio, J Rochas, CC Din, ... ACM Computing Surveys (CSUR) 50 (5), 1-39, 2017	83	2017
Ten years of analyzing actors: Rebeca experience M Sirjani, MM Jaghoori Formal Modeling: Actors, Open Systems, Biological Systems, 20-56, 2011	71	2011
Formal modeling of evolving self-adaptive systems N Khakpour, S Jalili, C Talcott, M Sirjani, MR Mousavi Science of Computer Programming 78 (1), 3-26, 2012	56	2012
Modelling and simulation of asynchronous real-time systems using Timed Rebeca AH Reynisson, M Sirjani, L Aceto, M Cimini, A Jafari, A Ingólfsdóttir, ... Science of Computer Programming 89, 41-68, 2014	51	2014
Schedulability of asynchronous real-time concurrent objects MM Jaghoori, FS de Boer, T Chothia, M Sirjani The Journal of Logic and Algebraic Programming 78 (5), 402-416, 2009	47	2009
Rebeca: Theory, applications, and tools M Sirjani International Symposium on Formal Methods for Components and Objects, 102-126, 2006	45	2006
Synthesis of Reo circuits for implementation of component-connector automata specifications F Arbab, C Baier, F De Boer, J Rutten, M Sirjani International Conference on Coordination Languages and Models, 236-251, 2005	42	2005
Symmetry and partial order reduction techniques in model checking Rebeca MM Jaghoori, M Sirjani, MR Mousavi, E Khamespanah, A Movaghar Acta Informatica 47 (1), 33-66, 2010	41	2010
Formal semantics and analysis of component connectors in Reo MR Mousavi, M Sirjani, F Arbab Electronic Notes in Theoretical Computer Science 154 (1), 83-99, 2006	40	2006
Timed Rebeca schedulability and deadlock freedom analysis using bounded floating time transition system E Khamespanah, M Sirjani, ZS Kaviani, R Khosravi, MJ Izadi Science of Computer Programming 98, 184-204, 2015	39	2015
Formal analysis of policy-based self-adaptive systems N Khakpour, R Khosravi, M Sirjani, S Jalili Proceedings of the 2010 ACM Symposium on Applied Computing, 2536-2543, 2010	38	2010
Modelling and simulation of asynchronous real-time systems using timed rebeca L Aceto, M Cimini, A Ingólfsdóttir, AH Reynisson, SH Sigurdarson, ... arXiv preprint arXiv:1108.0228, 2011	37	2011
Modere: The model-checking engine of Rebeca MM Jaghoori, A Movaghar, M Sirjani Proceedings of the 2006 ACM symposium on Applied computing, 1810-1815, 2006	37	2006
PobSAM: policy-based managing of actors in self-adaptive systems N Khakpour, S Jalili, C Talcott, M Sirjani, MR Mousavi Electronic Notes in Theoretical Computer Science 263, 129-143, 2010	36	2010
Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Models. M Sirjani, A Movaghar, A Shali, FS de Boer J. Univers. Comput. Sci. 11 (6), 1054-1082, 2005	34	2005
Ptrebeca: Modeling and analysis of distributed and asynchronous systems A Jafari, E Khamespanah, M Sirjani, H Hermanns, M Cimini Science of Computer Programming 128, 22-50, 2016	31	2016
Modular Verification of a Component-Based Actor Language. M Sirjani, FS De Boer, A Movaghar-Rahimabadi J. Univers. Comput. Sci. 11 (10), 1695-1717, 2005	31	2005

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow this author

Cited by

Co-authors