57 citations · 94 across the 5 of their papers we have counts for
5 papers
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…
Improving Runtime Overheads for detectEr
Ian Cassar, Adrian Francalanza, Simon Said
We design monitor optimisations for detectEr, a runtime-verification tool synthesising systems of concurrent monitors from correctness properties for Erlang programs. We implement…
On Synchronous and Asynchronous Monitor Instrumentation for Actor-based systems
Ian Cassar, Adrian Francalanza
We study the impact of synchronous and asynchronous monitoring instrumentation on runtime overheads in the context of a runtime verification framework for actor-based systems. We s…