| 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 | 153 | 2017 |
| 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 | 51 | 2015 |
| Symmetry and partial order reduction techniques in model checking Rebeca MM Jaghoori, M Sirjani, MR Mousavi, E Khamespanah, A Movaghar Acta Informatica 47, 33-66, 2010 | 42 | 2010 |
| 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 | 37 | 2016 |
| On time actors M Sirjani, E Khamespanah Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on …, 2016 | 37 | 2016 |
| Verification of cyberphysical systems M Sirjani, EA Lee, E Khamespanah Mathematics 8 (7), 1068, 2020 | 32 | 2020 |
| Coordinated actor model of self-adaptive track-based traffic control systems M Bagheri, M Sirjani, E Khamespanah, N Khakpour, I Akkaya, ... Journal of Systems and Software 143, 116-139, 2018 | 25 | 2018 |
| Floating time transition system: more efficient analysis of timed actors E Khamespanah, M Sirjani, M Viswanathan, R Khosravi Formal Aspects of Component Software: 12th International Conference, FACS …, 2016 | 25 | 2016 |
| Model checking software in cyberphysical systems M Sirjani, EA Lee, E Khamespanah 2020 IEEE 44th Annual Computers, Software, and Applications Conference …, 2020 | 24 | 2020 |
| An efficient TCTL model checking algorithm and a reduction technique for verification of timed actor models E Khamespanah, R Khosravi, M Sirjani Science of Computer Programming 153, 1-29, 2018 | 23 | 2018 |
| Timed-rebeca schedulability and deadlock-freedom analysis using floating-time transition system E Khamespanah, Z Sabahi Kaviani, R Khosravi, M Sirjani, MJ Izadi Proceedings of the 2nd edition on Programming systems, languages and …, 2012 | 21 | 2012 |
| Sysfier: Actor-based formal verification of systemc N Razavi, R Behjati, H Sabouri, E Khamespanah, A Shali, M Sirjani ACM Transactions on Embedded Computing Systems (TECS) 10 (2), 1-35, 2011 | 21 | 2011 |
| Modeling and analyzing real-time wireless sensor and actuator networks using actors and model checking E Khamespanah, M Sirjani, K Mechitov, G Agha International Journal on Software Tools for Technology Transfer 20, 547-561, 2018 | 19 | 2018 |
| Coordinated actors for reliable self-adaptive systems M Bagheri, I Akkaya, E Khamespanah, N Khakpour, M Sirjani, ... Formal Aspects of Component Software: 13th International Conference, FACS …, 2017 | 18 | 2017 |
| Schedulability analysis of distributed real-time sensor network applications using actor-based model checking E Khamespanah, K Mechitov, M Sirjani, G Agha Model Checking Software: 23rd International Symposium, SPIN 2016, Co-located …, 2016 | 14 | 2016 |
| Performance analysis of distributed and asynchronous systems using probabilistic timed actors A Jafari, E Khamespanah, M Sirjani, H Hermanns Electronic Communications of the EASST 70, 2014 | 14 | 2014 |
| Statistical model checking of Timed Rebeca models A Jafari, E Khamespanah, H Kristinsson, M Sirjani, B Magnusson Computer Languages, Systems & Structures 45, 53-79, 2016 | 13 | 2016 |
| Formal semantics and analysis of timed rebeca in real-time maude Z Sabahi-Kaviani, R Khosravi, M Sirjani, PC Ölveczky, E Khamespanah International Workshop on Formal Techniques for Safety-Critical Systems, 178-194, 2013 | 12 | 2013 |
| Efficient TCTL model checking algorithm for timed actors E Khamespanah, R Khosravi, M Sirjani Proceedings of the 4th International Workshop on Programming based on Actors …, 2014 | 8 | 2014 |
| Developing safe smart contracts S Rezaei, E Khamespanah, M Sirjani, A Sedaghatbaf, S Mohammadi 2020 IEEE 44th Annual Computers, Software, and Applications Conference …, 2020 | 7 | 2020 |
Marjan SirjaniMälardalen UniversityVerified email at mdh.se
