Jan Baumeister

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

[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