Ehsan Khamespanah
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
6
Active years
2018–2026
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | Compositional Verification of Timed Automata via Violation Assumptions. | Mehran Moeini Jam, Hamed Kalantari, Ehsan Khamespanah, Marjan Sirjani, Ali Movaghar |
| 2023 | ETFA | Model Checking of Hyperledger Fabric Smart Contracts. | Elmira Ebrahimi, Ehsan Khamespanah, Marjan Sirjani, Siamak Mohammadi |
| 2022 | ETFA | Schedulability Analysis of WSAN Applications: Outperformance of a Model Checking Approach. | Ehsan Khamespanah, Morteza Mohaqeqi, Mohammad Ashjaei, Marjan Sirjani |
| 2020 | COMPSAC | Developing Safe Smart Contracts. | Sajjad Rezaei, Ehsan Khamespanah, Marjan Sirjani, Ali Sedaghatbaf, Siamak Mohammadi |
| 2020 | COMPSAC | Model Checking Software in Cyberphysical Systems. | Marjan Sirjani, Edward A. Lee, Ehsan Khamespanah |
| 2020 | ETFA | Towards Formal Analysis of Vehicle Platoons Using Actor Model. | Zeinab Sharifi, Ramtin Khosravi, Marjan Sirjani, Ehsan Khamespanah |
| 2020 | MEMOCODE | 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 |
| 2019 | COMPSAC | An Actor-Based Design Platform for System of Systems. | Marjan Sirjani, Giorgio Forcina, Ali Jafari, Stephan Baumgart, Ehsan Khamespanah, Ali Sedaghatbaf |
| 2019 | SoMeT | Using Reo Formalism for Compliance Checking of Architecture Evolution with Evolutionary Rules. | Zainab Liaghat, MohammadReza Besharati, Mohammad Izadi, Ehsan Khamespanah |
| 2018 | DAIS | Improving the Performance of Actor-Based Programs Using a New Actor to Thread Association Technique. | Fahimeh Rahemi, Ehsan Khamespanah, Ramtin Khosravi |