Ehsan Khamespanah

发表

VeriVANca framework: verification of VANETs by property-based message passing of actors in Rebeca with inheritance

Mohammed Gharib, Ali Movaghar-Rahimabadi, Farnaz Yousefi, 2020, International Journal on Software Tools for Technology Transfer.

Symmetry and partial order reduction techniques in model checking Rebeca

Mohammad Mahdi Jaghoori, Ali Movaghar-Rahimabadi, Mohammad Reza Mousavi, 2010, Acta Informatica.

PTRebeca: Modeling and analysis of distributed and asynchronous systems

Holger Hermanns, Ehsan Khamespanah, Marjan Sirjani, 2016, Sci. Comput. Program..

Event-Based Analysis of Timed Rebeca Models using SQL

Ehsan Khamespanah, Marjan Sirjani, Ramtin Khosravi, 2014, AGERE!@SPLASH.

Specification and Verification of Timing Properties in Interoperable Medical Systems pdf

Fatemeh Ghassemi, Ehsan Khamespanah, John Hatcliff, 2020, ArXiv.

A Survey of Active Object Languages

Frank S. de Boer, Reiner Hähnle, Justine Rochas, 2017, ACM Comput. Surv..

Developing Safe Smart Contracts

Ehsan Khamespanah, Marjan Sirjani, Siamak Mohammadi, 2020, 2020 IEEE 44th Annual Computers, Software, and Applications Conference (COMPSAC).

Runtime compositional analysis of track-based traffic control systems

Edward A. Lee, Ali Movaghar-Rahimabadi, Ehsan Khamespanah, 2017, SIGBED.

Statistical model checking of Timed Rebeca models

Ehsan Khamespanah, Marjan Sirjani, Ali Jafari, 2016, Comput. Lang. Syst. Struct..

Improving the Performance of Actor-Based Programs Using a New Actor to Thread Association Technique

Ehsan Khamespanah, Ramtin Khosravi, Fahimeh Rahemi, 2018, DAIS.

State Distribution Policy for Distributed Model Checking of Actor Models

Mohammad Reza Mousavi, Ehsan Khamespanah, Marjan Sirjani, 2015, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

A Compositional Approach for Reliable Adaptation of Track-based Traffic Control Systems at Runtime pdf

Ali Movaghar-Rahimabadi, Ehsan Khamespanah, Marjan Sirjani, 2019, ArXiv.

An Actor-Based Design Platform for System of Systems

Ehsan Khamespanah, Marjan Sirjani, Ali Jafari, 2019, 2019 IEEE 43rd Annual Computer Software and Applications Conference (COMPSAC).

Model Checking Software in Cyberphysical Systems

Edward A. Lee, Ehsan Khamespanah, Marjan Sirjani, 2020, 2020 IEEE 44th Annual Computers, Software, and Applications Conference (COMPSAC).

On Time Actors

Ehsan Khamespanah, Marjan Sirjani, M. Sirjani, 2016, Theory and Practice of Formal Methods.

Using Reo Formalism for Compliance Checking of Architecture Evolution with Evolutionary Rules

Ehsan Khamespanah, Mohammad Izadi, Zainab Liaghat, 2019, SoMeT.

Safe Design of Flow Management Systems Using Rebeca

Ehsan Khamespanah, Giorgio Forcina, Ali Sedaghatbaf, 2020, J. Inf. Process..

Schedulability Analysis of Distributed Real-Time Sensor Network Applications Using Actor-Based Model Checking

Ehsan Khamespanah, Marjan Sirjani, Gul A. Agha, 2016, SPIN.

Decentralized Runtime Verification for LTL Properties Using Global Clock pdf

Ehsan Khamespanah, Fathiyeh Faghih, M. Ali Dorosty, 2019, ArXiv.

Formal semantics and efficient analysis of Timed Rebeca in Real-Time Maude

Peter Csaba Ölveczky, Ehsan Khamespanah, Marjan Sirjani, 2015, Sci. Comput. Program..

A compositional approach for modeling and timing analysis of wireless sensor and actuator networks

Ehsan Khamespanah, Marjan Sirjani, Gul A. Agha, 2017, SIGBED.

Reactive Actors: Isolation for Efficient Analysis of Distributed Systems

Ehsan Khamespanah, Marjan Sirjani, Fatemeh Ghassemi, 2019, 2019 IEEE/ACM 23rd International Symposium on Distributed Simulation and Real Time Applications (DS-RT).

Jacco: more efficient model checking toolset for Java actor programs

Ehsan Khamespanah, Marjan Sirjani, Ramtin Khosravi, 2015, AGERE!@SPLASH.

Towards Formal Analysis of Vehicle Platoons Using Actor Model

Ehsan Khamespanah, Marjan Sirjani, Zeinab Sharifi, 2020, 2020 25th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA).

Timed-rebeca schedulability and deadlock-freedom analysis using floating-time transition system

Ehsan Khamespanah, Marjan Sirjani, Zeynab Sabahi-Kaviani, 2012, AGERE! 2012.

LeeTL: LTL with quantifications over model objects

Ehsan Khamespanah, Ramtin Khosravi, Pouria Mellati, 2017, SPIN.

An efficient TCTL model checking algorithm and a reduction technique for verification of timed actor models

Ehsan Khamespanah, Marjan Sirjani, Ramtin Khosravi, 2018, Sci. Comput. Program..

Sysfier: Actor-based formal verification of SystemC

Ehsan Khamespanah, Marjan Sirjani, Niloofar Razavi, 2010, TECS.

Modeling, verification, and analysis of timed actor-based models

Ehsan Khamespanah, Ehsan Khamespanah, 2018 .

Formal Semantics and Analysis of Timed Rebeca in Real-Time Maude

Peter Csaba Ölveczky, Ehsan Khamespanah, Marjan Sirjani, 2013, FTSCS.

Magnifier: A Compositional Analysis Approach for Autonomous Traffic Control

Christel Baier, Ehsan Khamespanah, Ali Movaghar, 2020, IEEE Transactions on Software Engineering.

VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs pdf

Mohammed Gharib, Ali Movaghar-Rahimabadi, Farnaz Yousefi, 2019, SPIN.

Towards an Actor-based Approach to Design Verified ROS-based Robotic Programs using Rebeca

Ehsan Khamespanah, Saeid Dehnavi, Mehdi Kargahi, 2019 .

Coordinated actor model of self-adaptive track-based traffic control systems

Edward A. Lee, Ali Movaghar-Rahimabadi, Ehsan Khamespanah, 2018, J. Syst. Softw..

Finite Interval-Time Transition System for Real-Time Actors

Ehsan Khamespanah, Ramtin Khosravi, Shaghayegh Tavassoli, 2020, TTCS.

Performance Analysis of Distributed and Asynchronous Systems using Probabilistic Timed Actors

Holger Hermanns, Ehsan Khamespanah, Marjan Sirjani, 2014 .

Efficient TCTL Model Checking Algorithm for Timed Actors

Ehsan Khamespanah, Marjan Sirjani, Ramtin Khosravi, 2014, AGERE!@SPLASH.

Floating Time Transition System: More Efficient Analysis of Timed Actors

Ehsan Khamespanah, Marjan Sirjani, Ramtin Khosravi, 2015, FACS.

Coordinated Actors for Reliable Self-adaptive Systems

Edward A. Lee, Ali Movaghar-Rahimabadi, Ehsan Khamespanah, 2016, FACS.

Modeling and analyzing real-time wireless sensor and actuator networks using actors and model checking

Ehsan Khamespanah, Marjan Sirjani, Gul A. Agha, 2018, International Journal on Software Tools for Technology Transfer.

Semi-distributed LTL model checking for actor based modeling languages

Ehsan Khamespanah, Mohamadreza Razzazi, Ehsan Khamespanah, 2009, SoftCOM 2009 - 17th International Conference on Software, Telecommunications & Computer Networks.

Analysing timed Rebeca using McErlang

Ehsan Khamespanah, Marjan Sirjani, Ali Jafari, 2013, AGERE! 2013.

Verification of Cyberphysical Systems

Edward A. Lee, Ehsan Khamespanah, Marjan Sirjani, 2020 .

Timed Rebeca schedulability and deadlock freedom analysis using bounded floating time transition system

Ehsan Khamespanah, Marjan Sirjani, Zeynab Sabahi-Kaviani, 2015, Sci. Comput. Program..

Towards Automatic Test Case Generation for Industrial Software Systems Based on Functional Specifications

Ehsan Khamespanah, Ramtin Khosravi, Arvin Zakeriyan, 2021, FSEN.

Magnifier: A Compositional Analysis Approach for Autonomous Traffic Control

Ehsan Khamespanah, Marjan Sirjani, Ali Movaghar, 2021, IEEE Transactions on Software Engineering.