137 citations · 510 across the 88 of their papers we have counts for
1 paper · 2 filters
Stefan Jaksic, Ezio Bartocci, Radu Grosu +1
Runtime verification (RV) is a pragmatic and scalable, yet rigorous technique, to assess the correctness of complex systems, including cyber-physical systems (CPS). By measuring ho…