Prof. Dr. Rüdiger Ehlers

Kontakt
Telefon: +49 5323 / 72-7148
Fax: +49 5323 / 72-99 7136
ruediger.ehlerstu-clausthalde

Adresse
Technische Universität Clausthal
Institut für Software and Systems Engineering
Arnold-Sommerfeld-Str. 1, Gebäude C10, Raum 217
38678 Clausthal-Zellerfeld
Germany

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)