57 citations · 234 across the 31 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2024
Runtime Instrumentation for Reactive Components (Extended Version)
Luca Aceto, Duncan Paul Attard, Adrian Francalanza +1
Reactive software calls for instrumentation methods that uphold the reactive attributes of systems. Runtime verification imposes another demand on the instrumentation, namely that…
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…