PhD Student
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