PhD Student
Computer Aided Verification (CAV) Differentially Private Runtime Monitoring
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) Stream-Based Monitoring of Algorithmic Fairness
Tools and Algorithms for Construction and Analysis of Systems (TACAS)
Formal Methods (FM) A Tutorial on Stream-Based Monitoring
Computer Aided Verification (CAV) An Intermediate Program Representation for Optimizing Stream-Based Languages