Prof. Dr. Rüdiger Ehlers

While being a member of this group or in collaboration with us.

• Symmetric Synthesis
  Rüdiger Ehlers and Bernd Finkbeiner · FSTTCS 2017
• The First Reactive Synthesis Competition <notextile>(SYNTCOMP 2014)</notextile>
  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 and Adam Walker · STTT
• Symbolically Synthesizing Small Circuits
  Rüdiger Ehlers, Robert Könighofer and Georg Hofferek · FMCAD 2012
• ALLQBF Solving by Computational Learning
  Bernd Becker, Rüdiger Ehlers, Matthew Lewis and Paolo Marin · ATVA 2012
• ACTL ∩ LTL Synthesis
  Rüdiger Ehlers · CAV 2012
• Sparse Positional Strategies for Safety Games
  Rüdiger Ehlers and Daniela Moldovan · SYNT 2012
• FlexRay for Avionics: Automatic Verification with Parametric Physical Layers
  Michael Gerke, Rüdiger Ehlers, Bernd Finkbeiner and Hans-Jörg Peter · I@A 2012
• Automatic Protocol Verification with Parametric Physical Layers
  Michael Gerke, Rüdiger Ehlers, Bernd Finkbeiner and Hans-Jörg Peter · AVACS Technical Report No. 86
• Symbolic Bounded Synthesis
  Rüdiger Ehlers · FMSD
• Monitoring Realizability
  Rüdiger Ehlers and Bernd Finkbeiner · RV 2011
• Small witnesses, accepting lassos and winning strategies in omega-automata and games
  Rüdiger Ehlers · AVACS Technical Report No. 80, SFB/TR 14 AVACS, also appeared as arXiv/CoRR: 1108.0315
• Synthia: Verification and Synthesis for Timed Automata
  Hans-Jörg Peter, Rüdiger Ehlers and Robert Mattmüller · CAV 2011
• Reactive Safety
  Rüdiger Ehlers and Bernd Finkbeiner · GandALF 2011
• Generalized Rabin(1) Synthesis with Applications to Robust System Synthesis
  Rüdiger Ehlers · NFM 2011
• Unbeast: Symbolic Bounded Synthesis
  Rüdiger Ehlers · TACAS 2011
• Experimental Aspects of Synthesis
  Rüdiger Ehlers · iWIGP 2011
• Fully Symbolic Timed Model Checking using Constraint Matrix Diagrams
  Rüdiger Ehlers, Daniel Fass, Michael Gerke and Hans-Jörg Peter · RTSS 2010
• Making the Right Cut in Model Checking Data-Intensive Timed Systems
  Rüdiger Ehlers, Michael Gerke and Hans-Jörg Peter · ICFEM 2010
• On the Virtue of Patience: Minimizing Büchi Automata
  Rüdiger Ehlers and Bernd Finkbeiner · SPIN 2010
• Model Checking the FlexRay Physical Layer Protocol
  Michael Gerke, Rüdiger Ehlers, Bernd Finkbeiner and Hans-Jörg Peter · FMICS 2010
• Combining Symbolic Representations for Solving Timed Games
  Rüdiger Ehlers, Robert Mattmüller and Hans-Jörg Peter · FORMATS 2010
• Minimising Deterministic Büchi Automata Precisely using SAT Solving
  Rüdiger Ehlers · SAT 2010
• Symbolic Bounded Synthesis
  Rüdiger Ehlers · CAV 2010
• Short Witnesses and Accepting Lassos in omega-automata
  Rüdiger Ehlers · LATA 2010
• Generalised Rabin(1) synthesis
  Rüdiger Ehlers · arXiv/CoRR: 1003.1684

While being a member of this group or in collaboration with us.

• Symmetric and Efficient Synthesis
  Rüdiger Ehlers · UdS