40 citations · 43 across the 6 of their papers we have counts for
3 papers · 1 filter
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…
Hybrid Rebeca: Modeling and Analyzing of Cyber-Physical Systems
Iman Jahandideh, Fatemeh Ghassemi, Marjan Sirjani
In cyber-physical systems like automotive systems, there are components like sensors, actuators, and controllers that communicate asynchronously with each other. The computational…