Maximilian Schwenger

About Me

I am a Ph.D. student in the Reactive Systems Group at the Computer Science Department of Saarland University and a member of the Graduate School of Computer Science.


Reactive Systems Group
Saarland University
Building: E 1.1, Room: 1.08
Phone: +49 681 302 5654
eMail: schwenger at
Office Hours: Whenever the door is open
Maximilian Schwenger

Research Interests


[NSTWZ18] Robust Monitoring of Linear Temporal Properties.
Joint work with Daniel Neider, Paulo Tabuada, Alexander Weinert, and Martin Zimmermann. arXiv. July 2018.
[STH+16] From OpenCCG to AI Planning: Detecting Infeasible Edges in Sentence Generation.
Joint work with Álvaro Torralba, Jörg Hoffmann, David Howcroft, and Vera Demberg, COLING 2016. December 2016.


Lola Stream-based Specification Language and Runtime Monitor


Lukas Stemmler Communication Rules for Static Networks Bachelor Thesis
Marvin Hofmann Lola Rails Bachelor Thesis
Christoph Rosenhauer Lola Compilation Bachelor Thesis (Ongoing, Co-Advised by Hazem Torfah)
Hendrik Leidinger Learning the Desired Behavior for Causality Analyses Master Thesis (Ongoing)
Jan Baumeister Runtime Monitoring using FPGAs Research Assistant
Daniel Schäfer Interface for Synthesis of Autonomous Robots Research Assistant
Rafael Dewes Interface for Synthesis of Autonomous Robots Research Assistant


When a Sentence falls apart… Bachelor Thesis, Saarland University, 2015


XMas 4.0 Digitalisierung am Nordpol (english version) Christmas Lecture @ 24h Lecture, Saarland University, 2017
Real-Time Stream Monitoring (based on paper) Qualifying Exam, Saarland University, 2017

(Mostly) Useful References

How to Write Well Compilation of common mistakes
How to Write Papers so People Can Read Them Slides by Derek Dreyer


Summer 2018 Assistant for Embedded Systems
Winter 2017 Assistant for Time Machine
Summer 2017 Coach for Mathematics Precourse
Winter 2016 Tutor for Verification at the Reactive Systems Group
Summer 2016 Student Tutor for Embedded Systems at the Reactive Systems Group
Summer 2015 Tutor for Artificial Intelligence at the Foundations of Artificial Intelligence Group
Winter 2014 Tutor for Theoretical Computer Science at the Computational Complexity Group
Summer 2014 Tutor for System Architecture at the Real-Time and Embedded Systems Lab