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)

Reactive Synthesis of Smart Contract Control Flows. - Bernd Finkbeiner; Jana Hofmann; Florian Kohn; Noemi Passing (ATVA (1), 2023)

Leveraging Static Analysis: An IDE for RTLola. - Bernd Finkbeiner; Florian Kohn; Malte Schledjewski (ATVA, 2023)

Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-Learned. - Jan Baumeister; Bernd Finkbeiner; Florian Kohn; Florian Löhr; Guido Manfredi; Sebastian Schirmer; Christoph Torens (CAV (2), 2024)

A Tutorial on Stream-Based Monitoring. - Jan Baumeister; Bernd Finkbeiner; Florian Kohn; Frederik Scheerer (FM (2), 2024)

Stream-Based Monitoring Under Measurement Noise. - Bernd Finkbeiner; Martin Fränzle; Florian Kohn; Paul Kröger (RV, 2024)