Items where Author is "Ehlers, Rüdiger"

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Jump to: Conference or Workshop Item (A Paper) | Article
Number of items: 8.

Conference or Workshop Item (A Paper)

Ehlers, Rüdiger and Finkbeiner, Bernd
(2017) Symmetric Synthesis.
In: 37th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, FSTTCS 2017, December 11-15, 2017, Kanpur, India.

Bloem, Roderick and Ehlers, Rüdiger and Jacobs, Swen and Könighofer, Robert
(2014) How to Handle Assumptions in Synthesis.
In: Proceedings 3rd Workshop on Synthesis, SYNT 2014, Vienna, Austria, July 23-24, 2014..

Ehlers, Rüdiger and Finkbeiner, Bernd
(2012) Monitoring Realizability.
In: Proceedings of the Second International Conference on Runtime Verification (RV'11).

Gerke, Michael and Ehlers, Rüdiger and Finkbeiner, Bernd and Peter, Hans-Jörg
(2012) FlexRay for Avionics: Automatic Verification with Parametric Physical Layers.
In: Infotech@Aerospace 2012, Garden Grove, California, USA, June 19-21, 2012.

Ehlers, Rüdiger and Finkbeiner, Bernd
(2011) Reactive Safety.
In: Proceedings of Second International Symposium on Games, Automata3Logics and Formal Verification (GandALF 2011).

Article

Ehlers, Rüdiger and Finkbeiner, Bernd
(2017) Symmetric Synthesis.
CoRR, abs/17.

Jacobs, Swen and Bloem, Roderick and Brenguier, Romain and Ehlers, Rüdiger and Hell, Timotheus and Könighofer, Robert and Perez, Guillermo A. and Raskin, Jean-Francois and Ryzhyk, Leonid and Sankur, Ocan and Seidl, Martina and Tentrup, Leander and Walker, Adam
(2017) The first reactive synthesis competition (SYNTCOMP 2014).
STTT, 19 (3). pp. 367-390.

Jacobs, Swen and Bloem, Roderick and Brenguier, Romain and Ehlers, Rüdiger and Hell, Timotheus and Könighofer, Robert and Pérez, Guillermo A. and Raskin, Jean-François and Ryzhyk, Leonid and Sankur, Ocan and Seidl, Martina and Tentrup, Leander and Walker, Adam
(2017) The first reactive synthesis competition (SYNTCOMP 2014).
STTT, 19 (3). 367–390.

This list was generated on Tue Apr 23 17:32:20 2024 CEST.
CISPA is powered by EPrints 3 which is developed by the School of Electronics and Computer Science at the University of Southampton. More information and software credits.