Send email Copy Email Address
PhD Student

Florian Kohn

Email

Address

Stuhlsatzenhaus 5
66123 Saarbrücken (Germany)

Publications by Florian Kohn

Year 2025

2025-09-15

A ROS Adapter for RTLola

Conference / Medium

International Conference on Runtime Verification (RV)

Tags
Authors
Full Paper Visit Detail Page
2025-01-27

A Tutorial on Stream-Based Monitoring

Conference / Medium

Formal Methods (FM)

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page

Year 2024

2024-10-12

Stream-Based Monitoring Under Measurement Noise

Conference / Medium

International Conference on Runtime Verification (RV)

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page
2024-07-25

Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-Learned

Conference / Medium

Computer Aided Verification (CAV)

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page
2024-01-08

Certification Aspects of Runtime Assurance for Urban Air Mobility

Conference / Medium

AIAA SciTech Forum / AIAA Aerospace Sciences Meeting (AIAA)

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page

Year 2023

2023-10-19

Leveraging Static Analysis: An IDE for RTLola

Conference / Medium

International Symposium on Automated Technology for Verification and Analysis (ATVA)

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page
2023-10-15

Reactive Synthesis of Smart Contract Control Flows.

Conference / Medium

International Symposium on Automated Technology for Verification and Analysis (ATVA)

Tags
Reliable Security Guarantees
Authors
Full Paper Visit Detail Page

Year 2022

2022-04-11

A Truly Robust Signal Temporal Logic: Monitoring Safety Properties of Interacting Cyber-Physical Systems under Uncertain Observation

Article

Algorithms

Tags
Threat Detection and Defenses
Authors
Full Paper Visit Detail Page