137 citations · 510 across the 88 of their papers we have counts for
1 paper · 2 filters
Ezio Bartocci, Radu Grosu
We discuss the problem of runtime verification of an instrumented program that misses to emit and to monitor some events. These gaps can occur when a monitoring overhead control me…