Contact | Legal | Deutsch German
Zur Startseite der Universität Bremen






Foto Ehlers

Mr.
Prof. Dr. Rüdiger Ehlers

Faculty 03
Mathematics/Computer Science Mathematics/Computer Science

E-Mail: ruediger.ehlers@uni-bremen.de

Affiliations | Research Topics | Cooperations | Projects | Scientific Activities | Resources


Affiliations

High-Profile Areas
» Minds Media Machines


Affiliation to a non-university institute
» German Research Center for Artificial Intelligence (DFKI Bremen)


Affialation to a work group
Code Indication deutsch Indication englisch Faculty Keywords deutsch Keywords englisch
MoTeSy  AG Modellierung Technischer Systeme  Modelling of Technical Systems Research Group  F03     




Research Topics
Engineering
» Computer Science


Cooperations

Researchers with cooperation
Institution City Category Country of origin
University of Pennsylvania Philadelphia, PA University abroad United States
Cornell University Ithaca, NY University abroad United States
University of California at Berkeley Berkeley, CA University abroad United States
Albert Ludwigs University of Freiburg Freiburg University Germany Germany



Projects

Agencies that have funded your research during the past five years (public institutions and foundations)
» DFG
» Other EU Programs
» Other Public Institutions



Scientific Activities


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


Most significant Publications
Resilience to intermittent assumption violations in reactive synthesis
Type
Author(s)Rüdiger Ehlers, Ufuk Topcu
Year2014
InProceedings of the 17th international conference on Hybrid systems: computation and control (HSCC)
Year2014
Pages203-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
Conference Paper
 
Symbolic Bounded Synthesis
Type
Author(s)Rüdiger Ehlers
Year2012
InFormal Methods in System Design
Year2012
Issue2
Pages232-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
Article
 
ACTL ? LTL Synthesis
Type
Author(s)Rüdiger Ehlers
Year2012
InLecture Notes in Computer Science
Year2012
Issue7358
Pages39-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
Conference Paper
 
Symbolically synthesizing small circuits
Type
Author(s)Rüdiger Ehlers, Robert Könighofer, Georg Hofferek
Year2012
InFormal Methods in Computer-Aided Design (FMCAD)
Year2012
Pages91-100
Link zu VolltextLink (extern): http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6462560 http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6462560
Conference Paper
 
Generalized Rabin(1) Synthesis with Applications to Robust System Synthesis
Type
Author(s)Rüdiger Ehlers
Year2011
InNASA Formal Methods - Third International Symposium
Year2011
Pages101-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
Conference Paper
 


 


Conferences organized by you during the past five years

Titel Year Hyperlink
Third Workshop on Synthesis (SYNT) 2014 Link (extern): http://vsl2014.at/synt http://vsl2014.at/synt 




Resources
 




« back