Florian Kohn

A profile picture of Florian Kohn

Contact

Reactive Systems Group
CISPA Helmholtz Center for Information Security
Building: E 9.1, Room: 1.11
Phone: +49 681 87083 2752
eMail: florian.kohn at cispa.de
Office Hours: Whenever the door is open

About Me

I am a Ph.D. student in the Reactive Systems Group at CISPA Helmholtz Center for Information Security and Saarland University and a member of the Graduate School of Computer Science.

I work on runtime verification with stream-based logic, focusing on the RTLola monitoring framework. My research combines runtime verification with measurement noise models to enhance monitor robustness in real-world environments.

Publications

[BFKS24] A Tutorial on Stream-Based Monitoring
With Jan Baumeister, Bernd Finkbeiner and Frederik Scheerer
26th International Symposium on Formal Methods (FM 2024).
[BFKLMST24] Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-Learned
With Jan Baumeister, Bernd Finkbeiner, Florian Löhr, Guido Manfredi, Sebastian Schirmer and Christoph Torens.
36th International Conference on Computer Aided Verification (CAV 2024).
[TNSDBKFML24] Certification Aspects of Runtime Assurance for Urban Air Mobility
With Christoph Torens, Pranav Nagarajan, Sebastian Schirmer, Johann Dauer, Jan Baumeister, Bernd Finkbeiner, Guido Manfredi and Florian Löhr
AIAA Science and Technology Forum and Exposition 2024 (SCITECH 2024).
[FKS23] Leveraging Static Analysis: An IDE for RTLola
With Bernd Finkbeiner and Malte Schledjewski.
21st International Symposium on Automated Technology for Verification and Analysis (ATVA 2023).
[FHKP23] Reactive Synthesis of Smart Contract Control Flows
With Bernd Finkbeiner, Jana Hofmann and Noemi Passing.
21st International Symposium on Automated Technology for Verification and Analysis (ATVA 2023).
[FFKK22] A Truly Robust Signal Temporal Logic: Monitoring Safety Properties of Interacting Cyber-Physical Systems under Uncertain Observation
With Bernd Finkbeiner, Martin Fränzle and Paul Kröger.
Algorithms 15.4 (2022) (MDPI).

Advised Theses

Malte Schledjewski Leveraging Static Analysis for the RTLola User Experience
Master’s Thesis, 2024
Oliver Alexander Welker Increasing Robustness of RTLola with Intervals
Bachelor’s Thesis, 2024
Clara Rubeck Eviction Strategies for Parameterized Streams in RTLola
Bachelor’s Thesis, 2023
Aumann22 Modularization of code in RTLola
Bachelor’s Thesis, 2022
Paul Eichler RTLola in the Cloud: Reliability for Cloud Applications using Runtime Verification
Bachelor’s Thesis, 2022

Teaching

Summer 2020 Organizer and Coach for Mathematics Precourse at Saarland University
Summer 2019 Student TA for Cryptography at CISPA
Summer 2019 Lecturer and Coach for Mathematics Precourse at Saarland University
Summer 2018 Lecturer and Coach for Mathematics Precourse at Saarland University
Winter 2017/2018 Student TA for Programming 1 at the Reactive Systems Group
which received the Busy Beaver award for outstanding teaching performance

Theses

A Stream-based Approach to Network Intrusion Detection Bachelor Thesis, Saarland University, 2019