Doktorand:in
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)
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