Florian Kohn

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 7

Top Topics

Activity Monitoring

Future Directions

Static Analysis

Top Venues

Publications

Jan Baumeister, Bernd Finkbeiner, Florian Kohn, Florian Löhr, Guido Manfredi, Sebastian Schirmer, Christoph Torens
Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-Learned. CAV (2) (2024)
Jan Baumeister, Bernd Finkbeiner, Florian Kohn, Florian Löhr, Guido Manfredi, Sebastian Schirmer, Christoph Torens
Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-learned. CoRR (2024)
Bernd Finkbeiner, Jana Hofmann, Florian Kohn, Noemi Passing
Reactive Synthesis of Smart Contract Control Flows. ATVA (1) (2023)
Bernd Finkbeiner, Florian Kohn, Malte Schledjewski
Leveraging Static Analysis: An IDE for RTLola. ATVA (2023)
Bernd Finkbeiner, Florian Kohn, Malte Schledjewski
Leveraging Static Analysis: An IDE for RTLola. CoRR (2023)
Bernd Finkbeiner, Martin Fränzle, Florian Kohn, Paul Kröger
A Truly Robust Signal Temporal Logic: Monitoring Safety Properties of Interacting Cyber-Physical Systems under Uncertain Observation. Algorithms 15 (4) (2022)
Bernd Finkbeiner, Jana Hofmann, Florian Kohn, Noemi Passing
Reactive Synthesis of Smart Contract Control Flows. CoRR (2022)