4 citations · 5 across the 9 of their papers we have counts for
3 papers · 2 filters
Stream-based Online and Offline Monitoring under Measurement Noise
Bernd Finkbeiner, Martin Fränzle, Florian Kohn +1
Stream-based monitoring is a runtime verification approach for cyber-physical systems that translates streams of input data, such as sensor readings, into streams of aggregate stat…
Pacing Types for Asynchronous Stream Equations
Florian Kohn, Arthur Correnson, Jan Baumeister +1
Stream-based monitoring is a runtime verification approach where a monitor aggregates streams of input data from sensors and other sources to give real-time statistics and assessme…
Cutting Corners on Uncertainty: Zonotope Abstractions for Stream-based Runtime Monitoring
Bernd Finkbeiner, Martin Fränzle, Florian Kohn +1
Stream-based monitoring assesses the health of safety-critical systems by transforming input streams of sensor measurements into output streams that determine a verdict. These inpu…