Marjan Sirjani
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
3552006
Modeling and verification of reactive systems using Rebeca
M Sirjani, A Movaghar, A Shali, FS De Boer
Fundamenta Informaticae 63 (4), 385-410, 2004
1912004
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
982004
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
832017
Ten years of analyzing actors: Rebeca experience
M Sirjani, MM Jaghoori
Formal Modeling: Actors, Open Systems, Biological Systems, 20-56, 2011
712011
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
562012
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
512014
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
472009
Rebeca: Theory, applications, and tools
M Sirjani
International Symposium on Formal Methods for Components and Objects, 102-126, 2006
452006
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
422005
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
412010
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
402006
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
392015
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
382010
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
372011
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
372006
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
362010
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
342005
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
312016
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
312005
The system can't perform the operation now. Try again later.
Articles 1–20