5 citations · 11 across the 11 of their papers we have counts for
4 papers · 1 filter
FairMon: A Tool for Monitoring and Visualizing Algorithmic Fairness
Jan Baumeister, Bernd Finkbeiner, Vladimir Krsmanovic +3
Runtime monitoring has recently been proposed as a rigorous method for analyzing algorithmic fairness of autonomous decision systems used in critical scenarios such as credit lendi…
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…
Pacing Types for Asynchronous Stream Equations
Florian Kohn, Arthur Correnson, Jan Baumeister +1
Stream-based monitoring is a runtime verification approach where a monitor aggregates streams of input data from sensors and other sources to give real-time statistics and assessme…
Type-safe Monitoring of Parameterized Streams
Jan Baumeister, Bernd Finkbeiner, Florian Kohn
Stream-based monitoring is a real-time safety assurance mechanism for complex cyber-physical systems such as unmanned aerial vehicles. The monitor aggregates streams of input data…