Sledovať
Jan Baumeister
Jan Baumeister
CISPA Helmholtz Center for Information Security
Overená e-mailová adresa na: cispa.saarland - Domovská stránka
Názov
Citované v
Citované v
Rok
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
512021
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
462020
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
382019
Encodings of bounded synthesis for distributed systems
JE Baumeister
Bachelor’s thesis, Saarland University, 2017
82017
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
62023
Automatic Optimizations for Stream-based Monitoring Languages
J Baumeister, B Finkbeiner, M Kruse, M Schwenger
International Conference on Runtime Verification, 451-461, 2020
62020
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
52024
Real-time visualization of stream-based monitoring data
J Baumeister, B Finkbeiner, S Gumhold, M Schledjewski
International Conference on Runtime Verification, 325-335, 2022
52022
Computer Aided Verification
L D’Antoni, M Helfrich, J Kretinsky, E Ramneantu, M Weininger, ...
52000
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
22024
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
22023
A Tutorial on Stream-Based Monitoring
J Baumeister, B Finkbeiner, F Kohn, F Scheerer
International Symposium on Formal Methods, 624-648, 2024
12024
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
Stream-Based Monitoring of Algorithmic Fairness
J Baumeister, B Finkbeiner, F Scheerer, J Siber, T Wagenpfeil
arXiv preprint arXiv:2501.18331, 2025
2025
RTLolaMo3Vis - A Mobile and Modular Visualization Framework for Online Monitoring
J Baumeister, B Finkbeiner, J Kautenburger, C Rubeck
International Conference on Runtime Verification, 192-202, 2024
2024
Automatic Optimizations for Runtime Verification Specifications
JAN BAUMEISTER, B FINKBEINER, M KRUSE, S OSWALD, N PASSING, ...
Systém momentálne nemôže vykonať operáciu. Skúste to neskôr.
Články 1–17