Showing cs.NIShow all
2 papers · 1 filter
cs.NI2022
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…
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…