57 citations · 127 across the 8 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.LO2018★ 19 cited
On Runtime Enforcement via Suppressions
Luca Aceto, Ian Cassar, Adrian Francalanza +1
Runtime enforcement is a dynamic analysis technique that uses monitors to enforce the behaviour specified by some correctness property on an executing system. The enforceability of…
cs.LO2018★ 6 cited
Developing Theoretical Foundations for Runtime Enforcement
Ian Cassar, Adrian Francalanza, Luca Aceto +1
The ubiquitous reliance on software systems increases the need for ensuring that systems behave correctly and are well protected against security risks. Runtime enforcement is a dy…