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
362021
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
322020
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
322019
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
32022
Monitoring with verified guarantees
J Baumeister, JC Dauer, B Finkbeiner, S Schirmer
International Journal on Software Tools for Technology Transfer, 1-24, 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
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–11