FPGA Stream-Monitoring of Real-time Properties. - Jan Baumeister; Bernd Finkbeiner; Maximilian Schwenger; Hazem Torfah (ACM Trans. Embed. Comput. Syst., 2019)

RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft. - Jan Baumeister; Bernd Finkbeiner; Sebastian Schirmer; Maximilian Schwenger; Christoph Torens (CAV (2), 2020)

Automatic Optimizations for Stream-Based Monitoring Languages. - Jan Baumeister; Bernd Finkbeiner; Matthis Kruse; Maximilian Schwenger (RV, 2020)

A Temporal Logic for Asynchronous Hyperproperties. - Jan Baumeister; Norine Coenen; Borzoo Bonakdarpour; Bernd Finkbeiner; César Sánchez 001 (CAV (1), 2021)

Real-Time Visualization of Stream-Based Monitoring Data. - Jan Baumeister; Bernd Finkbeiner; Stefan Gumhold; Malte Schledjewski (RV, 2022)

Monitoring with verified guarantees. - Jan Baumeister; Johann C. Dauer; Bernd Finkbeiner; Sebastian Schirmer (Int. J. Softw. Tools Technol. Transf., 2023)

Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-Learned. - Jan Baumeister; Bernd Finkbeiner; Florian Kohn; Florian Löhr; Guido Manfredi; Sebastian Schirmer; Christoph Torens (CAV (2), 2024)

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

RTLolaMo3Vis - A Mobile and Modular Visualization Framework for Online Monitoring. - Jan Baumeister; Bernd Finkbeiner; Jan Kautenburger; Clara Rubeck (RV, 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)