4 citations · 5 across the 9 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2026
Type-safe Monitoring of Parameterized Streams
Jan Baumeister, Bernd Finkbeiner, Florian Kohn
Stream-based monitoring is a real-time safety assurance mechanism for complex cyber-physical systems such as unmanned aerial vehicles. The monitor aggregates streams of input data…
cs.SE2024★ 1 cited
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.…