|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 my door is open|
- 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.
- 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.
|[BFST19a]||FPGA Stream-Monitoring of Real-time Properties.
Joint work with Jan Baumeister, Bernd Finkbeiner, Hazem Torfah. EMSOFT 2019. October 2019.
|[BFST19b]||On the Similarities of Aircraft and Humans: Monitoring CPS with StreamLAB.
Joint work with Jan Baumeister, Bernd Finkbeiner, Hazem Torfah. CyberCardia@EMSOFT 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.
|[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.
|[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.
- Let’s not Trust Experience Blindly: Formal Monitoring of Humans and other CPS: Slides
Master Thesis Talk at Saarland University, August 2019
- StreamLAB: Stream-based Monitoring of Cyber-Physical Systems: Slides, Paper
Conference Talk at CAV 2019, New York, July 2019.
- Real-time Stream Monitoring with StreamLAB: Slides, Paper
Workshop Talk at MT@CPSWeek 2019. Montreal, April 2019
- XMas 4.0 Digitalisierung am Nordpol Slides (de), (en)
Christmas Lecture for 24h Lecture, Saarland University, December 2017
|StreamLAB||Real-Time Stream Monitoring Framework|
- Stefan Oswald: Bachelor Thesis, ongoing
Verifiable Runtime Monitoring
Co-advised by Noemi Passing
- Jan Baumeister: Master Thesis, ongoing
Traceable Runtime Monitoring on Unmanned Aerial Vehicles,
- Daniel Schäfer: Master Thesis, ongoing
Knowledge-based Programming for an Accelerated Synthesis
- Sanny Schmitt: Research Assistant, ongoing
Visualization of Monitoring Data
- Paul Bungert: Bachelor Thesis, 2019
Monitoring Hybrid Automata (pdf coming soon)
- Rafael Dewes: Research Assistant, 2019
Synthesis of Autonomous Robots
- Daniel Schäfer: Research Assistant, 2019
Synthesis of Autonomous Robots
- Jan Baumeister: Research Assistant, 2018 – 2019
Translating RTLola Specifications to FPGA
- Hendrik Leidinger: Master Thesis, 2019
Learning the Desired Behavior for Causality Analyses
- Christoph Rosenhauer: Bachelor Thesis, 2019
Compiling Lola 2.0 to C
- Marvin Hofmann: Bachelor Thesis, 2018
Runtime Verification of Critical Web-based Systems
- Lukas Stemmler: Bachelor Thesis 2018
Communication Rules for Static Networks
(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.|
|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|