Ehsan Khamespanah

Publication Activity (10 Years)

Years Active: 2010-2023
Publications (10 Years): 39

Top Topics

Traffic Control

Formal Verification

Top Venues

Sci. Comput. Program.

Publications

Elmira Ebrahimi, Ehsan Khamespanah, Marjan Sirjani, Siamak Mohammadi
Model Checking of Hyperledger Fabric Smart Contracts. ETFA (2023)
Arvin Zakeriyan, Ramtin Khosravi, Hadi Safari, Ehsan Khamespanah, Seyede Mehrnaz Shamsabadi
Automated testing of an industrial stock market trading platform based on functional specification. Sci. Comput. Program. 225 (2023)
Marjan Sirjani, Ehsan Khamespanah
Timed Actors and Their Formal Verification. EXPRESS/SOS (2023)
Fatemeh Ghassemi, Marjan Sirjani, Ehsan Khamespanah, Mahrokh Mirani, Hossein Hojjat
Transparent Actor Model. FormaliSE (2023)
Ehsan Khamespanah, Marjan Sirjani, Ramtin Khosravi
Afra: An Eclipse-Based Tool with Extensible Architecture for Modeling and Model Checking of Rebeca Family Models. FSEN (2023)
Maryam Bagheri, Marjan Sirjani, Ehsan Khamespanah, Christel Baier, Ali Movaghar
Magnifier: A Compositional Analysis Approach for Autonomous Traffic Control. IEEE Trans. Software Eng. 48 (8) (2022)
Ehsan Khamespanah, Morteza Mohaqeqi, Mohammad Ashjaei, Marjan Sirjani
Schedulability Analysis of WSAN Applications: Outperformance of A Model Checking Approach. CoRR (2022)
Ehsan Khamespanah, Morteza Mohaqeqi, Mohammad Ashjaei, Marjan Sirjani
Schedulability Analysis of WSAN Applications: Outperformance of a Model Checking Approach. ETFA (2022)
Mahsa Zarneshan, Fatemeh Ghassemi, Ehsan Khamespanah, Marjan Sirjani, John Hatcliff
Specification and Verification of Timing Properties in Interoperable Medical Systems. Log. Methods Comput. Sci. 18 (2) (2022)
Maryam Bagheri, Marjan Sirjani, Ehsan Khamespanah, Hossein Hojjat, Ali Movaghar
Partial Order Reduction for Timed Actors. VSTTE (2021)
Arvin Zakeriyan, Ramtin Khosravi, Hadi Safari, Ehsan Khamespanah
Towards Automatic Test Case Generation for Industrial Software Systems Based on Functional Specifications. FSEN (2021)
Giorgio Forcina, Ali Sedaghatbaf, Stephan Baumgart, Ali Jafari, Ehsan Khamespanah, Pavle Mrvaljevic, Marjan Sirjani
Safe Design of Flow Management Systems Using Rebeca. J. Inf. Process. 28 (2020)
Zeinab Sharifi, Ramtin Khosravi, Marjan Sirjani, Ehsan Khamespanah
Towards Formal Analysis of Vehicle Platoons Using Actor Model. ETFA (2020)
Mahsa Zarneshan, Fatemeh Ghassemi, Ehsan Khamespanah, Marjan Sirjani, John Hatcliff
Specification and Verification of Timing Properties in Interoperable Medical Systems. CoRR (2020)
Sajjad Rezaei, Ehsan Khamespanah, Marjan Sirjani, Ali Sedaghatbaf, Siamak Mohammadi
Developing Safe Smart Contracts. COMPSAC (2020)
Shaghayegh Tavassoli, Ramtin Khosravi, Ehsan Khamespanah
Finite Interval-Time Transition System for Real-Time Actors. TTCS (2020)
Farnaz Yousefi, Ehsan Khamespanah, Mohammed Gharib, Marjan Sirjani, Ali Movaghar
VeriVANca framework: verification of VANETs by property-based message passing of actors in Rebeca with inheritance. Int. J. Softw. Tools Technol. Transf. 22 (5) (2020)
Marjan Sirjani, Edward A. Lee, Ehsan Khamespanah
Model Checking Software in Cyberphysical Systems. COMPSAC (2020)
Maryam Bagheri, Edward A. Lee, Eunsuk Kang, Marjan Sirjani, Ehsan Khamespanah, Ali Movaghar
Lightweight Formal Method for Robust Routing in Track-based Traffic Control Systems. MEMOCODE (2020)
M. Ali Dorosty, Fathiyeh Faghih, Ehsan Khamespanah
Decentralized Runtime Verification for LTL Properties Using Global Clock. CoRR (2019)
Marjan Sirjani, Giorgio Forcina, Ali Jafari, Stephan Baumgart, Ehsan Khamespanah, Ali Sedaghatbaf
An Actor-Based Design Platform for System of Systems. COMPSAC (1) (2019)
Zainab Liaghat, MohammadReza Besharati, Mohammad Izadi, Ehsan Khamespanah
Using Reo Formalism for Compliance Checking of Architecture Evolution with Evolutionary Rules. SoMeT (2019)
Maryam Bagheri, Marjan Sirjani, Ehsan Khamespanah, Ali Movaghar
A Compositional Approach for Reliable Adaptation of Track-based Traffic Control Systems at Runtime. CoRR (2019)
Farnaz Yousefi, Ehsan Khamespanah, Mohammed Gharib, Marjan Sirjani, Ali Movaghar
VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs. CoRR (2019)
Marjan Sirjani, Ehsan Khamespanah, Fatemeh Ghassemi
Reactive Actors: Isolation for Efficient Analysis of Distributed Systems. DS-RT (2019)
Farnaz Yousefi, Ehsan Khamespanah, Mohammed Gharib, Marjan Sirjani, Ali Movaghar
VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs. SPIN (2019)
Ehsan Khamespanah, Marjan Sirjani, Kirill Mechitov, Gul Agha
Modeling and analyzing real-time wireless sensor and actuator networks using actors and model checking. Int. J. Softw. Tools Technol. Transf. 20 (5) (2018)
Maryam Bagheri, Marjan Sirjani, Ehsan Khamespanah, Narges Khakpour, Ilge Akkaya, Ali Movaghar, Edward A. Lee
Coordinated actor model of self-adaptive track-based traffic control systems. J. Syst. Softw. 143 (2018)
Fahimeh Rahemi, Ehsan Khamespanah, Ramtin Khosravi
Improving the Performance of Actor-Based Programs Using a New Actor to Thread Association Technique. DAIS (2018)
Ehsan Khamespanah, Ramtin Khosravi, Marjan Sirjani
An efficient TCTL model checking algorithm and a reduction technique for verification of timed actor models. Sci. Comput. Program. 153 (2018)
Marjan Sirjani, Ehsan Khamespanah, Kirill Mechitov, Gul Agha
A compositional approach for modeling and timing analysis of wireless sensor and actuator networks. SIGBED Rev. 14 (3) (2017)
Pouria Mellati, Ehsan Khamespanah, Ramtin Khosravi
LeeTL: LTL with quantifications over model objects. SPIN (2017)
Frank S. de Boer, Vlad Serbanescu, Reiner Hähnle, Ludovic Henrio, Justine Rochas, Crystal Chang Din, Einar Broch Johnsen, Marjan Sirjani, Ehsan Khamespanah, Kiko Fernandez-Reyes, Albert Mingkun Yang
A Survey of Active Object Languages. ACM Comput. Surv. 50 (5) (2017)
Maryam Bagheri, Ehsan Khamespanah, Marjan Sirjani, Ali Movaghar, Edward A. Lee
Runtime compositional analysis of track-based traffic control systems. SIGBED Rev. 14 (3) (2017)
Marjan Sirjani, Ehsan Khamespanah
On Time Actors. Theory and Practice of Formal Methods (2016)
Ali Jafari, Ehsan Khamespanah, Marjan Sirjani, Holger Hermanns, Matteo Cimini
PTRebeca: Modeling and analysis of distributed and asynchronous systems. Sci. Comput. Program. 128 (2016)
Ehsan Khamespanah, Kirill Mechitov, Marjan Sirjani, Gul A. Agha
Schedulability Analysis of Distributed Real-Time Sensor Network Applications Using Actor-Based Model Checking. SPIN (2016)
Maryam Bagheri, Ilge Akkaya, Ehsan Khamespanah, Narges Khakpour, Marjan Sirjani, Ali Movaghar, Edward A. Lee
Coordinated Actors for Reliable Self-adaptive Systems. FACS (2016)
Ali Jafari, Ehsan Khamespanah, Haukur Kristinsson, Marjan Sirjani, Brynjar Magnusson
Statistical model checking of Timed Rebeca models. Comput. Lang. Syst. Struct. 45 (2016)
Ehsan Khamespanah, Marjan Sirjani, Zeynab Sabahi-Kaviani, Ramtin Khosravi, Mohammad-Javad Izadi
Timed Rebeca schedulability and deadlock freedom analysis using bounded floating time transition system. Sci. Comput. Program. 98 (2015)
Ehsan Khamespanah, Marjan Sirjani, Mohammad Reza Mousavi, Zeynab Sabahi-Kaviani, Mohamadreza Razzazi
State Distribution Policy for Distributed Model Checking of Actor Models. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 72 (2015)
Ehsan Khamespanah, Marjan Sirjani, Mahesh Viswanathan, Ramtin Khosravi
Floating Time Transition System: More Efficient Analysis of Timed Actors. FACS (2015)
Zeynab Sabahi-Kaviani, Ramtin Khosravi, Peter Csaba Ölveczky, Ehsan Khamespanah, Marjan Sirjani
Formal semantics and efficient analysis of Timed Rebeca in Real-Time Maude. Sci. Comput. Program. 113 (2015)
Arvin Zakeriyan, Ehsan Khamespanah, Marjan Sirjani, Ramtin Khosravi
Jacco: more efficient model checking toolset for Java actor programs. AGERE!@SPLASH (2015)
Ali Jafari, Ehsan Khamespanah, Marjan Sirjani, Holger Hermanns
Performance Analysis of Distributed and Asynchronous Systems using Probabilistic Timed Actors. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 70 (2014)
Brynjar Magnusson, Ehsan Khamespanah, Ramtin Khosravi, Marjan Sirjani
Event-Based Analysis of Timed Rebeca Models using SQL. AGERE!@SPLASH (2014)
Ehsan Khamespanah, Ramtin Khosravi, Marjan Sirjani
Efficient TCTL Model Checking Algorithm for Timed Actors. AGERE!@SPLASH (2014)
Haukur Kristinsson, Ali Jafari, Ehsan Khamespanah, Brynjar Magnusson, Marjan Sirjani
Analysing timed Rebeca using McErlang. AGERE!@SPLASH (2013)
Zeynab Sabahi-Kaviani, Ramtin Khosravi, Marjan Sirjani, Peter Csaba Ölveczky, Ehsan Khamespanah
Formal Semantics and Analysis of Timed Rebeca in Real-Time Maude. FTSCS (2013)
Ehsan Khamespanah, Zeynab Sabahi-Kaviani, Ramtin Khosravi, Marjan Sirjani, Mohammad-Javad Izadi
Timed-rebeca schedulability and deadlock-freedom analysis using floating-time transition system. AGERE!@SPLASH (2012)
Mohammad Mahdi Jaghoori, Marjan Sirjani, Mohammad Reza Mousavi, Ehsan Khamespanah, Ali Movaghar
Symmetry and partial order reduction techniques in model checking Rebeca. Acta Informatica 47 (1) (2010)
Niloofar Razavi, Razieh Behjati, Hamideh Sabouri, Ehsan Khamespanah, Amin Shali, Marjan Sirjani
Sysfier: Actor-based formal verification of SystemC. ACM Trans. Embed. Comput. Syst. 10 (2) (2010)