Florian Kohn

According to our database, Florian Kohn authored at least 10 papers between 2022 and 2026.

Collaborative distances:

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

2026

Type-safe Monitoring of Parameterized Streams.

Jan Baumeister, Bernd Finkbeiner, Florian Kohn

CoRR, March, 2026

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

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

CoRR, January, 2026

2025

Pacing Types: Safe Monitoring of Asynchronous Streams.

Florian Kohn, Arthur Correnson, Jan Baumeister, Bernd Finkbeiner

CoRR, September, 2025

A ROS Adapter for RTLola.

Jan Baumeister, Bernd Finkbeiner, Franz Jünger, Florian Kohn, Sebastian Schirmer, Christoph Torens

Proceedings of the Runtime Verification - 25th International Conference, 2025

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