|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
|[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||Distributed Lola||Bachelor Thesis (Ongoing)|
|Winter 2016||Tutor for the lecture Verification at the Reactive Systems Group|
|Summer 2016||Student Tutor for the lecture Embedded Systems at the Reactive Systems Group|
|Summer 2015||Tutor for the lecture Artificial Intelligence at the Foundations of Artificial Intelligence Group|
|Winter 2014||Tutor for the lecture Theoretical Computer Science at the Computational Complexity Group|
|Summer 2014||Tutor for the lecture System Architecture at the Real-Time and Embedded Systems Lab|