Florian Kohn

14 papers B 3Journal 8Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
Cutting Corners on Uncertainty: Zonotope Abstractions for Stream-based Runtime Monitoring.
CoRR
Bernd Finkbeiner, Martin Fränzle, Florian Kohn, Paul Kröger
2026 J jnl
Type-safe Monitoring of Parameterized Streams.
CoRR
Jan Baumeister, Bernd Finkbeiner, Florian Kohn
2025 B conf
A ROS Adapter for RTLola.
RV
Jan Baumeister, Bernd Finkbeiner, Franz Jünger, Florian Kohn, Sebastian Schirmer, Christoph Torens
2025 J jnl
A Tutorial on Stream-based Monitoring.
CoRR
Jan Baumeister, Bernd Finkbeiner, Florian Kohn, Frederik Scheerer
2025 J jnl
Pacing Types: Safe Monitoring of Asynchronous Streams.
CoRR
Florian Kohn, Arthur Correnson, Jan Baumeister, Bernd Finkbeiner
2024 — conf
A Tutorial on Stream-Based Monitoring.
FM (2)
Jan Baumeister, Bernd Finkbeiner, Florian Kohn, Frederik Scheerer
2024 — conf
Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-Learned.
CAV (2)
Jan Baumeister, Bernd Finkbeiner, Florian Kohn, Florian Löhr, Guido Manfredi, Sebastian Schirmer, Christoph Torens
2024 J jnl
Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-learned.
CoRR
Jan Baumeister, Bernd Finkbeiner, Florian Kohn, Florian Löhr, Guido Manfredi, Sebastian Schirmer, Christoph Torens
2024 B conf
Stream-Based Monitoring Under Measurement Noise.
RV
Bernd Finkbeiner, Martin Fränzle, Florian Kohn, Paul Kröger
2023 B conf
Leveraging Static Analysis: An IDE for RTLola.
ATVA
Bernd Finkbeiner, Florian Kohn, Malte Schledjewski
2023 J jnl
Leveraging Static Analysis: An IDE for RTLola.
CoRR
Bernd Finkbeiner, Florian Kohn, Malte Schledjewski
2023 — conf
Reactive Synthesis of Smart Contract Control Flows.
ATVA (1)
Bernd Finkbeiner, Jana Hofmann, Florian Kohn, Noemi Passing
2022 J jnl
A Truly Robust Signal Temporal Logic: Monitoring Safety Properties of Interacting Cyber-Physical Systems under Uncertain Observation.
Algorithms
Bernd Finkbeiner, Martin Fränzle, Florian Kohn, Paul Kröger
2022 J jnl
Reactive Synthesis of Smart Contract Control Flows.
CoRR
Bernd Finkbeiner, Jana Hofmann, Florian Kohn, Noemi Passing