40 citations · 43 across the 6 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
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.SE2011★ 40 cited
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…