7 papers
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…
Differentially Private Runtime Monitoring
Bernd Finkbeiner, Frederik Scheerer
Modern stream-based monitors collect detailed statistics of the runtime behavior of the system under observation. If the system runs in a privacy-sensitive context, this poses the…
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…
Stream-Based Monitoring of Algorithmic Fairness
Jan Baumeister, Bernd Finkbeiner, Frederik Scheerer +2
Automatic decision and prediction systems are increasingly deployed in applications where they significantly impact the livelihood of people, such as for predicting the creditworth…