3 citations · 3 across the 6 of their papers we have counts for
6 papers
Timed Actors and Their Formal Verification
Marjan Sirjani, Ehsan Khamespanah
In this paper we review the actor-based language, Timed Rebeca, with a focus on its formal semantics and formal verification techniques. Timed Rebeca can be used to model systems c…
Schedulability Analysis of WSAN Applications: Outperformance of A Model Checking Approach
Ehsan Khamespanah, Morteza Mohaqeqi, Mohammad Ashjaei +1
Wireless sensor and actuator networks (WSAN) are real-time systems which demand high degrees of reliability requirements. To ensure this level of reliability, different analysis ap…
Specification and Verification of Timing Properties in Interoperable Medical Systems
Mahsa Zarneshan, Fatemeh Ghassemi, Ehsan Khamespanah +2
To support the dynamic composition of various devices/apps into a medical system at point-of-care, a set of communication patterns to describe the communication needs of devices ha…
Decentralized Runtime Verification for LTL Properties Using Global Clock
M. Ali Dorosty, Fathiyeh Faghih, Ehsan Khamespanah
Runtime verification is the process of verifying critical behavioral properties in big complex systems, where formal verification is not possible due to state space explosion. Ther…
Magnifier: A Compositional Analysis Approach for Autonomous Traffic Control
Maryam Bagheri, Marjan Sirjani, Ehsan Khamespanah +2
Autonomous traffic control systems are large-scale systems with critical goals. Due to the dynamic nature of the surrounding world of these systems, assuring the satisfaction of th…
VeriVANca: An Actor-Based Framework for Formal Verification of Warning Message Dissemination Schemes in VANETs
Farnaz Yousefi, Ehsan Khamespanah, Mohammed Gharib +2
One of the applications of vehicular ad-hoc networks is warning message dissemination among vehicles in dangerous situations to prevent more damage. The only communication mechanis…