3 papers
cs.DC2019
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…
cs.SE2019
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…
cs.NI2019
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…