Ehsan Khamespanah

According to our database, Ehsan Khamespanah authored at least 51 papers between 2010 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Actors Upgraded for Variability, Adaptability, and Determinism.

Ramtin Khosravi, Ehsan Khamespanah, Fatemeh Ghassemi, Marjan Sirjani

Proceedings of the Active Object Languages: Current Research Trends, 2024

2023

Automated testing of an industrial stock market trading platform based on functional specification.

Arvin Zakeriyan, Ramtin Khosravi, Hadi Safari, Ehsan Khamespanah, Seyede Mehrnaz Shamsabadi

Sci. Comput. Program., 2023

Timed Actors and Their Formal Verification.

Marjan Sirjani, Ehsan Khamespanah

Proceedings of the Proceedings Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics, 2023

Transparent Actor Model.

Fatemeh Ghassemi, Marjan Sirjani, Ehsan Khamespanah, Mahrokh Mirani, Hossein Hojjat

Proceedings of the 11th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2023

Afra: An Eclipse-Based Tool with Extensible Architecture for Modeling and Model Checking of Rebeca Family Models.

Ehsan Khamespanah, Marjan Sirjani, Ramtin Khosravi

Proceedings of the Fundamentals of Software Engineering - 10th International Conference, 2023

Model Checking of Hyperledger Fabric Smart Contracts.

Elmira Ebrahimi, Ehsan Khamespanah, Marjan Sirjani, Siamak Mohammadi

Proceedings of the 28th IEEE International Conference on Emerging Technologies and Factory Automation, 2023

2022

Magnifier: A Compositional Analysis Approach for Autonomous Traffic Control.

Maryam Bagheri, Marjan Sirjani, Ehsan Khamespanah, Christel Baier, Ali Movaghar

IEEE Trans. Software Eng., 2022

Specification and Verification of Timing Properties in Interoperable Medical Systems.

Mahsa Zarneshan, Fatemeh Ghassemi, Ehsan Khamespanah, Marjan Sirjani, John Hatcliff

Log. Methods Comput. Sci., 2022

Schedulability Analysis of WSAN Applications: Outperformance of a Model Checking Approach.

Ehsan Khamespanah, Morteza Mohaqeqi, Mohammad Ashjaei, Marjan Sirjani

Proceedings of the 27th IEEE International Conference on Emerging Technologies and Factory Automation, 2022

2021

Partial Order Reduction for Timed Actors.

Maryam Bagheri, Marjan Sirjani, Ehsan Khamespanah, Hossein Hojjat, Ali Movaghar

Proceedings of the Software Verification - 13th International Conference, 2021

Towards Automatic Test Case Generation for Industrial Software Systems Based on Functional Specifications.

Arvin Zakeriyan, Ramtin Khosravi, Hadi Safari, Ehsan Khamespanah

Proceedings of the Fundamentals of Software Engineering - 9th International Conference, 2021

Using Afra in Different Domains by Tool Orchestration.

Ehsan Khamespanah, Pavle Mrvaljevic, Anas Fattouh, Marjan Sirjani

Proceedings of the Composing Model-Based Analysis Tools, 2021

2020

VeriVANca framework: verification of VANETs by property-based message passing of actors in Rebeca with inheritance.

Farnaz Yousefi, Ehsan Khamespanah, Mohammed Gharib, Marjan Sirjani, Ali Movaghar

Int. J. Softw. Tools Technol. Transf., 2020

Safe Design of Flow Management Systems Using Rebeca.

Giorgio Forcina, Ali Sedaghatbaf, Stephan Baumgart, Ali Jafari, Ehsan Khamespanah, Pavle Mrvaljevic, Marjan Sirjani

J. Inf. Process., 2020

Finite Interval-Time Transition System for Real-Time Actors.

Shaghayegh Tavassoli, Ramtin Khosravi, Ehsan Khamespanah

Proceedings of the Topics in Theoretical Computer Science, 2020

Lightweight Formal Method for Robust Routing in Track-based Traffic Control Systems.

Maryam Bagheri, Edward A. Lee, Eunsuk Kang, Marjan Sirjani, Ehsan Khamespanah, Ali Movaghar

Proceedings of the 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2020

Towards Formal Analysis of Vehicle Platoons Using Actor Model.

Zeinab Sharifi, Ramtin Khosravi, Marjan Sirjani, Ehsan Khamespanah

Proceedings of the 25th IEEE International Conference on Emerging Technologies and Factory Automation, 2020

Model Checking Software in Cyberphysical Systems.

Marjan Sirjani, Edward A. Lee, Ehsan Khamespanah

Proceedings of the 44th IEEE Annual Computers, Software, and Applications Conference, 2020

Developing Safe Smart Contracts.

Sajjad Rezaei, Ehsan Khamespanah, Marjan Sirjani, Ali Sedaghatbaf, Siamak Mohammadi

Proceedings of the 44th IEEE Annual Computers, Software, and Applications Conference, 2020

2019

Decentralized Runtime Verification for LTL Properties Using Global Clock.

M. Ali Dorosty, Fathiyeh Faghih, Ehsan Khamespanah

CoRR, 2019

A Compositional Approach for Reliable Adaptation of Track-based Traffic Control Systems at Runtime.

Maryam Bagheri, Marjan Sirjani, Ehsan Khamespanah, Ali Movaghar

CoRR, 2019

VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs.

Farnaz Yousefi, Ehsan Khamespanah, Mohammed Gharib, Marjan Sirjani, Ali Movaghar

Proceedings of the Model Checking Software - 26th International Symposium, 2019

Using Reo Formalism for Compliance Checking of Architecture Evolution with Evolutionary Rules.

Zainab Liaghat, MohammadReza Besharati, Mohammad Izadi, Ehsan Khamespanah

Proceedings of the Advancing Technology Industrialization Through Intelligent Software Methodologies, Tools and Techniques, 2019

Reactive Actors: Isolation for Efficient Analysis of Distributed Systems.

Marjan Sirjani, Ehsan Khamespanah, Fatemeh Ghassemi

Proceedings of the 23rd IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications DS-RT 2019, 2019

An Actor-Based Design Platform for System of Systems.

Marjan Sirjani, Giorgio Forcina, Ali Jafari, Stephan Baumgart, Ehsan Khamespanah, Ali Sedaghatbaf

Proceedings of the 43rd IEEE Annual Computer Software and Applications Conference, 2019

2018

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

Ehsan Khamespanah, Marjan Sirjani, Kirill Mechitov, Gul Agha

Int. J. Softw. Tools Technol. Transf., 2018

An efficient TCTL model checking algorithm and a reduction technique for verification of timed actor models.

Ehsan Khamespanah, Ramtin Khosravi, Marjan Sirjani

Sci. Comput. Program., 2018

Coordinated actor model of self-adaptive track-based traffic control systems.

Maryam Bagheri, Marjan Sirjani, Ehsan Khamespanah, Narges Khakpour, Ilge Akkaya, Ali Movaghar, Edward A. Lee

J. Syst. Softw., 2018

Improving the Performance of Actor-Based Programs Using a New Actor to Thread Association Technique.

Fahimeh Rahemi, Ehsan Khamespanah, Ramtin Khosravi

Proceedings of the Distributed Applications and Interoperable Systems, 2018

2017

A compositional approach for modeling and timing analysis of wireless sensor and actuator networks.

Marjan Sirjani, Ehsan Khamespanah, Kirill Mechitov, Gul Agha

SIGBED Rev., 2017

Runtime compositional analysis of track-based traffic control systems.

Maryam Bagheri, Ehsan Khamespanah, Marjan Sirjani, Ali Movaghar, Edward A. Lee

SIGBED Rev., 2017

A Survey of Active Object Languages.

Frank S. de Boer, Vlad Serbanescu, Reiner Hähnle, Ludovic Henrio, Justine Rochas, Crystal Chang Din, Einar Broch Johnsen, Marjan Sirjani, Ehsan Khamespanah, Kiko Fernandez-Reyes, Albert Mingkun Yang

ACM Comput. Surv., 2017

LeeTL: LTL with quantifications over model objects.

Pouria Mellati, Ehsan Khamespanah, Ramtin Khosravi

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.

Ali Jafari, Ehsan Khamespanah, Marjan Sirjani, Holger Hermanns, Matteo Cimini

Sci. Comput. Program., 2016

Statistical model checking of Timed Rebeca models.

Ali Jafari, Ehsan Khamespanah, Haukur Kristinsson, Marjan Sirjani, Brynjar Magnusson

Comput. Lang. Syst. Struct., 2016

Schedulability Analysis of Distributed Real-Time Sensor Network Applications Using Actor-Based Model Checking.

Ehsan Khamespanah, Kirill Mechitov, Marjan Sirjani, Gul A. Agha

Proceedings of the Model Checking Software - 23rd International Symposium, 2016

Coordinated Actors for Reliable Self-adaptive Systems.

Maryam Bagheri, Ilge Akkaya, Ehsan Khamespanah, Narges Khakpour, Marjan Sirjani, Ali Movaghar, Edward A. Lee

Proceedings of the Formal Aspects of Component Software - 13th International Conference, 2016

On Time Actors.

Marjan Sirjani, Ehsan Khamespanah

Proceedings of the Theory and Practice of Formal Methods, 2016

2015

Formal semantics and efficient analysis of Timed Rebeca in Real-Time Maude.

Zeynab Sabahi-Kaviani, Ramtin Khosravi, Peter Csaba Ölveczky, Ehsan Khamespanah, Marjan Sirjani

Sci. Comput. Program., 2015

Timed Rebeca schedulability and deadlock freedom analysis using bounded floating time transition system.

Ehsan Khamespanah, Marjan Sirjani, Zeynab Sabahi-Kaviani, Ramtin Khosravi, Mohammad-Javad Izadi

Sci. Comput. Program., 2015

State Distribution Policy for Distributed Model Checking of Actor Models.

Ehsan Khamespanah, Marjan Sirjani, Mohammad Reza Mousavi, Zeynab Sabahi-Kaviani, Mohamadreza Razzazi

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2015

Floating Time Transition System: More Efficient Analysis of Timed Actors.

Ehsan Khamespanah, Marjan Sirjani, Mahesh Viswanathan, Ramtin Khosravi

Proceedings of the Formal Aspects of Component Software - 12th International Conference, 2015

Jacco: more efficient model checking toolset for Java actor programs.

Arvin Zakeriyan, Ehsan Khamespanah, Marjan Sirjani, Ramtin Khosravi

Proceedings of the 5th International Workshop on Programming Based on Actors, 2015

2014

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

Ali Jafari, Ehsan Khamespanah, Marjan Sirjani, Holger Hermanns

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014

Event-Based Analysis of Timed Rebeca Models using SQL.

Brynjar Magnusson, Ehsan Khamespanah, Ramtin Khosravi, Marjan Sirjani

Proceedings of the 4th International Workshop on Programming based on Actors Agents & Decentralized Control, 2014

Efficient TCTL Model Checking Algorithm for Timed Actors.

Ehsan Khamespanah, Ramtin Khosravi, Marjan Sirjani

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.

Zeynab Sabahi-Kaviani, Ramtin Khosravi, Marjan Sirjani, Peter Csaba Ölveczky, Ehsan Khamespanah

Proceedings of the Formal Techniques for Safety-Critical Systems, 2013

Analysing timed Rebeca using McErlang.

Haukur Kristinsson, Ali Jafari, Ehsan Khamespanah, Brynjar Magnusson, Marjan Sirjani

Proceedings of the 2013 Workshop on Programming based on Actors, 2013

2012

Timed-rebeca schedulability and deadlock-freedom analysis using floating-time transition system.

Ehsan Khamespanah, Zeynab Sabahi-Kaviani, Ramtin Khosravi, Marjan Sirjani, Mohammad-Javad Izadi

Proceedings of the 2nd edition on Programming systems, 2012

2010

Sysfier: Actor-based formal verification of SystemC.

Niloofar Razavi, Razieh Behjati, Hamideh Sabouri, Ehsan Khamespanah, Amin Shali, Marjan Sirjani

ACM Trans. Embed. Comput. Syst., 2010

Symmetry and partial order reduction techniques in model checking Rebeca.

Mohammad Mahdi Jaghoori, Marjan Sirjani, Mohammad Reza Mousavi, Ehsan Khamespanah, Ali Movaghar

Acta Informatica, 2010