7 citations · 14 across the 5 of their papers we have counts for
6 papers
Control-Flow Residual Analysis for Symbolic Automata
Shaun Azzopardi, Christian Colombo, Gordon J. Pace
Where full static analysis of systems fails to scale up due to system size, dynamic monitoring has been increasingly used to ensure system correctness. The downside is, however, ru…
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…
Device-Centric Monitoring for Mobile Device Management
Luke Chircop, Christian Colombo, Gordon J. Pace
The ubiquity of computing devices has led to an increased need to ensure not only that the applications deployed on them are correct with respect to their specifications, but also…
Extensible Technology-Agnostic Runtime Verification
Christian Colombo, Adrian Francalanza, Ruth Mizzi +1
With numerous specialised technologies available to industry, it has become increasingly frequent for computer systems to be composed of heterogeneous components built over, and us…
Contracts for Interacting Two-Party Systems
Gordon J. Pace, Fernando Schapachnik
This article deals with the interrelation of deontic operators in contracts -- an aspect often neglected when considering only one of the involved parties. On top of an automata-ba…
Proceedings Sixth Workshop on Formal Languages and Analysis of Contract-Oriented Software
Gordon J. Pace, Anders P. Ravn
The ability to negotiate contracts for a wide range of aspects and to provide services conforming to them is a most pressing need in service-oriented architectures. High-level mode…