Jan Baumeister
Contact
Jan Baumeister
Reactive Systems Group
CISPA Helmholtz Center for Information Security
Phone: +49 681 302 5656
eMail: jan.baumeister at cispa.saarland.
Building: E 1.1 Room: 1.16.2
Office Hours
Whenever my door is open.
About me
I am a Ph.D. student at Saarland University working at the CISPA Helmholtz Center for Information Security. I am also a member of the Graduate School of Computer Science.
Publications
| [BDFRST23] | A Hierarchy of Monitoring Properties for Autonomous Systems. Joint work with Johann C. Dauer, Bernd Finkbeiner, Kristin Y. Rozier, Sebastian Schirmer, and Christoph Torens. at AIAA SciTech 2023. January 2023. |
| [BFGS22] | Real-time Visualization of Stream-based Monitoring Data. Joint work with Bernd Finkbeiner, Stefan Gumhold, and Malte Schledjewski. at RV 2022. September 2022. |
| [BDFS22] | Monitoring with Verified Guarantees. Joint work with Johann C. Dauer, Bernd Finkbeiner, and Sebastian Schirmer. at STTT 2022. August 2022. |
| [BCBFS21] | A Temporal Logic for Asynchronous Hyperproperties. Joint work with Norine Coenen, Borzoo Bonakdarpour, Bernd Finkbeiner, and Cesar Sanchez. at CAV 2021. July 2021. |
| [BFKOPS21] | Automatic Optimizations for Runtime Verification Specifications. Joint work with Bernd Finkbeiner, Matthis Kruse, Stefan Oswald, Noemi Passing, and Maximilian Schwenger. at MT@CPSWeek 2021. May 2021. |
| [BFKS20] | Automatic Optimizations for Stream-based Monitoring Languages. Joint work with Bernd Finkbeiner, Matthis Kruse, and Maximilian Schwenger. at RV 2020. October 2020. |
| [BFSST20] | RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft. Joint work with Bernd Finkbeiner, Maximilian Schwenger, Sebastian Schirmer and Christoph Torens. at CAV 2020. July 2020. |
| [BFST19a] | FPGA Stream-Monitoring of Real-time Properties. Joint work with Bernd Finkbeiner, Maximilian Schwenger, and Hazem Torfah. at EMSOFT 2019. October 2019. |
| [BFST19b] | On the Similarities of Aircraft and Humans: Monitoring CPS with StreamLAB. Joint work with Bernd Finkbeiner, Maximilian Schwenger, and Hazem Torfah. at CyberCardia@ESWeek 2019. October 2019. |
Presentations
- Stream-based Monitoring with RTLola
Invited Talk at QBayLogic .July 2023 - Stream-based Monitoring with RTLola
Invited Talk at CPEC Fall Meeting. September 2023 - RTLola: Formal Monitoring for CPS
Invited Talk at Audi. April 2022 - RTLola: Formal Monitoring for CPS: Talk, Demonstration
Workshop Talk at FMR@IROS2021. October 2021 - Automatic Optimizations for Runtime Verification Specifications: Slides
Workshop Talk at MT-CPS 2021. May 2021 - Stream-based Monitoring with RTLola: Slides
Qualifying Exam at Saarland University. April 2021 - RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft: Slides
Conference Talk at CAV 2020. July 2020. - On the Similarities of Aircraft and Humans: Monitoring CPS with StreamLAB: Slides
Workshop Talk at CyberCardia@ESWeek 2019. October 2019.
Theses
| Tracing Correctness: A Practical Approach to Traceable Runtime Monitoring | Master Thesis, Saarland University, 2020 |
| Encodings of Bounded Synthesis of Distributed Systems | Bachelor Thesis, Saarland University, 2017 |
Teaching
| Winter 2018/2019 | Tutor for Verification at the Dependable Systems and Software Chair |
| Summer 2018 | Lecturer for Mathematics Precourse at Saarland University |
| Summer 2017 | Tutor for Programmierung 2 at Saarland University |
| Summer 2016 | Lecturer and Coach for Mathematics Precourse at Saarland University |
| Summer 2016 | Tutor for Programmierung 2 at Saarland University |
| Winter 2015/2016 | Tutor for Programming 1 at the Programming Systems Lab |
| Summer 2015 | Tutor for Mathematics Precourse at Saarland University |