Jan Baumeister

A profile picture of Jan Baumeister

Contact

Jan Baumeister

Reactive Systems Group
CISPA Helmholtz Center for Information Security
Phone: +49 681 87083 2114
eMail: jan.baumeister at cispa.saarland.
Building: E 9.1 Room: 1.11

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

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