5 citations · 10 across the 16 of their papers we have counts for
6 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…
Almost Fair Simulations
Arthur Correnson, Iona Kuhn, Bernd Finkbeiner
It is well known that liveness properties cannot be proven using standard simulation arguments. This issue has been mitigated by extending standard notions of simulation for transi…
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…