1 citations · 1 across the 3 of their papers we have counts for
5 papers · 1 filter
Two Ways to See the Future: Combining Prediction and Future-Offset Accesses in RTLola
Jan Baumeister, Bernd Finkbeiner, Eduard Müller +2
RTLola is a stream-based specification language designed for asynchronous real-time systems. While many temporal specifications naturally refer to future behavior, RTLola currently…
Extending RTLola with External Data Queries
Bernd Finkbeiner, Jakob Hirschler, Frederik Scheerer +1
Stream-based monitoring enables the concise specification of complex temporal properties. However, existing stream-based monitors are limited when dealing with large external data…
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…