PhD Student
International Journal on Software Tools for Technology Transfer Stream-based Online and Offline Monitoring under Measurement Noise
Precision in the Presence of Uncertainty: SMT-Based Runtime Validation of CPS
Precision in the Presence of Uncertainty: SMT-Based Runtime Validation of CPS
CoRR Cutting Corners on Uncertainty: Zonotope Abstractions for Stream-based Runtime Monitoring
Formal Methods (FM) Pacing Types for Asynchronous Stream Equations
International Conference on Runtime Verification (RV) A ROS Adapter for RTLola
Formal Methods (FM) A Tutorial on Stream-Based Monitoring
International Conference on Runtime Verification (RV) Stream-Based Monitoring Under Measurement Noise
Computer Aided Verification (CAV) Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-Learned
AIAA SciTech Forum / AIAA Aerospace Sciences Meeting (AIAA) Certification Aspects of Runtime Assurance for Urban Air Mobility