Contact Jobs

Rüdiger Ehlers

Rüdiger Ehlers

Reactive Systems Group
Universität des Saarlandes
Fax: +49 681 302 5636
eMail: ehlers at cs.uni-saarland.de
Building: E 1.3 Room: 532

I have moved to Cornell University. The information found below is however kept up-to-date.

Research

My research interests are applied automata theory and in particular synthesis of reactive systems. For the latter, I focus on increasing the scalability of synthesis algorithms and inproving the quality of the synthesized systems.

Publications

2012

[EKH12]	Rüdiger Ehlers, Robert Könighofer, and Georg Hofferek. Symbolically Synthesizing Small Circuits. 12th Conference on Formal Methods in Computer-Aided Design (FMCAD 2012)
[BELM12]	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)
[Ehl12b]	Rüdiger Ehlers. ACTL ∩ LTL Synthesis. 24th International Conference on Computer Aided Verification (CAV 2012).
[EM12]	Rüdiger Ehlers and Daniela Moldovan. Sparse Positional Strategies for Safety Games. 1st Workshop on Synthesis (SYNT 2012).
[GEFP12]	Michael Gerke, Rüdiger Ehlers, Bernd Finkbeiner, and Hans-Jörg Peter. FlexRay for Avionics: Automatic Verification with Parametric Physical Layers. Infotech@Aerospace 2012
[Ehl12a]	Rüdiger Ehlers. Symbolic Bounded Synthesis. Formal Methods in System Design, Volume 40, Number 2, 2012. Extended journal version of [Ehl10c].

2011

[EF11b]	Rüdiger Ehlers and Bernd Finkbeiner. Monitoring Realizability. 2nd International Conference on Runtime Verification (RV 2011)
[Ehl11d]	Rüdiger Ehlers. Small witnesses, accepting lassos and winning strategies in omega-automata and games, 2011. AVACS Technical Report No. 80, SFB/TR 14 AVACS, also appeared as arXiv/CoRR: 1108.0315
[EF11]	Rüdiger Ehlers and Bernd Finkbeiner. Reactive Safety. Second International Symposium on Games, Automata, Logics and Formal Verification (GandALF 2011) (Errata)
[Ehl11c]	Rüdiger Ehlers. Generalized Rabin(1) Synthesis with Applications to Robust System Synthesis. Third NASA Formal Methods Symposium (NFM 2011). Peer-reviewed conference version of the discussion paper [Ehl10a]. (Erratum)
[Ehl11b]	Rüdiger Ehlers. Unbeast: Symbolic Bounded Synthesis. Seventeenth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2011). Tool paper.
[Ehl11a]	Rüdiger Ehlers. Experimental Aspects of Synthesis. International Workshop on Interactions, Games and Protocols 2011 (iWIGP 2011)

2010

[EFGP10]	Rüdiger Ehlers, Daniel Fass, Michael Gerke and Hans-Jörg Peter. Fully Symbolic Timed Model Checking using Constraint Matrix Diagrams. Thirty-first IEEE Real-Time Systems Symposium (RTSS 2010). (Errata)
[EGP10]	Rüdiger Ehlers, Michael Gerke and Hans-Jörg Peter. Making the Right Cut in Model Checking Data-Intensive Timed Systems. Twelfth International Conference on Formal Engineering Methods (ICFEM 2010).
[GEFP10]	Michael Gerke, Rüdiger Ehlers, Bernd Finkbeiner and Hans-Jörg Peter. Model Checking the FlexRay Physical Layer Protocol. Formal Methods for Industrial Critical Systems (FMICS 2010).
[EF10]	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).
[EMP10]	Rüdiger Ehlers, Robert Mattmüller and Hans-Jörg Peter. Combining Symbolic Representations for Solving Timed Games. Eighth International Conference on Formal Modelling and Analysis of Timed Systems (FORMATS 2010).
[Ehl10d]	Rüdiger Ehlers. Minimising Deterministic Büchi Automata Precisely using SAT Solving. Thirteenth International Conference on Theory and Applications of Satisfiability Testing (SAT 2010). (Slides)
[Ehl10c]	Rüdiger Ehlers. Symbolic Bounded Synthesis. 22nd International Conference on Computer Aided Verification (CAV 2010). (Author’s notes)
[Ehl10b]	Rüdiger Ehlers. Short Witnesses and Accepting Lassos in omega-automata. 4th International Conference on Language and Automata Theory and Applications (LATA 2010). (Author’s notes & erratum)
[Ehl10a]	Rüdiger Ehlers. Generalized Rabin(1) synthesis, 2010. arXiv/CoRR: 1003.1684 — This is a discussion paper. Please feel free to send me comments, notes, corrections, suggestions, etc. (Slides from my talk at the GASICS 2010 workshop)