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
[BCBFS21] | A Temporal Logic for Asynchronous Hyperproperties. With Norine Coenen, Borzoo Bonakdarpour, Bernd Finkbeiner, and Cesar Sanchez. 33rd International Conference on Computer-Aided Verification (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. 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
- On the Similarities of Aircraft and Humans: Monitoring CPS with StreamLAB: Slides
at CyberCardia@ESWeek 2019. October 2019. - RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft: Slides
at CAV 2020. July 2020.
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 |