1 citations · 1 across the 3 of their papers we have counts for
3 papers
Pacing Types: Safe Monitoring of Asynchronous Streams
Florian Kohn, Arthur Correnson, Jan Baumeister +1
Stream-based monitoring is a real-time safety assurance mechanism for complex cyber-physical systems such as unmanned aerial vehicles. In this context, a monitor aggregates streams…
Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-learned
Jan Baumeister, Bernd Finkbeiner, Florian Kohn +4
This paper reports on the integration of runtime monitoring into fully-electric aircraft designed by Volocopter, a German aircraft manufacturer of electric multi-rotor helicopters.…
Leveraging Static Analysis: An IDE for RTLola
Bernd Finkbeiner, Florian Kohn, Malte Schledjewski
Runtime monitoring is an essential part of guaranteeing the safety of cyber-physical systems. Recently, runtime monitoring frameworks based on formal specification languages gained…