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.

Contact

Reactive Systems Group
Saarland University
Building: E 1.1, Room: 1.08
Phone: +49 681 302 5654
eMail: schwenger at react.uni-saarland.de
Office Hours: Whenever my door is open
Maximilian Schwenger

Research Interests

Publications

[BFST19a] FPGA Stream-Monitoring of Real-time Properties.
Joint work with Jan Baumeister, Bernd Finkbeiner, and Hazem Torfah. EMSOFT 2019. October 2019.
Slides.
[BFST19b] On the Similarities of Aircraft and Humans: Monitoring CPS with StreamLAB.
Joint work with Jan Baumeister, Bernd Finkbeiner, and Hazem Torfah. CyberCardia@ESWeek 2019. October 2019.
[FFS+19b] StreamLAB: Stream-based Monitoring of Cyber-physical Systems.
Joint work with Peter Faymonville, Bernd Finkbeiner, Malte Schledjewski, Marvin Stenger, Leander Tentrup and Hazem Torfah. CAV 2019. July 2019.
Slides.
[FFS+19a] Real-time Stream Monitoring with StreamLAB.
Joint work with Peter Faymonville, Bernd Finkbeiner, Malte Schledjewski, Leander Tentrup and Hazem Torfah. MT@CPSWeek 2019. March 2019.
Slides.
[MNS+18] From LTL to rLTL Monitoring: Improved Monitorability through Robust Semantics.
Joint work with Corto Mascle, 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.
[Schw16] When a Sentece Falls apart. Using Heuristically Guided Dead End Detection in Natural Language Processing.
Bachelor Thesis at Saarland University. December 2016.

Presentations

Tools

StreamLAB Real-Time Stream Monitoring Framework

Students

Scientific Service

(Mostly) Useful References

How to Write Well Compilation of common mistakes
How to Write Papers so People Can Read Them Slides by Derek Dreyer
Github Thesis Template, Keyboard Layout for CS People, etc.

Teaching

Summer 2019 Assistant for Hybrid Systems
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