Ehsan Khamespanah
Ehsan Khamespanah
Verified email at
Cited by
Cited by
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
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
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
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
On time actors
M Sirjani, E Khamespanah
Theory and Practice of Formal Methods: Essays Dedicated to Frank de Boer on …, 2016
Verification of cyberphysical systems
M Sirjani, EA Lee, E Khamespanah
Mathematics 8 (7), 1068, 2020
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
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
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
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
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
Model checking software in cyberphysical systems
M Sirjani, EA Lee, E Khamespanah
2020 IEEE 44th Annual Computers, Software, and Applications Conference …, 2020
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
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
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
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
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
Formal semantics and analysis of timed rebeca in real-time maude
Z Sabahi-Kaviani, R Khosravi, M Sirjani, PC Ölveczky, E Khamespanah
Formal Techniques for Safety-Critical Systems: Second International Workshop …, 2014
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
Safe design of flow management systems using rebeca
G Forcina, A Sedaghatbaf, S Baumgart, A Jafari, E Khamespanah, ...
Journal of Information Processing 28, 588-598, 2020
The system can't perform the operation now. Try again later.
Articles 1–20