3 citations · 5 across the 6 of their papers we have counts for
3 papers · 1 filter
Synthesizing Update Schedules with Game-Based Extension of Bounded Model Checking
Janis Kröger, Paul Kröger, Martin Fränzle
Ensuring safe software updates in safety-critical systems without interrupting operation and without provisioning and activating cold spare hardware poses a fundamental challenge d…
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…
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…