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