Frederik Scheerer

According to our database, Frederik Scheerer authored at least 6 papers between 2024 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Differentially Private Runtime Monitoring.

Bernd Finkbeiner, Frederik Scheerer

CoRR, May, 2026

Stream-based monitoring with RTLola.

Jan Baumeister, Bernd Finkbeiner, Florian Kohn, Frederik Scheerer

Sci. Comput. Program., 2026

2025

Stream-Based Monitoring of Algorithmic Fairness.

Jan Baumeister, Bernd Finkbeiner, Frederik Scheerer, Julian Siber, Tobias Wagenpfeil

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2025

Active Monitoring with RTLola: A Specification-Guided Scheduling Approach.

Jan Baumeister, Bernd Finkbeiner, Frederik Scheerer

Proceedings of the Runtime Verification - 25th International Conference, 2025

An Intermediate Program Representation for Optimizing Stream-Based Languages.

Jan Baumeister, Arthur Correnson, Bernd Finkbeiner, Frederik Scheerer

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

2024

A Tutorial on Stream-Based Monitoring.

Jan Baumeister, Bernd Finkbeiner, Florian Kohn, Frederik Scheerer

Proceedings of the Formal Methods - 26th International Symposium, 2024