Scholar
Jan Baumeister
Google Scholar ID: ULlpy98AAAAJ
CISPA Helmholtz Center for Information Security
Citations & Impact
Citations
206
H-index
7
i10-index
4
Publications
20
Co-authors
18
list available
Contact
No contact links provided.
Publications
Resume (English only)
Academic Achievements
- Active Monitoring with RTLola: A Specification-Guided Scheduling Approach (RV 2025)
- A ROS Adapter for RTLola (RV 2025)
- An Intermediate Program Representation for Optimizing Stream-Based Languages (CAV 2025)
- Stream-Based Monitoring of Algorithmic Fairness (TACAS 2025, TACAS Distinguished Artifact Award)
- Monitoring Unmanned Aircraft: Specification, Integration, and Lessons-Learned (CAV 2024)
- Certification Aspects of Runtime Assurance for Urban Air Mobility (SCITECH 2024)
- RTLolaMo3Vis – A Mobile and Modular Visualization Framework for Online Monitoring (RV 2024)
- A Tutorial on Stream-Based Monitoring (FM 2024)
- A Hierarchy of Monitoring Properties for Autonomous Systems (AIAA SciTech 2023)
- Real-time Visualization of Stream-based Monitoring Data (RV 2022)
- Monitoring with Verified Guarantees (STTT 2022)
- A Temporal Logic for Asynchronous Hyperproperties (CAV 2021)
- Automatic Optimizations for Runtime Verification Specifications (MT@CPSWeek 2021)
- Automatic Optimizations for Stream-based Monitoring Languages (RV 2020)
- RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft (CAV 2020)
- FPGA Stream-Monitoring of Real-time Properties (EMSOFT 2019)
- On the Similarities of Aircraft and Humans: Monitoring CPS with StreamLAB (CyberCardia@ESWeek 2019)
Research Experience
- Conducts research at the CISPA Helmholtz Center for Information Security, focusing on real-time monitoring and optimization of stream-based languages.
Education
- Saarland University, Ph.D. in progress
Background
- Ph.D. student at Saarland University working at the CISPA Helmholtz Center for Information Security. Also a member of the Graduate School of Computer Science.
Miscellany
- Office Hours: Whenever my door is open.
