Ehsan Khamespanah
Ehsan Khamespanah
Verifierad e-postadress på ru.is
TitelCiteras avÅr
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
382010
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), 76, 2017
322017
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
292015
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), 19, 2010
202010
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
182012
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
132016
Schedulability analysis of distributed real-time sensor network applications using actor-based model checking
E Khamespanah, K Mechitov, M Sirjani, G Agha
International Symposium on Model Checking Software, 165-181, 2016
122016
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
122013
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
122013
On time actors
M Sirjani, E Khamespanah
Theory and Practice of Formal Methods, 373-392, 2016
112016
Floating time transition system: more efficient analysis of timed actors
E Khamespanah, M Sirjani, M Viswanathan, R Khosravi
Formal Aspects of Component Software, 237-255, 2015
92015
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
92014
Coordinated actors for reliable self-adaptive systems
M Bagheri, I Akkaya, E Khamespanah, N Khakpour, M Sirjani, ...
International Workshop on Formal Aspects of Component Software, 241-259, 2016
82016
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
82016
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
82014
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
52018
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
52018
State distribution policy for distributed model checking of actor models
E Khamespanah, M Sirjani, MR Mousavi, Z Sabahi Kaviani, MR Razzazi
Electronic Communications of the EASST 72, 1-15, 2015
52015
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 (5), 547-561, 2018
42018
Analysing timed rebeca using mcerlang
H Kristinsson, A Jafari, E Khamespanah, B Magnusson, M Sirjani
Proceedings of the 2013 workshop on Programming based on actors, agents, and …, 2013
42013
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20