Ehsan Khamespanah
Ehsan Khamespanah
Email verificata su ru.is
Titolo
Citata da
Citata da
Anno
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
602017
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
402010
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
352015
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
262016
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
212012
On time actors
M Sirjani, E Khamespanah
Theory and Practice of Formal Methods, 373-392, 2016
202016
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
202011
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
152015
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
132016
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
122018
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
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
112018
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
112018
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
102016
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
102016
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
102014
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
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
62015
Model checking software in cyberphysical systems
M Sirjani, EA Lee, E Khamespanah
2020 IEEE 44th Annual Computers, Software, and Applications Conference …, 2020
52020
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20