Kontakt | Impressum | English Englisch
Zur Startseite der Universität Bremen






Foto Ehlers

 Herr
Prof. Dr. Rüdiger Ehlers

Fachbereich 03
Mathematik/Informatik Mathematik/Informatik

E-Mail: ruediger.ehlers@uni-bremen.de
Zugehörigkeiten | Forschungsthemen | Kooperationen | Projekte | Wissenschaftliche Aktivitäten | Ressourcen


Zugehörigkeiten

Zugehörigkeit zu einem Wissenschaftsschwerpunkt der Universität Bremen		 » Minds Media Machines


Zugehörigkeit zu einem außer-universitären Institut		 » Deutsches Forschungszentrum für Künstliche Intellingenz - DFKI Bremen


Zugehörigkeit zur Arbeitsgruppe/zur Professur
Kürzel Bezeichnung deutsch Bezeichnung englisch Fachbereich Schlagwörter deutsch Schlagwörter englisch
MoTeSy  AG Modellierung Technischer Systeme  Modelling of Technical Systems Research Group  FB03     




Forschungsthemen
Ingenieurwissenschaften
 » Informatik


Kooperationen

WissenschaftlerInnen mit Kooperation
Institution Stadt Kategorie Herkunftsland
University of Pennsylvania Philadelphia, PA Hochschule Ausland Vereinigte Staaten von Amerika
Cornell University Ithaca, NY Hochschule Ausland Vereinigte Staaten von Amerika
University of California at Berkeley Berkeley, CA Hochschule Ausland Vereinigte Staaten von Amerika
Albert Ludwigs University of Freiburg Freiburg Universität Deutschland Deutschland



Projekte

Mittelgeber der letzten fünf Jahre (Öffentliche Einrichtungen und Stiftungen)		 » DFG
» Andere EU-Programme
» Andere öffentliche Einrichtungen



Wissenschaftliche Aktivitäten


Publikationen (Hyperlink)		 Link (extern): http://motesy.cs.uni-bremen.de http://motesy.cs.uni-bremen.de


Bedeutendste Publikationen
Resilience to intermittent assumption violations in reactive synthesis
Art
Autor/enRüdiger Ehlers, Ufuk Topcu
Jahr2014
InProceedings of the 17th international conference on Hybrid systems: computation and control (HSCC)
Jahrgang2014
Seiten203-212
Doi10.1145/2562059.2562128
Link zu VolltextLink (extern): http://doi.acm.org/10.1145/2562059.2562128 http://doi.acm.org/10.1145/2562059.2562128
 Konferenzbeitrag
 
Symbolic Bounded Synthesis
Art
Autor/enRüdiger Ehlers
Jahr2012
InFormal Methods in System Design
Jahrgang2012
Heft2
Seiten232-262
Doi10.1007/s10703-011-0137-x
Link zu VolltextLink (extern): http://link.springer.com/article/10.1007%2Fs10703-011-0137-x http://link.springer.com/article/10.1007%2Fs10703-011-0137-x
 Zeitschriftenaufsatz
 
ACTL ? LTL Synthesis
Art
Autor/enRüdiger Ehlers
Jahr2012
InLecture Notes in Computer Science
Jahrgang2012
Heft7358
Seiten39-54
Doi10.1007/978-3-642-31424-7_9
Link zu VolltextLink (extern): http://dx.doi.org/10.1007/978-3-642-31424-7_9 http://dx.doi.org/10.1007/978-3-642-31424-7_9
 Konferenzbeitrag
 
Symbolically synthesizing small circuits
Art
Autor/enRüdiger Ehlers, Robert Könighofer, Georg Hofferek
Jahr2012
InFormal Methods in Computer-Aided Design (FMCAD)
Jahrgang2012
Seiten91-100
Link zu VolltextLink (extern): http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6462560 http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6462560
 Konferenzbeitrag
 
Generalized Rabin(1) Synthesis with Applications to Robust System Synthesis
Art
Autor/enRüdiger Ehlers
Jahr2011
InNASA Formal Methods - Third International Symposium
Jahrgang2011
Seiten101-115
Doi10.1007/978-3-642-20398-5_9
Link zu VolltextLink (extern): http://dx.doi.org/10.1007/978-3-642-20398-5_9 http://dx.doi.org/10.1007/978-3-642-20398-5_9
 Konferenzbeitrag
 


 


Selbst ausgerichtete Tagungen in den letzten fünf Jahren
Titel Jahr Hyperlink
Third Workshop on Synthesis (SYNT) 2014 Link (extern): http://vsl2014.at/synt http://vsl2014.at/synt 




Ressourcen
 




« zurück