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
- On the Similarities of Aircraft and Humans: Monitoring CPS with StreamLAB: Slides
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 |