A temporal logic for asynchronous hyperproperties J Baumeister, N Coenen, B Bonakdarpour, B Finkbeiner, C Sánchez International Conference on Computer Aided Verification, 694-717, 2021 | 39 | 2021 |
RTLola cleared for take-off: monitoring autonomous aircraft J Baumeister, B Finkbeiner, S Schirmer, M Schwenger, C Torens Computer Aided Verification: 32nd International Conference, CAV 2020, Los …, 2020 | 34 | 2020 |
FPGA stream-monitoring of real-time properties J Baumeister, B Finkbeiner, M Schwenger, H Torfah ACM Transactions on Embedded Computing Systems (TECS) 18 (5s), 1-24, 2019 | 33 | 2019 |
Encodings of bounded synthesis for distributed systems JE Baumeister Bachelor’s thesis, Saarland University, 2017 | 7 | 2017 |
Automatic Optimizations for Stream-based Monitoring Languages J Baumeister, B Finkbeiner, M Kruse, M Schwenger International Conference on Runtime Verification, 451-461, 2020 | 5 | 2020 |
A Hierarchy of Monitoring Properties for Autonomous Systems S Schirmer, C Torens, JC Dauer, J Baumeister, B Finkbeiner, KY Rozier AIAA SCITECH 2023 Forum, 2588, 2023 | 4 | 2023 |
Real-time visualization of stream-based monitoring data J Baumeister, B Finkbeiner, S Gumhold, M Schledjewski International Conference on Runtime Verification, 325-335, 2022 | 4 | 2022 |
Monitoring with verified guarantees J Baumeister, JC Dauer, B Finkbeiner, S Schirmer International Journal on Software Tools for Technology Transfer, 1-24, 2023 | 1 | 2023 |
Tracing correctness: a practical approach to traceable runtime monitoring J Baumeister | 1 | 2020 |
On the Similarities of Aircraft and Humans: Monitoring CPS with StreamLAB J Baumeister, B Finkbeiner, M Schwenger, H Torfah CyberCardia@ ESWeek, 2019 | 1 | 2019 |
Automatic Optimizations for Runtime Verification Specifications JAN BAUMEISTER, B FINKBEINER, M KRUSE, S OSWALD, N PASSING, ... | | |