Frederik Scheerer
Contact
Frederik Scheerer
Reactive Systems Group
CISPA Helmholtz Center for Information Security
eMail: frederik.scheerer at cispa.de
Phone: +49 681 87083 2963
Building: E 9.1 Room: 1.11
About me
I am a Ph.D. student at Saarland University working at the CISPA Helmholtz Center for Information Security.
Publications
| [BCFS25] | An Intermediate Program Representation for Optimizing Stream-Based Languages With Jan Baumeister, Arthur Correnson, and Bernd Finkbeiner 37th International Conference on Computer Aided Verification (CAV 2025). |
| [BFSSW25] | Stream-Based Monitoring of Algorithmic Fairness. With Jan Baumeister, Bernd Finkbeiner, Julian Siber, and Tobias Wagenpfeil. TACAS Distinguished Artifact Award. 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2025). |
| [BFKS24] | A Tutorial on Stream-Based Monitoring With Jan Baumeister, Bernd Finkbeiner and Florian Kohn 26th International Symposium on Formal Methods (FM 2024). |
Theses
| From Passive to Active Monitoring: A Scheduling Approach for Monitoring with RTLola | Master Thesis, Saarland University, 2024 |
| Monitoring Smart Contracts with RTLola | Bachelor Thesis, Saarland University, 2021 |