Florian Kohn

According to our database, Florian Kohn authored at least 3 papers between 2022 and 2023.

Collaborative distances:

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

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