| 2026 | LICS | A Naturally-Colored Translation from LTL to Parity and COCOA. | Rdiger Ehlers, Ayrat Khalimov |
| 2025 | VECoS | Supporting a SOTIF Safety Argument by Activation Pattern Monitoring with Statistical Guarantees. | Rdiger Ehlers, Loch Kamdoum Deameni, Nikita Maslov |
| 2024 | FM | Understanding Synthesized Reactive Systems Through Invariants. | Rdiger Ehlers |
| 2024 | TACAS | Fully Generalized Reactivity(1) Synthesis. | Rdiger Ehlers, Ayrat Khalimov |
| 2024 | TAP | Efficient Temporal Logic Runtime Monitoring for Tiny Systems. | Rdiger Ehlers |
| 2020 | FMCAD | Learning Properties in LTL ∩ ACTL from Positive Examples Only. | Rdiger Ehlers, Ivan Gavran, Daniel Neider |
| 2020 | SAT | SAT Solving with Fragmented Hamiltonian Path Constraints for Wire Arc Additive Manufacturing. | Rdiger Ehlers, Kai Treutler, Volker Wesling |
| 2019 | ATVA | Reactive Synthesis of Graphical User Interface Glue Code. | Rdiger Ehlers, Keerthi Adabala |
| 2019 | FM | How Hard Is Finding Shortest Counter-Example Lassos in Model Checking? | Rdiger Ehlers |
| 2019 | RC | Evaluating ESOP Optimization Methods in Quantum Compilation Flows. | Giulia Meuli, Bruno Schmitt, Rdiger Ehlers, Heinz Riener, Giovanni De Micheli |
| 2018 | AAAI | Safe Reinforcement Learning via Shielding. | Mohammed Alshiekh, Roderick Bloem, Rdiger Ehlers, Bettina Knighofer, Scott Niekum, Ufuk Topcu |
| 2018 | ATVA | A Fragment of Linear Temporal Logic for Universal Very Weak Automata. | Keerthi Adabala, Rdiger Ehlers |
| 2018 | EMSOFT | Embedded software for robotics: challenges and future directions: special session. | Houssam Abbas, Indranil Saha, Yasser Shoukry, Rdiger Ehlers, Georgios Fainekos, Rajesh Gupta, Rupak Majumdar, Dogan Ulus |
| 2018 | SAT | Approximately Propagation Complete and Conflict Propagating Constraint Encodings. | Rdiger Ehlers, Francisco Palau Romero |
| 2017 | ASPDAC | CEGAR-based EF synthesis of Boolean functions with an application to circuit rectification. | Heinz Riener, Rdiger Ehlers, Grschwin Fey |
| 2017 | ATVA | Formal Verification of Piece-Wise Linear Feed-Forward Neural Networks. | Rdiger Ehlers |
| 2016 | CAV | Slugs: Extensible GR(1) Synthesis. | Rdiger Ehlers, Vasumathi Raman |
| 2015 | ATVA | Cooperative Reactive Synthesis. | Roderick Bloem, Rdiger Ehlers, Robert Knighofer |
| 2015 | IROS | Synthesizing cooperative reactive mission plans. | Rdiger Ehlers, Robert Knighofer, Roderick Bloem |
| 2015 | IROS | Correct-by-synthesis reinforcement learning with temporal logic constraints. | Min Wen, Rdiger Ehlers, Ufuk Topcu |
| 2014 | CADE | A Tool That Incrementally Approximates Finite Satisfiability in Full Interval Temporal Logic. | Rdiger Ehlers, Martin Lange |
| 2014 | VMCAI | Synthesis with Identifiers. | Rdiger Ehlers, Sanjit A. Seshia, Hadas Kress-Gazit |
| 2013 | IROS | Shortcut through an evil door: Optimality of correct-by-construction controllers in adversarial environments. | Gangyuan Jing, Rdiger Ehlers, Hadas Kress-Gazit |
| 2012 | ATVA | ALLQBF Solving by Computational Learning. | Bernd Becker, Rdiger Ehlers, Matthew Lewis, Paolo Marin |
| 2012 | CAV | ACTL ∩ LTL Synthesis. | Rdiger Ehlers |
| 2012 | FMCAD | Symbolically synthesizing small circuits. | Rdiger Ehlers, Robert Knighofer, Georg Hofferek |
| 2011 | CAV | Synthia: Verification and Synthesis for Timed Automata. | Hans-Jrg Peter, Rdiger Ehlers, Robert Mattmller |
| 2011 | RV | Monitoring Realizability. | Rdiger Ehlers, Bernd Finkbeiner |
| 2011 | TACAS | Unbeast: Symbolic Bounded Synthesis. | Rdiger Ehlers |
| 2010 | CAV | Symbolic Bounded Synthesis. | Rdiger Ehlers |
| 2010 | FMICS | Model Checking the FlexRay Physical Layer Protocol. | Michael Gerke, Rdiger Ehlers, Bernd Finkbeiner, Hans-Jrg Peter |
| 2010 | ICFEM | Making the Right Cut in Model Checking Data-Intensive Timed Systems. | Rdiger Ehlers, Michael Gerke, Hans-Jrg Peter |
| 2010 | LATA | Short Witnesses and Accepting Lassos in | Rdiger Ehlers |
| 2010 | RTSS | Fully Symbolic Timed Model Checking Using Constraint Matrix Diagrams. | Rdiger Ehlers, Daniel Fass, Michael Gerke, Hans-Jrg Peter |
| 2010 | SAT | Minimising Deterministic Bchi Automata Precisely Using SAT Solving. | Rdiger Ehlers |
| 2006 | CEC | The Impact of Group Reputation in Multiagent Environments. | Bastian Baranski, Thomas Bartz-Beielstein, Rdiger Ehlers, Thusinthan Kajendran, Bjrn Kosslers, Jrn Mehnen, Tomasz Polaszek, Ralf Reimholz, Jens M. Schmidt, Karlheinz Schmitt, Danny Seis, Rafael Slodzinski, Simon Steeg, Nils Wiemann, Marc Zimmermann |
| 2006 | GECCO | High-order punishment and the evolution of cooperation. | Bastian Baranski, Thomas Bartz-Beielstein, Rdiger Ehlers, Thusinthan Kajendran, Bjrn Kosslers, Jrn Mehnen, Tomasz Polaszek, Ralf Reimholz, Jens M. Schmidt, Karlheinz Schmitt, Danny Seis, Rafael Slodzinski, Simon Steeg, Nils Wiemann, Marc Zimmermann |