Ehsan Khamespanah

According to our database1, Ehsan Khamespanah authored at least 27 papers between 2010 and 2019.

Collaborative distances:



In proceedings 
PhD thesis 




An Actor-Based Design Platform for System of Systems.
Proceedings of the 43rd IEEE Annual Computer Software and Applications Conference, 2019

Modeling and analyzing real-time wireless sensor and actuator networks using actors and model checking.
STTT, 2018

An efficient TCTL model checking algorithm and a reduction technique for verification of timed actor models.
Sci. Comput. Program., 2018

Coordinated actor model of self-adaptive track-based traffic control systems.
Journal of Systems and Software, 2018

Improving the Performance of Actor-Based Programs Using a New Actor to Thread Association Technique.
Proceedings of the Distributed Applications and Interoperable Systems, 2018

A compositional approach for modeling and timing analysis of wireless sensor and actuator networks.
SIGBED Review, 2017

Runtime compositional analysis of track-based traffic control systems.
SIGBED Review, 2017

A Survey of Active Object Languages.
ACM Comput. Surv., 2017

LeeTL: LTL with quantifications over model objects.
Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software, 2017

PTRebeca: Modeling and analysis of distributed and asynchronous systems.
Sci. Comput. Program., 2016

Statistical model checking of Timed Rebeca models.
Computer Languages, Systems & Structures, 2016

Schedulability Analysis of Distributed Real-Time Sensor Network Applications Using Actor-Based Model Checking.
Proceedings of the Model Checking Software - 23rd International Symposium, 2016

Coordinated Actors for Reliable Self-adaptive Systems.
Proceedings of the Formal Aspects of Component Software - 13th International Conference, 2016

On Time Actors.
Proceedings of the Theory and Practice of Formal Methods, 2016

Formal semantics and efficient analysis of Timed Rebeca in Real-Time Maude.
Sci. Comput. Program., 2015

Timed Rebeca schedulability and deadlock freedom analysis using bounded floating time transition system.
Sci. Comput. Program., 2015

State Distribution Policy for Distributed Model Checking of Actor Models.

Floating Time Transition System: More Efficient Analysis of Timed Actors.
Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015

Jacco: more efficient model checking toolset for Java actor programs.
Proceedings of the 5th International Workshop on Programming Based on Actors, 2015

Performance Analysis of Distributed and Asynchronous Systems using Probabilistic Timed Actors.

Event-Based Analysis of Timed Rebeca Models using SQL.
Proceedings of the 4th International Workshop on Programming based on Actors Agents & Decentralized Control, 2014

Efficient TCTL Model Checking Algorithm for Timed Actors.
Proceedings of the 4th International Workshop on Programming based on Actors Agents & Decentralized Control, 2014

Formal Semantics and Analysis of Timed Rebeca in Real-Time Maude.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2013

Analysing timed Rebeca using McErlang.
Proceedings of the 2013 Workshop on Programming based on Actors, 2013

Timed-rebeca schedulability and deadlock-freedom analysis using floating-time transition system.
Proceedings of the 2nd edition on Programming systems, 2012

Sysfier: Actor-based formal verification of SystemC.
ACM Trans. Embedded Comput. Syst., 2010

Symmetry and partial order reduction techniques in model checking Rebeca.
Acta Inf., 2010