57 citations · 127 across the 8 of their papers we have counts for
8 papers
Bidirectional Runtime Enforcement of First-Order Branching-Time Properties
Luca Aceto, Ian Cassar, Adrian Francalanza +1
Runtime enforcement is a dynamic analysis technique that instruments a monitor with a system in order to ensure its correctness as specified by some property. This paper explores b…
On Runtime Enforcement via Suppressions
Luca Aceto, Ian Cassar, Adrian Francalanza +1
Runtime enforcement is a dynamic analysis technique that uses monitors to enforce the behaviour specified by some correctness property on an executing system. The enforceability of…
Developing Theoretical Foundations for Runtime Enforcement
Ian Cassar, Adrian Francalanza, Luca Aceto +1
The ubiquitous reliance on software systems increases the need for ensuring that systems behave correctly and are well protected against security risks. Runtime enforcement is a dy…
Towards Runtime Adaptation of Actor Systems
Ian Cassar
In this dissertation we focus on providing effective adaptations that can be localised and applied to specific concurrent actors, thereby only causing a temporary disruption to the…
Reliability and Fault-Tolerance by Choreographic Design
Ian Cassar, Adrian Francalanza, Claudio Antares Mezzina +1
Distributed programs are hard to get right because they are required to be open, scalable, long-running, and tolerant to faults. In particular, the recent approaches to distributed…
A Survey of Runtime Monitoring Instrumentation Techniques
Ian Cassar, Adrian Francalanza, Luca Aceto +1
Runtime Monitoring is a lightweight and dynamic verification technique that involves observing the internal operations of a software system and/or its interactions with other exter…