Ehsan Khamespanah

According to our database1, Ehsan Khamespanah
  • authored at least 19 papers between 2010 and 2017.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

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

2016
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

2015
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.
ECEASST, 2015

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

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

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

2013
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

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

2010
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


  Loading...