مقالات علمی چاپ شده در مجلات

1. "Automated testing of an industrial stock market trading platform based on functional specification"
   Arvin Zakeriyan, Ramtin Khosravi, Hadi Safari, Ehsan Khamespanah, Seyedeh mehrnaz Shamsabadi
   SCIENCE OF COMPUTER PROGRAMMING, Vol. 225, No 225, 2023
2. "Magnifier: A Compositional Analysis Approach for Autonomous Traffic Control"
   Maryam Baghri, Marjan Sirjani, Ehsan Khamespanah, Christel Baier , علی موقر
   IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, Vol. 1, No 1, pp.1-1, 2022
3. "Specification and Verification of Timing Properties in Interoperable Medical Systems"
   Mahsa Zarneshan, Fatemeh Ghassemi Esfahani, Ehsan Khamespanah, Marjan Sirjani, John Hotcliff
   LOGICAL METHODS IN COMPUTER SCIENCE, Vol. 18, No 2, 2022
4. "Safe Design of Flow Management Systems Using Rebeca"
   Giorgio Forcina, Ali Sedaghatbaf, Stephan Baumgart, Ali Jafari, Ehsan Khamespanah, Pavle Mrvaljevic, Marjan Sirjani
   Journal of Information Processing, Vol. 28, pp.588-598, 2020
5. "Verification of Cyberphysical Systems"
   Marjan Sirjani, Edward A. Lee, Ehsan Khamespanah
   Mathematics, Vol. 8, No 7, 2020
6. "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
   International Journal on Software Tools for Technology Transfer, Vol. 22, No 5, pp.617-633, 2020

مقالات علمی ارائه شده در همایش‌ها

1. "Actors Upgraded for Variability, Adaptability, and Determinism"
   Ramtin Khosravi, Ehsan Khamespanah, Fatemeh Ghassemi Esfahani, Marjan Sirjani
   Fifth International ABS Workshop, 2023
2. "Timed Actors and Their Formal Verification"
   Marjan Sirjani, Ehsan Khamespanah
   Combined 30th International Workshop on Expressiveness in Concurrency and 20th Workshop on Structural Operational Semantics, 2023
3. "Model Checking of Hyperledger Fabric Smart Contracts"
   Elmira Ebrahimi, Ehsan Khamespanah, Marjan Sirjani, Siamak Mohammadi
   2023 IEEE 28th International Conference on Emerging Technologies and Factory Automation (ETFA), 2023
4. "Transparent Actor Model"
   Fatemeh Ghassemi Esfahani, Marjan Sirjani, Ehsan Khamespanah, mahrokh Mirani, Hosein Hojat
   2023 IEEE/ACM 11th International Conference on Formal Methods in Software Engineering (FormaliSE), 2023
5. "Afra: An Eclipse-Based Tool with Extensible Architecture for Modeling and Model Checking of Rebeca Family Models"
   Ehsan Khamespanah, Marjan Sirjani, Ramtin Khosravi
   10th Fundamentals of Software Engineering (FSEN), 2023
6. "Partial Order Reduction for Timed Actors"
   Maryam Baghri, Marjan Sirjani, Ehsan Khamespanah, Hosein Hojat, Ali Movaghar
   Verified Software: Theories, Tools, and Experiments, 2021
7. "Fundamentals of Software Engineering"
   Arvin Zakeriyan, Ramtin Khosravi, Hadi Safari, Ehsan Khamespanah
   Towards Automatic Test Case Generation for Industrial Software Systems Based on Functional Specifications, 2021
8. "Lightweight Formal Method for Robust Routing in Track-based Traffic Control Systems"
   Maryam Baghri, Eunsuk Kang, Edward A Lee, Marjan Sirjani, Ehsan Khamespanah, علی موقر
   18th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2020
9. "Towards Formal Analysis of Vehicle Platoons Using Actor Model"
   [] [], Ramtin Khosravi, Marjan Sirjani, Ehsan Khamespanah
   2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA), 2020
10. "Developing Safe Smart Contracts"
    Sajjad Rezaei, Ehsan Khamespanah, Marjan Sirjani, Ali Sedaghatbaf, Siamak Mohammadi
    IEEE 44th Annual Computers, Software, and Applications Conference , COMPSAC 2020, 2020
11. "Model Checking Software in Cyberphysical Systems"
    Marjan Sirjani, Edward A. Lee, Ehsan Khamespanah
    2020 IEEE 44th Annual Computers, Software, and Applications Conference (COMPSAC), 2020
12. "Finite Interval-Time Transition System for Real-Time Actors"
    Shaghayegh Tavassoli, Ramtin Khosravi, Ehsan Khamespanah
    Topics in Theoretical Computer Science, 2020
13. "Reactive Actors: Isolation for Efficient Analysis of Distributed Systems"
    Marjan Sirjani, Ehsan Khamespanah, Fatemeh Ghassemi Esfahani
    2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications (DS-RT), 2019
14. "Towards an Actor-based Approach to Design Verified ROS-based Robotic Programs using Rebeca"
    Saeed Dehnavi, Ali Sedaghatbaf, Bahar Salmani, Marjan Sirjani, Mehdi Kargahi, Ehsan Khamespanah
    The 16th International Conference on Mobile Systems and Pervasive Computing, 2019