57 citations · 125 across the 9 of their papers we have counts for
11 papers
An Operational Guide to Monitorability
Luca Aceto, Antonis Achilleos, Adrian Francalanza +2
Monitorability delineates what properties can be verified at runtime. Although many monitorability definitions exist, few are defined explicitly in terms of the guarantees provided…
Heaps Don't Lie: Countering Unsoundness with Heap Snapshots
Neville Grech, George Fourtounis, Adrian Francalanza +1
Static analyses aspire to explore all possible executions in order to achieve soundness. Yet, in practice, they fail to capture common dynamic behavior. Enhancing static analyses w…
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…
Proceedings Second International Workshop on Pre- and Post-Deployment Verification Techniques
Adrian Francalanza, Gordon J. Pace
This volume contains the proceedings of PrePost 2017 (the Second International Workshop on Pre- and Post-Deployment Verification Techniques), taking place on 19th September 2017 in…
Preliminary Results Towards Contract Monitorability
Annalizz Vella, Adrian Francalanza
This paper discusses preliminary investigations on the monitorability of contracts for web service descriptions. There are settings where servers do not guarantee statically whethe…