1 citations · 1 across the 7 of their papers we have counts for
1 paper · 1 filter
Martin Ceresa, Felipe Gorostiaga, Cesar Sanchez
Stream Runtime Verification is a formal dynamic analysis technique that generalizes runtime verification algorithms from temporal logics like LTL to stream monitoring, allowing to…