57 citations · 127 across the 8 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.SE2015★ 5 cited
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…
cs.LO2015★ 23 cited
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…