A Compositional Framework for Quantitative Online Monitoring over Continuous-Time Signals

von Mamouras, Konstantinos
Veröffentlicht in RV (21. : 2021 : Online) Runtime Verification (2021)

Algebraic Quantitative Semantics for Efficient Online Temporal Monitoring

von Mamouras, Konstantinos
Veröffentlicht in TACAS (27. : 2021 : Online) Tools and algorithms for the construction and analysis of systems ; Part 1 (2021)