7 citations · 15 across the 6 of their papers we have counts for
4 papers · 1 filter
Proceedings of the Second Workshop on Verification of Objects at RunTime EXecution
Davide Ancona, Gordon Pace
This volume contains the post-proceedings of the second Workshop on Verification of Objects at RunTime EXecution (VORTEX 2018) that was held in Amsterdam, co-located with the Europ…
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…
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…