Frederik Scheerer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
4
Active years
2024–2026
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | Differentially Private Runtime Monitoring. | Bernd Finkbeiner, Frederik Scheerer |
| 2025 | CAV | An Intermediate Program Representation for Optimizing Stream-Based Languages. | Jan Baumeister, Arthur Correnson, Bernd Finkbeiner, Frederik Scheerer |
| 2025 | RV | Active Monitoring with RTLola: A Specification-Guided Scheduling Approach. | Jan Baumeister, Bernd Finkbeiner, Frederik Scheerer |
| 2025 | TACAS | Stream-Based Monitoring of Algorithmic Fairness. | Jan Baumeister, Bernd Finkbeiner, Frederik Scheerer, Julian Siber, Tobias Wagenpfeil |
| 2024 | FM | A Tutorial on Stream-Based Monitoring. | Jan Baumeister, Bernd Finkbeiner, Florian Kohn, Frederik Scheerer |