A Tutorial on Stream-Based Monitoring. - Jan Baumeister; Bernd Finkbeiner; Florian Kohn; Frederik Scheerer (FM (2), 2024)

An Intermediate Program Representation for Optimizing Stream-Based Languages. - Jan Baumeister; Arthur Correnson; Bernd Finkbeiner; Frederik Scheerer (CAV (3), 2025)

Stream-Based Monitoring of Algorithmic Fairness. - Jan Baumeister; Bernd Finkbeiner; Frederik Scheerer; Julian Siber; Tobias Wagenpfeil (TACAS (1), 2025)

Active Monitoring with RTLola: A Specification-Guided Scheduling Approach. - Jan Baumeister; Bernd Finkbeiner; Frederik Scheerer (CoRR, 2025)