Journal Paper

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. "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
4. "Verification of Cyberphysical Systems"
   Marjan Sirjani, Edward A. Lee, Ehsan Khamespanah
   Mathematics, Vol. 8, No 7, 2020
5. "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
6. "Sysfier: Actor-based formal verification of SystemC"
   نیلوفر رضوی , راضیه بهجتی , حمیده صبوری قمی , Ehsan Khamespanah, امین شالی, Marjan Sirjani
   ACM Transactions on Embedded Computing Systems, Vol. 10, No 2, pp.1-35, 2010
7. "Symmetry and partial order reduction techniques in model checking Rebeca"
   محمد مهدی جاقوری, Marjan Sirjani, Mohammad Reza Mousavi, Ehsan Khamespanah, علی موقر
   ACTA INFORMATICA, Vol. 47, No 1, pp.33-66, 2009

Conference Paper

1. "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
2. "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
3. "Schedulability Analysis of WSAN Applications: Outperformance of a Model Checking Approach"
   Ehsan Khamespanah, مرتضی محققی , Mohammad Ashjaei, Marjan Sirjani
   2022 IEEE 27th International Conference on Emerging Technologies and Factory Automation (ETFA), 2022
4. "Partial Order Reduction for Timed Actors"
   Maryam Baghri, Marjan Sirjani, Ehsan Khamespanah, Hosein Hojat, Ali Movaghar
   Verified Software: Theories, Tools, and Experiments, 2021
5. "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
6. "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
7. "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
8. "Model Checking Software in Cyberphysical Systems"
   Marjan Sirjani, Edward A. Lee, Ehsan Khamespanah
   2020 IEEE 44th Annual Computers, Software, and Applications Conference (COMPSAC), 2020
9. "Finite Interval-Time Transition System for Real-Time Actors"
   Shaghayegh Tavassoli, Ramtin Khosravi, Ehsan Khamespanah
   Topics in Theoretical Computer Science, 2020
10. "Formal Techniques for Safety-Critical Systems"
    Zeynab Sabahi Kaviani, Ramtin Khosravi, Marjan Sirjani, Peter Csaba Olveczky, Ehsan Khamespanah
    Formal Techniques for Safety-Critical Systems, 2013
11. "Analysing timed Rebeca using McErlang"
    Haukur Kristinsson, Ali Jafari, Ehsan Khamespanah, Brynjar Magnusson, Marjan Sirjani
    The 2013 Workshop on Programming based on Actors, Agents, and Decentralized Control, AGERE!@SPLASH, 2013