احسان خامس پناه

استادیار

تاریخ به‌روزرسانی: 1404/02/25

احسان خامس پناه

دانشکدگان ‌فنی / دانشکده مهندسی‌ برق‌ و کامپیوتر

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

  1. "20 Years of Actor Model Checking with Rebeca From Dining Philosophers to Micro-services"
    Ehsan Khamespanah, محمد مهدی جاقوری
    Marjan Festschrift, 2025
  2. "Actors Upgraded for Variability, Adaptability, and Determinism"
    Ramtin Khosravi, Ehsan Khamespanah, Fatemeh Ghassemi Esfahani, Marjan Sirjani
    Fifth International ABS Workshop, 2023
  3. "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
  4. "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
  5. "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
  6. "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
  7. "Partial Order Reduction for Timed Actors"
    Maryam Baghri, Marjan Sirjani, Ehsan Khamespanah, Hosein Hojat, Ali Movaghar
    Verified Software: Theories, Tools, and Experiments, 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"
    Zeinab Sharifi, 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. "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
  13. "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