Florian Kohn

CoRR Cutting Corners on Uncertainty: Zonotope Abstractions for Stream-based Runtime Monitoring

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

International Symposium on Automated Technology for Verification and Analysis (ATVA)
Leveraging Static Analysis: An IDE for RTLola

International Symposium on Automated Technology for Verification and Analysis (ATVA)
Reactive Synthesis of Smart Contract Control Flows.

Algorithms