57 citations · 127 across the 8 of their papers we have counts for
1 paper · 2 filters
Luca Aceto, Ian Cassar, Adrian Francalanza +1
Runtime enforcement is a dynamic analysis technique that instruments a monitor with a system in order to ensure its correctness as specified by some property. This paper explores b…