Scholar
Frederik Scheerer
Google Scholar ID: 58vxR7UAAAAJ
CISPA Helmholtz Center for Information Security
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
12
H-index
2
i10-index
0
Publications
5
Co-authors
0
Publications
7 items
Extending RTLola with External Data Queries
2026
Cited
0
Two Ways to See the Future: Combining Prediction and Future-Offset Accesses in RTLola
2026
Cited
0
Differentially Private Runtime Monitoring
2026
Cited
0
Active Monitoring with RTLola: A Specification-Guided Scheduling Approach
2025
Cited
0
An Intermediate Program Representation for Optimizing Stream-Based Languages
2025
Cited
0
Stream-Based Monitoring of Algorithmic Fairness
2025
Cited
0
Formal Methods - 26th International Symposium, FM 2024, Milan, Italy, September 9-13, 2024, Proceedings, Part II
World Congress on Formal Methods · 2025
Cited
0
