4 citations · 4 across the 4 of their papers we have counts for
3 papers · 1 filter
Active Monitoring with RTLola: A Specification-Guided Scheduling Approach
Jan Baumeister, Bernd Finkbeiner, Frederik Scheerer
Stream-based monitoring is a well-established runtime verification approach which relates input streams, representing sensor readings from the monitored system, with output streams…
An Intermediate Program Representation for Optimizing Stream-Based Languages
Jan Baumeister, Arthur Correnson, Bernd Finkbeiner +1
Stream-based runtime monitors are safety assurance tools that check at runtime whether the system's behavior satisfies a formal specification. Specifications consist of stream equa…
A Tutorial on Stream-based Monitoring
Jan Baumeister, Bernd Finkbeiner, Florian Kohn +1
Stream-based runtime monitoring frameworks are safety assurance tools that check the runtime behavior of a system against a formal specification. This tutorial provides a hands-on…