Ehsan Khamespanah

1. 20 Years of Actor Model Checking with Rebeca From Dining Philosophers to Micro-services

Khamespanah Ehsan, محمد مهدی جاقوری (2025)., Marjan Festschrift, 9 April, Vasteras, Sweden.

1. Actors Upgraded for Variability, Adaptability, and Determinism

Khosravi Ramtin, Khamespanah Ehsan, Ghassemi Esfahani Fatemeh, Sirjani Marjan (2023)., Fifth International ABS Workshop, 4-6 October, Lyon, France.

2. Timed Actors and Their Formal Verification

Sirjani Marjan, Khamespanah Ehsan (2023)., Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics, 18 September, Brugge, Belgium.

3. Model Checking of Hyperledger Fabric Smart Contracts

Ebrahimi Elmira, Khamespanah Ehsan, Sirjani Marjan, Mohammadi Siamak (2023)., 2023 IEEE 28th International Conference on Emerging Technologies and Factory Automation (ETFA), 12-15 September, Bucharest, Romania.

4. Transparent Actor Model

Ghassemi Esfahani Fatemeh, Sirjani Marjan, Khamespanah Ehsan, Mirani mahrokh, Hojat Hosein (2023)., 2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE), 14-15 May, Melbourne, Australia.

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

Khamespanah Ehsan, Sirjani Marjan, Khosravi Ramtin (2023)., 10th Fundamentals of Software Engineering (FSEN), 4-5 May, Tehran, Iran.

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

Zakeriyan Arvin, Khosravi Ramtin, Safari Hadi, Khamespanah Ehsan, Shamsabadi Seyedeh mehrnaz (2023)., SCIENCE OF COMPUTER PROGRAMMING, 225(225), 102908.

1. Magnifier: A Compositional Analysis Approach for Autonomous Traffic Control

Baghri Maryam, Sirjani Marjan, Khamespanah Ehsan, Christel Baier, موقر علی (2022)., IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1(1), 1-1.

2. Specification and Verification of Timing Properties in Interoperable Medical Systems

Zarneshan Mahsa, Ghassemi Esfahani Fatemeh, Khamespanah Ehsan, Sirjani Marjan, Hotcliff John (2022)., LOGICAL METHODS IN COMPUTER SCIENCE, 18(2).

1. Composing Model-Based Analysis Tools

Khamespanah Ehsan, Mrvaljevic Pavle, Fattouh Anas, Sirjani Marjan (2021).

2. Partial Order Reduction for Timed Actors

Baghri Maryam, Sirjani Marjan, Khamespanah Ehsan, Hojat Hosein, Movaghar Ali (2021)., Verified Software: Theories, Tools, and Experiments, 18-19 October, United States Of America (USA).

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

Baghri Maryam, Kang Eunsuk, Lee Edward A, Sirjani Marjan, Khamespanah Ehsan, علی موقر (2020)., 18th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2-4 December, Jaipur, India.

2. Towards Formal Analysis of Vehicle Platoons Using Actor Model

Sharifi Zeinab, Khosravi Ramtin, Sirjani Marjan, Khamespanah Ehsan (2020)., 2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 8-11 September, Vienna, Austria.

3. Safe Design of Flow Management Systems Using Rebeca

Forcina Giorgio, Sedaghatbaf Ali, Baumgart Stephan, Jafari Ali, Khamespanah Ehsan, Mrvaljevic Pavle, Sirjani Marjan (2020)., Journal of Information Processing, 28(0), 588-598.

4. Model Checking Software in Cyberphysical Systems

Sirjani Marjan, Lee Edward A., Khamespanah Ehsan (2020)., 2020 IEEE 44th Annual Computers, Software, and Applications Conference (COMPSAC), 13-17 July.

5. Developing Safe Smart Contracts

Rezaei Sajjad, Khamespanah Ehsan, Sirjani Marjan, Sedaghatbaf Ali, Mohammadi Siamak (2020)., IEEE 44th Annual Computers, Software, and Applications Conference , COMPSAC 2020, 13-17 July, Madrid, Spain.

6. Verification of Cyberphysical Systems

Sirjani Marjan, Lee Edward A., Khamespanah Ehsan (2020)., Mathematics, 8(7), 1068.

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

Yousefi Farnaz, Khamespanah Ehsan, Gharib Mohammed, Sirjani Marjan, Ali Movaghar (2020)., International Journal on Software Tools for Technology Transfer, 22(5), 617-633.

1. Reactive Actors: Isolation for Efficient Analysis of Distributed Systems

Sirjani Marjan, Khamespanah Ehsan, Ghassemi Esfahani Fatemeh (2019)., 2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications (DS-RT), 7-9 October, Cosenza, Italy.

2. Towards an Actor-based Approach to Design Verified ROS-based Robotic Programs using Rebeca

Dehnavi Saeed, Sedaghatbaf Ali, Salmani Bahar, Sirjani Marjan, Kargahi Mehdi, Khamespanah Ehsan (2019)., The 16th International Conference on Mobile Systems and Pervasive Computing, 19-21 August.