2 papers
cs.PL2026
Behavioral Analysis of Timed Actors using Syntactic Slice Equivalence
Ali Ataollahi, Fatemeh Ghassemi, Eduard Kamburjan +1
Tiny twins are compact behavioral models derived from timed actor models for selected observable messages. When a source model evolves, regenerating its tiny twin requires state-sp…
cs.FL2024
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…