Florian Kohn

According to our database, Florian Kohn authored at least 6 papers between 2022 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Stream-Based Monitoring Under Measurement Noise.

Bernd Finkbeiner, Martin Fränzle, Florian Kohn, Paul Kröger

Proceedings of the Runtime Verification - 24th International Conference, 2024

A Tutorial on Stream-Based Monitoring.

Jan Baumeister, Bernd Finkbeiner, Florian Kohn, Frederik Scheerer

Proceedings of the Formal Methods - 26th International Symposium, 2024

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

Jan Baumeister, Bernd Finkbeiner, Florian Kohn, Florian Löhr, Guido Manfredi, Sebastian Schirmer, Christoph Torens

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

Leveraging Static Analysis: An IDE for RTLola.

Bernd Finkbeiner, Florian Kohn, Malte Schledjewski

Proceedings of the Automated Technology for Verification and Analysis, 2023

Reactive Synthesis of Smart Contract Control Flows.

Bernd Finkbeiner, Jana Hofmann, Florian Kohn, Noemi Passing

Proceedings of the Automated Technology for Verification and Analysis, 2023

2022

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

Bernd Finkbeiner, Martin Fränzle, Florian Kohn, Paul Kröger

Algorithms, 2022