73 citations · 73 across the 5 of their papers we have counts for
1 paper · 1 filter
Andrea Brunello, Luca Geatti, Angelo Montanari +1
In runtime verification, monitoring consists of analyzing the current execution of a system and determining, on the basis of the observed finite trace, whether all its possible con…