Florian Kohn
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
4
Active years
2023–2026
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FM | Pacing Types for Asynchronous Stream Equations. | Florian Kohn, Arthur Correnson, Jan Baumeister, Bernd Finkbeiner |
| 2025 | RV | A ROS Adapter for RTLola. | Jan Baumeister, Bernd Finkbeiner, Franz Jnger, Florian Kohn, Sebastian Schirmer, Christoph Torens |
| 2024 | CAV | Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-Learned. | Jan Baumeister, Bernd Finkbeiner, Florian Kohn, Florian Lhr, Guido Manfredi, Sebastian Schirmer, Christoph Torens |
| 2024 | FM | A Tutorial on Stream-Based Monitoring. | Jan Baumeister, Bernd Finkbeiner, Florian Kohn, Frederik Scheerer |
| 2024 | RV | Stream-Based Monitoring Under Measurement Noise. | Bernd Finkbeiner, Martin Frnzle, Florian Kohn, Paul Krger |
| 2023 | ATVA | Reactive Synthesis of Smart Contract Control Flows. | Bernd Finkbeiner, Jana Hofmann, Florian Kohn, Noemi Passing |
| 2023 | ATVA | Leveraging Static Analysis: An IDE for RTLola. | Bernd Finkbeiner, Florian Kohn, Malte Schledjewski |