Frederik Scheerer

According to our database, Frederik Scheerer authored at least 4 papers between 2024 and 2025.

Collaborative distances:

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

2025

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

Jan Baumeister, Bernd Finkbeiner, Frederik Scheerer

CoRR, July, 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

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