M. Sirjani

Most-cited papers

A Survey of Active Object Languages
F. D. Boer, V. Serbanescu, Reiner Hähnle, L. Henrio +7 more
2017ACM Computing Surveys119 citations Open access
Semantic Scholar
Modelling and simulation of asynchronous real-time systems using Timed Rebeca
A. Reynisson, M. Sirjani, L. Aceto, M. Cimini +3 more
2011Science of Computer Programming91 citations Open access
Semantic Scholar
Ten Years of Analyzing Actors: Rebeca Experience
M. Sirjani, M. Jaghoori
2011Formal Modeling: Actors, Open Systems, Biological Systems74 citations
Semantic Scholar
Formal modeling of evolving self-adaptive systems
Narges Khakpour, S. Jalili, C. Talcott, M. Sirjani +1 more
2012Science of Computer Programming55 citations Open access
Semantic Scholar
Timed Rebeca schedulability and deadlock freedom analysis using bounded floating time transition system
Ehsan Khamespanah, M. Sirjani, Zeynab Sabahi-Kaviani, R. Khosravi +1 more
2015Science of Computer Programming45 citations Open access
Semantic Scholar
What Good are Models?
Edward A. Lee, M. Sirjani
2018International Workshop on Formal Aspects of Component Software41 citations
Semantic Scholar
On Time Actors
M. Sirjani, Ehsan Khamespanah
2016Theory and Practice of Formal Methods34 citations
Semantic Scholar
PTRebeca: Modeling and analysis of distributed and asynchronous systems
Ali Jafari, Ehsan Khamespanah, M. Sirjani, H. Hermanns +1 more
2016Science of Computer Programming30 citations Open access
Semantic Scholar
Electronic Communications of the EASST Volume 66 ( 2013 ) Proceedings of the Automated Verification of Critical Systems ( AVoCS 2013 ) Functional and Performance Analysis of Network-on-Chips Using Actor-based Modeling and Formal Verification
Zeinab Sharifi, Mahdi Mosaffa, S. Mohammadi, M. Sirjani
201329 citations
Semantic Scholar
Verification of Cyberphysical Systems
M. Sirjani, Edward A. Lee, Ehsan Khamespanah
202026 citations Open access
Semantic Scholar
Power is Overrated, Go for Friendliness! Expressiveness, Faithfulness, and Usability in Modeling: The Actor Experience
M. Sirjani
2018Principles of Modeling26 citations
Semantic Scholar
An efficient TCTL model checking algorithm and a reduction technique for verification of timed actor models
Ehsan Khamespanah, R. Khosravi, M. Sirjani
2018Science of Computer Programming25 citations Open access
Semantic Scholar
Floating Time Transition System: More Efficient Analysis of Timed Actors
Ehsan Khamespanah, M. Sirjani, M. Viswanathan, R. Khosravi
2015International Workshop on Formal Aspects of Component Software24 citations
Semantic Scholar
Hybrid Rebeca: Modeling and Analyzing of Cyber-Physical Systems
Iman Jahandideh, F. Ghassemi, M. Sirjani
2018CyPhy/WESE22 citations Open access
Semantic Scholar
Coordinated actor model of self-adaptive track-based traffic control systems
Maryam Bagheri, M. Sirjani, Ehsan Khamespanah, Narges Khakpour +3 more
2018Journal of Systems and Software22 citations
Semantic Scholar
Timed-rebeca schedulability and deadlock-freedom analysis using floating-time transition system
Ehsan Khamespanah, Zeynab Sabahi Kaviani, R. Khosravi, M. Sirjani +1 more
2012Workshop on Programming based on Actors, Agents, and Decentralized Control22 citations
Semantic Scholar
Invited: Actors Revisited for Time-Critical Systems
Marten Lohstroh, Martin Schoeberl, Andrés Goens, Armin Wasicek +3 more
2019Design Automation Conference20 citations Open access
Semantic Scholar
Comparison of NoC Routing Algorithms Using Formal Methods
Zeinab Sharifi, S. Mohammadi, M. Sirjani
201319 citations
Semantic Scholar
Modeling and analyzing real-time wireless sensor and actuator networks using actors and model checking
Ehsan Khamespanah, M. Sirjani, K. Mechitov, G. Agha
2018International Journal on Software Tools for Technology Transfer (STTT)18 citations
Semantic Scholar
Schedulability Analysis of Distributed Real-Time Sensor Network Applications Using Actor-Based Model Checking
Ehsan Khamespanah, K. Mechitov, M. Sirjani, G. Agha
2016SPIN16 citations
Semantic Scholar
Coordinated Actors for Reliable Self-adaptive Systems
Maryam Bagheri, Ilge Akkaya, Ehsan Khamespanah, Narges Khakpour +3 more
2016International Workshop on Formal Aspects of Component Software14 citations
Semantic Scholar
Model Checking Software in Cyberphysical Systems
M. Sirjani, Edward A. Lee, Ehsan Khamespanah
2020Annual International Computer Software and Applications Conference12 citations
Semantic Scholar
Towards a Framework for Safe and Secure Adaptive Collaborative Systems
Aida Čaušević, A. Papadopoulos, M. Sirjani
2019Annual International Computer Software and Applications Conference12 citations
Semantic Scholar
Statistical model checking of Timed Rebeca models
Ali Jafari, Ehsan Khamespanah, H. Kristinsson, M. Sirjani +1 more
2016Computer languages, systems & structures12 citations
Semantic Scholar
Formal Semantics and Analysis of Timed Rebeca in Real-Time Maude
Zeynab Sabahi-Kaviani, R. Khosravi, M. Sirjani, P. C. Ölveczky +1 more
2013International Workshop on Formal Techniques for Safety-Critical Systems12 citations
Semantic Scholar
An Actor-Based Approach for Security Analysis of Cyber-Physical Systems
Fereidoun Moradi, Sara Abbaspour Asadollah, Ali Sedaghatbaf, Aida Čaušević +2 more
2020International Workshop on Formal Methods for Industrial Critical Systems10 citations
Semantic Scholar
Towards a Verification-Driven Iterative Development of Software for Safety-Critical Cyber-Physical Systems
M. Sirjani, Luciana Provenzano, Sara Abbaspour Asadollah, Mahshid Helali Moghadam +1 more
2021Journal of Internet Services and Applications9 citations Open access
Semantic Scholar
Compositional schedulability analysis of real-time actor-based systems
M. Jaghoori, F. D. de Boer, D. Longuet, Tom Chothia +1 more
2016Acta Informatica9 citations Open access
Semantic Scholar
Formal semantics and efficient analysis of Timed Rebeca in Real-Time Maude
Zeynab Sabahi-Kaviani, R. Khosravi, P. C. Ölveczky, Ehsan Khamespanah +1 more
2015Science of Computer Programming9 citations Open access
Semantic Scholar
HPobSAM for modeling and analyzing IT Ecosystems - Through a case study
Narges Khakpour, S. Jalili, M. Sirjani, U. Goltz +1 more
2012Journal of Systems and Software9 citations Open access
Semantic Scholar
Afra: An Eclipse-Based Tool with Extensible Architecture for Modeling and Model Checking of Rebeca Family Models
Ehsan Khamespanah, M. Sirjani, R. Khosravi
2023Fundamentals of Software Engineering8 citations
Semantic Scholar
An actor-based framework for asynchronous event-based cyber-physical systems
Iman Jahandideh, F. Ghassemi, M. Sirjani
2021Journal of Software and Systems Modeling8 citations
Semantic Scholar
From Requirements to Verifiable Executable Models Using Rebeca
M. Sirjani, Luciana Provenzano, Sara Abbaspour Asadollah, Mahshid Helali Moghadam
2020IEEE International Conference on Software Engineering and Formal Methods8 citations
Semantic Scholar
On-Off Attack on a Blockchain-based IoT System
Fereidoun Moradi, Ali Sedaghatbaf, Sara Abbaspour Asadollah, Aida Čaušević +1 more
2019IEEE International Conference on Emerging Technologies and Factory Automation8 citations
Semantic Scholar
Multi-objective Optimization of Real-Time Task Scheduling Problem for Distributed Environments
Maghsood Salimi, Amin Majd, Mohammad Loni, Tiberiu Seceleanu +4 more
2019European Conference on the Engineering of Computer-Based Systems8 citations Open access
Semantic Scholar
Safe and efficient fleet operation for autonomous machines: an actor-based approach
Ali Jafari, Jayasoorya Jayanthi Surendran Nair, Stephan Baumgart, M. Sirjani
2018ACM Symposium on Applied Computing8 citations
Semantic Scholar
Electronic Communications of the EASST Volume 70 ( 2014 ) Proceedings of the 14 th International Workshop on Automated Verification of Critical Systems ( AVoCS 2014 ) Performance Analysis of Distributed and Asynchronous Systems using Probabilistic Timed Actors
Ali Jafari, Ehsan Khamespanah, M. Sirjani, H. Hermanns
20148 citations
Semantic Scholar
Efficient TCTL Model Checking Algorithm for Timed Actors
Ehsan Khamespanah, R. Khosravi, M. Sirjani
2014AGERE!@SPLASH7 citations
Semantic Scholar
Model Checking of Hyperledger Fabric Smart Contracts
Elmira Ebrahimi, Ehsan Khamespanah, M. Sirjani, S. Mohammadi
2023IEEE International Conference on Emerging Technologies and Factory Automation6 citations
Semantic Scholar
VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs
Farnaz Yousefi, Ehsan Khamespanah, Mohammed Gharib, M. Sirjani +1 more
2019SPIN6 citations Open access
Semantic Scholar
Towards an Actor-based Approach to Design Verified ROS-based Robotic Programs using Rebeca
Saeid Dehnavi, Ali Sedaghatbaf, Bahar Salmani, M. Sirjani +2 more
2019Procedia Computer Science6 citations Open access
Semantic Scholar
Symbolic execution of Reo circuits using constraint automata
Bahman Pourvatan, M. Sirjani, Hossein Hojjat, F. Arbab
2012Science of Computer Programming6 citations Open access
Semantic Scholar
Reactive Actors: Isolation for Efficient Analysis of Distributed Systems
M. Sirjani, Ehsan Khamespanah, F. Ghassemi
2019IEEE International Symposium on Distributed Simulation and Real-Time Applications5 citations
Semantic Scholar
Actor-based macroscopic modeling and simulation for smart urban planning
Jacopo de Berardinis, Giorgio Forcina, Ali Jafari, M. Sirjani
2018Science of Computer Programming5 citations Open access
Semantic Scholar
Lightweight Preprocessing for Agent-Based Simulation of Smart Mobility Initiatives
Carlo Castagnari, Jacopo de Berardinis, Giorgio Forcina, Ali Jafari +1 more
2017SEFM Workshops5 citations Open access
Semantic Scholar
Jacco: more efficient model checking toolset for Java actor programs
Arvin Zakeriyan, Ehsan Khamespanah, M. Sirjani, R. Khosravi
2015AGERE!@SPLASH5 citations
Semantic Scholar
Safe Design of Flow Management Systems Using Rebeca
Giorgio Forcina, Ali Sedaghatbaf, Stephan Baumgart, Ali Jafari +3 more
2020Journal of Information Processing4 citations Open access
Semantic Scholar
Runtime compositional analysis of track-based traffic control systems
Maryam Bagheri, Ehsan Khamespanah, M. Sirjani, A. Movaghar +1 more
2017SIGBED4 citations
Semantic Scholar
Electronic Communications of the EASST Volume 72 ( 2015 ) Proceedings of the 15 th International Workshop on Automated Verification of Critical Systems ( AVoCS 2015 ) State Distribution Policy for Distributed Model Checking of Actor Models
Ehsan Khamespanah, M. Sirjani, M. Mousavi, Zeynab +2 more
20154 citations
Semantic Scholar
Analysing timed Rebeca using McErlang
H. Kristinsson, Ali Jafari, Ehsan Khamespanah, Brynjar Magnusson +1 more
2013Workshop on Programming based on Actors, Agents, and Decentralized Control4 citations
Semantic Scholar