Real-Time Visualization of Stream-Based Monitoring Data

von Baumeister, Jan
Veröffentlicht in RV (22. : 2022 : Tiflis; Online) Runtime verification (2022)

RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft

von Baumeister, Jan
Veröffentlicht in CAV (32. : 2020 : Online) Computer aided verification ; Part 2 (2020)

A Temporal Logic for Asynchronous Hyperproperties

von Baumeister, Jan
Veröffentlicht in CAV (33. : 2021 : Online) Computer aided verification ; Part 1 (2021)

A Hierarchy of Monitoring Properties for Autonomous Systems

von Schirmer, Sebastian
Veröffentlicht in AIAA SciTech Forum (2023 : National Harbor, Md.; Online) Software (2023)