40 citations · 43 across the 6 of their papers we have counts for
8 papers
Hybrid Rebeca Revisited
Fatemeh Ghassemi, Saeed Zhiany, Nesa Abbasimoghadam +5
Hybrid Rebeca is a modeling framework for asynchronous event-based cyber-physical systems (CPSs). In this work, we extend Hybrid Rebeca to allow the modeling of non-deterministic t…
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…
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…
Modelling and Simulation of Asynchronous Real-Time Systems using Timed Rebeca
Luca Aceto, Matteo Cimini, Anna Ingolfsdottir +3
In this paper we propose an extension of the Rebeca language that can be used to model distributed and asynchronous systems with timing constraints. We provide the formal semantics…