Jan Baumeister

Jan Baumeister

Contact

Jan Baumeister

Reactive Systems Group
Universit├Ąt des Saarlandes
Phone: +49 681 302 5656
eMail: jbaumeister at react.uni-saarland.de
Building: E 1.1 Room: 1.16.2

Office Hours
Whenever my door is open.

About me

I am a Ph.D. student in the Reactive Systems Group at the Computer Science Department at Saarland University.

Publications

[BFSST20] RTLola Cleared for Take-Off: Monitoring Autonomous Aircraft.
Joint work with Bernd Finkbeiner, Maximilian Schwenger, Sebastian Schirmer and Christoph Torens. 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