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