Follow
Jan Baumeister
Jan Baumeister
CISPA Helmholtz Center for Information Security
Verified email at cispa.saarland - Homepage
Title
Cited by
Cited by
Year
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
412021
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
362020
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
332019
Encodings of bounded synthesis for distributed systems
JE Baumeister
Bachelor’s thesis, Saarland University, 2017
72017
Automatic Optimizations for Stream-based Monitoring Languages
J Baumeister, B Finkbeiner, M Kruse, M Schwenger
International Conference on Runtime Verification, 451-461, 2020
52020
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
42023
Real-time visualization of stream-based monitoring data
J Baumeister, B Finkbeiner, S Gumhold, M Schledjewski
International Conference on Runtime Verification, 325-335, 2022
42022
Monitoring with verified guarantees
J Baumeister, JC Dauer, B Finkbeiner, S Schirmer
International Journal on Software Tools for Technology Transfer 25 (4), 593-616, 2023
12023
Tracing correctness: a practical approach to traceable runtime monitoring
J Baumeister
12020
On the Similarities of Aircraft and Humans: Monitoring CPS with StreamLAB
J Baumeister, B Finkbeiner, M Schwenger, H Torfah
CyberCardia@ ESWeek, 2019
12019
Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-Learned
J Baumeister, B Finkbeiner, F Kohn, F Löhr, G Manfredi, S Schirmer, ...
International Conference on Computer Aided Verification, 207-218, 2024
2024
Certification Aspects of Runtime Assurance for Urban Air Mobility
C Torens, P Nagarajan, S Schirmer, J Dauer, JE Baumeister, F Kohn, ...
AIAA SCITECH 2024 Forum, 1464, 2024
2024
Automatic Optimizations for Runtime Verification Specifications
JAN BAUMEISTER, B FINKBEINER, M KRUSE, S OSWALD, N PASSING, ...
The system can't perform the operation now. Try again later.
Articles 1–13