| 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 | 347 | 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 | 186 | 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 | 96 | 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 | 72 | 2017 |
| Ten years of analyzing actors: Rebeca experience M Sirjani, MM Jaghoori Formal Modeling: Actors, Open Systems, Biological Systems, 20-56, 2011 | 70 | 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 | 53 | 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 | 50 | 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 | 48 | 2009 |
| Rebeca: Theory, applications, and tools M Sirjani International Symposium on Formal Methods for Components and Objects, 102-126, 2006 | 44 | 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 | 39 | 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 | 38 | 2015 |
| 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 | 38 | 2006 |
| 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 |
| 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 | 36 | 2010 |
| Model Checking, Automated Abstraction, and Compositional Verification of Rebeca Models. M Sirjani, A Movaghar, A Shali, FS de Boer J. UCS 11 (6), 1054-1082, 2005 | 34 | 2005 |
| 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 | 32 | 2010 |
| Modular Verification of a Component-Based Actor Language. M Sirjani, FS De Boer, A Movaghar-Rahimabadi J. UCS 11 (10), 1695-1717, 2005 | 31 | 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 | 29 | 2016 |
Ehsan KhamespanahPostdoc, Reykjavik UniversityVerified email at ru.is
