Frederik Scheerer

International Conference on Runtime Verification (RV) Two Ways to See the Future: Combining Prediction and Future-Offset Accesses in RTLola

International Conference on Runtime Verification (RV) Extending RTLola with External Data Queries

Computer Aided Verification (CAV) Differentially Private Runtime Monitoring

International Conference on Runtime Verification (RV) FairMon: A Tool for Monitoring and Visualizing Algorithmic Fairness

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