Frederik Scheerer

The 25th International Conference on Runtime Verification (RV)
Active Monitoring with RTLola: A Specification-Guided Scheduling Approach

Tools and Algorithms for Construction and Analysis of Systems (TACAS)

Tools and Algorithms for Construction and Analysis of Systems (TACAS)

Tools and Algorithms for Construction and Analysis of Systems (TACAS)
Stream-Based Monitoring of Algorithmic Fairness

Formal Methods (FM)
A Tutorial on Stream-Based Monitoring

Computer Aided Verification (CAV)
An Intermediate Program Representation for Optimizing Stream-Based Languages