|Reactive Systems Group|
|Building: E 1.1, Room: 1.08|
|Phone:||+49 681 302 5654|
|eMail:||schwenger at react.uni-saarland.de|
|Office Hours:||Whenever the door is open|
- Hybrid Systems
Discrete computers and the continuous physical world do no longer exist in isolation but interact in new ways . This gives rise to new opportunities and also new challenges. I tackle the problem of analyzing hybrid models and automatically synthesize controllers for them based on a formal description of the desired behavior.
- Runtime Verification
Predicting the behavior of a system without actually executing it is not always possible, for example when the degree of non-determinism is just too high. In those cases it is possible to keep a close eye on the actual execution of the system to detect unanticipated problems and react before it is too late.
|[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|