Prof. Dr. Rüdiger Ehlers

Institute for Software and Systems Engineering

Mitglied des Direktoriums

Sprechzeiten
Termine können hier gebucht werden.

Social Media 

https://www.linkedin.com/in/r%C3%BCdiger-ehlers-12a242163/

Vita

• Seit 2019: Professor für Eingebettete Systeme an der TU Clausthal
• 2014-2019: Nachwuchsgruppenleiter für "Modellierung Technischer Systeme" an der Universität Bremen
• 2013-2014: Postdoc an der Universität Kassel
• 2012-2013: Wissenschaftler im NSF Expeditions-Projekt "ExCAPE: Expeditions in Computer-Aided Program Engineering" an der Cornell University und der University of California at Berkeley, USA
• 2007-2012: Doktorand & Wissenschaftler an der Universität des Saarlandes

Forschung

• Konstruktionsautomatisierung eingebetteter und hybrider Systeme, inklusive reaktiver Synthese
• Lösung nachweislich schwieriger Berechnungsprobleme
• Absicherung von Systemen, die künstliche Intelligenz einsetzen

Lehre

• Wintersemester 2019/2020: "Embedded Systems Engineering", "Informatikwerkstatt"
• Sommersemester 2019: "Model Checking" Blockkurs

Veröffentlichungen

1. Rüdiger Ehlers and Keerthi Adabala: Reactive Synthesis of Graphical User Interface Glue Code. Accepted at the 17th International Symposium on Automated Technology for Verification and Analysis (ATVA 2019)
2. Rüdiger Ehlers: How Hard is Finding Shortest Counter-Example Lassos in Model Checking? Accepted at the 23rd International Symposium on Formal Methods (FM 2019)
3. Rüdiger Ehlers: On Improving the Efficiency of Game Solving for Hybrid System Control. 57th IEEE Conference on Decision and Control (CDC 2018)
4. Kai Weng Wong, Rüdiger Ehlers, and Hadas Kress-Gazit: Resilient, Provably-Correct, and High-Level Robot Behaviors. IEEE Transactions on Robotics 34(4): 936-952 (2018)
5. Keerthi Adabala and Rüdiger Ehlers: A Fragment of Linear Temporal Logic for Universal Very Weak Automata. 16th International Symposium on Automated Technology for Verification and Analysis (ATVA 2018)
6. Rüdiger Ehlers and Francisco Palau Romero: Approximately Propagation Complete and Conflict Propagating Constraint Encodings. 21st International Conference on Theory and Applications of Satisfiability Testing (SAT 2018)
7. Francisco Palau Romero and Rüdiger Ehlers: Steady Abstractions for CPS Controller Synthesis. Accepted at the 2018 American Control Conference (ACC 2018)
8. Mohammed Alshiekh, Roderick Bloem, Rüdiger Ehlers, Bettina Könighofer, Scott Niekum, and Ufuk Topcu: Safe Reinforcement Learning via Shielding. 32nd AAAI Conference on Artificial Intelligence (AAAI 2018)
9. Rüdiger Ehlers and Bernd Finkbeiner: Symmetric Synthesis. 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science (FSTTCS 2017)
10. Rüdiger Ehlers, Stéphane Lafortune, Stavros Tripakis, and Moshe Y. Vardi: Supervisory control and reactive synthesis: a comparative introduction. Discrete Event Dynamic Systems 27(2): 209-260 (2017)
11. Jonathan A. DeCastro, Rüdiger Ehlers, Matthias Rungger, Ayca Balkan, Hadas Kress-Gazit: Automated generation of dynamics-based runtime certificates for high-level control. Discrete Event Dynamic Systems 27(2): 371-405 (2017)
12. Swen Jacobs, Roderick Bloem, Romain Brenguier, Rüdiger Ehlers, Timotheus Hell, Robert Könighofer, Guillermo A. Pérez, Jean-François Raskin, Leonid Ryzhyk, Ocan Sankur, Martina Seidl, Leander Tentrup, Adam Walker: The first reactive synthesis competition (SYNTCOMP 2014). International Journal on Software Tools for Technology Transfer (STTT) 19(3): 367-390 (2017)
13. Rüdiger Ehlers: Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks. 15th International Symposium on Automated Technology for Verification and Analysis (ATVA 2017)
14. Heinz Riener, Rüdiger Ehlers, and Görschwin Fey: Counterexample-Guided EF Synthesis of Boolean Functions. MBMV Workshop 2017
15. Heinz Riener, Rüdiger Ehlers, and Görschwin Fey: CEGAR-based EF Synthesis of Boolean Functions with an Application to Circuit Rectification. 23rd Asia and South Pacific Design Automation Conference (ASP-DAC 2017)
16. Rüdiger Ehlers, Salar Moarref, and Ufuk Topcu: Risk-Averse Control of Markov Decision Processes with omega-regular Objectives. 55th IEEE Conference on Decision and Control (CDC 2016)
17. Rüdiger Ehlers and Vasumathi Raman: Slugs: Extensible GR(1) Synthesis. 28th Int'l Conference on Computer Aided Verification (CAV 2016)
18. Rüdiger Ehlers and Ufuk Topcu: Estimator-based Reactive Synthesis Under Incomplete Information. 18th International Conference on Hybrid Systems: Computation and Control (HSCC 2015)
19. Roderick Bloem, Rüdiger Ehlers, and Robert Könighofer: Cooperative Reactive Synthesis. 13th International Symposium on Automated Technology for Verification and Analysis (ATVA 2015)
20. Rüdiger Ehlers, Robert Könighofer, and Roderick Bloem: Synthesizing Cooperative Reactive Mission Plans. IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2015)
21. Min Wen, Rüdiger Ehlers, and Ufuk Topcu: Correct-by-synthesis Reinforcement Learning with Temporal Logic Constraints. IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2015)
22. Heinz Riener, Rüdiger Ehlers, and Görschwin Fey: Path-Based Program Repair. 12th International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA 2015)
23. Rüdiger Ehlers and Martin Lange: A Tool That Incrementally Approximates Finite Satisfiability in Full Interval Temporal Logic. 7th International Joint Conference on Automated Reasoning (IJCAR 2014)
24. Kai Weng Wong, Rüdiger Ehlers, and Hadas Kress-Gazit: Correct High-level Robot Behavior in Environments with Unexpected Events. Robotics: Science and Systems (RSS 2014)
25. Rüdiger Ehlers, Stéphane Lafortune, Stavros Tripakis, Moshe Y. Vardi: Bridging the Gap between Supervisory Control and Reactive Synthesis: Case of Full Observation and Centralized Control. 12th IFAC - IEEE International Workshop on Discrete Event Systems (WODES 2014)
26. Roderick Bloem, Rüdiger Ehlers, Swen Jacobs, and Robert Könighofer: How to Handle Assumptions in Synthesis. 3rd Workshop on Synthesis (SYNT 2014)
27. Rüdiger Ehlers and Vasumathi Raman Low-Effort Specification Debugging and Analysis. 3rd Workshop on Synthesis (SYNT 2014)
28. Rüdiger Ehlers and Ufuk Topcu: Resilience to Intermittent Assumption Violations in Reactive Synthesis. 17th International Conference on Hybrid Systems: Computation and Control (HSCC 2014)
29. Rüdiger Ehlers, Sanjit A. Seshia, and Hadas Kress-Gazit: Synthesis with Identifiers. 15th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI 2014)
30. Gangyuan Jing, Rüdiger Ehlers and Hadas Kress-Gazit: Shortcut Through an Evil Door: Optimality of Correct-by-Construction Controllers in Adversarial Environments. IEEE International Conference on Intelligent Robots and Systems (IROS 2013)
31. Rüdiger Ehlers, Robert Könighofer, and Georg Hofferek: Symbolically Synthesizing Small Circuits. 12th International Conference on Formal Methods in Computer-Aided Design (FMCAD 2012)
32. Bernd Becker, Rüdiger Ehlers, Matthew Lewis, and Paolo Marin: ALLQBF Solving by Computational Learning. 10th International Symposium on Automated Technology for Verification and Analysis (ATVA 2012)
33. Rüdiger Ehlers and Daniela Moldovan: Sparse Positional Strategies for Safety Games. 1st Workshop on Synthesis (SYNT 2012)
34. Rüdiger Ehlers: ACTL ∩ LTL Synthesis. 24th International Conference on Computer Aided Verification (CAV 2012)
35. Michael Gerke, Rüdiger Ehlers, Bernd Finkbeiner, and Hans-Jörg Peter: FlexRay for Avionics: Automatic Verification with Parametric Physical Layers. Infotech@Aerospace (I@A 2012)
36. Rüdiger Ehlers: Symbolic Bounded Synthesis. Formal Methods in System Design (FMSD) 20(4): 232-262 (2012)
37. Rüdiger Ehlers and Bernd Finkbeiner: Monitoring Realizability. 2nd International Conference on Runtime Verification (RV 2011)
38. Hans-Jörg Peter, Rüdiger Ehlers, and Robert Mattmüller: Synthia: Verification and Synthesis for Timed Automata. 23rd International Conference on Computer Aided Verification (CAV 2011)
39. Rüdiger Ehlers and Bernd Finkbeiner: Reactive Safety. 2nd International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2011)
40. Rüdiger Ehlers: Generalized Rabin(1) Synthesis with Applications to Robust System Synthesis. 3rd NASA Formal Methods Symposium (NFM 2011)
41. Rüdiger Ehlers: Unbeast: Symbolic Bounded Synthesis. 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2011)
42. Rüdiger Ehlers: Experimental Aspects of Synthesis. International Workshop on Interactions, Games and Protocols 2011 (iWIGP 2011)
43. Rüdiger Ehlers, Daniel Fass, Michael Gerke, and Hans-Jörg Peter: Fully Symbolic Timed Model Checking using Constraint Matrix Diagrams. 31st IEEE Real-Time Systems Symposium (RTSS 2010)
44. Rüdiger Ehlers, Michael Gerke, and Hans-Jörg Peter: Making the Right Cut in Model Checking Data-Intensive Timed Systems. 11th International Conference on Formal Engineering Methods (ICFEM 2010)
45. Michael Gerke, Rüdiger Ehlers, Bernd Finkbeiner, and Hans-Jörg Peter: Model Checking the FlexRay Physical Layer Protocol. 15th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2010)
46. Rüdiger Ehlers and Bernd Finkbeiner: On the Virtue of Patience: Minimizing Büchi Automata. 17th International SPIN Workshop on Model Checking of Software (SPIN 2010)
47. Rüdiger Ehlers, Robert Mattmüller, and Hans-Jörg Peter: Combining Symbolic Representations for Solving Timed Games. 8th International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2010)
48. Rüdiger Ehlers: Symbolic Bounded Synthesis. 22nd International Conference on Computer Aided Verification (CAV 2010)
49. Rüdiger Ehlers: Minimising Deterministic Büchi Automata Precisely using SAT Solving. 13th International Conference on Theory and Applications of Satisfiability Testing (SAT 2010)
50. Rüdiger Ehlers: Short Witnesses and Accepting Lassos in omega-automata. 4th Int'l Conference on Language, Automata Theory and Applications (LATA 2010)