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






Foto Drechsler

Mr.
Prof. Dr. Rolf Drechsler

Faculty 03
Mathematics/Computer Science Mathematics/Computer Science

E-Mail: drechsler@uni-bremen.de

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


Affiliations

High-Profile Areas
» Minds Media Machines


Graduate program
» Graduate School System Design (SyDe)
» Doctoral Research Group "Embedded Systems" (GESy)


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
AGRA  AG Rechnerarchitektur  Group of Computer Architecture  F03  Schaltungs- und Systembeschreibung, Algorithmen und Datenstrukturen, Verifikation, Testen  Circuits and System Descriptions, Algorithms and Data Structures, Verification, Test Pattern Gerneration 




Research Topics
Engineering
» Computer Science
» Computer Architecture and Embedded Systems


Cooperations


Projects

Projects (Hyperlink)
Link (extern): http://www.informatik.uni-bremen.de/agra/ger/projekt.php http://www.informatik.uni-bremen.de/agra/ger/projekt.php


Agencies that have funded your research during the past five years (public institutions and foundations)
» University of Bremen/Central Research Development Fund
» DFG
» BMBF
» BMWi
» EU (7. FP)
» DAAD



Scientific Activities


Publications (Hyperlink)
Link (extern): http://www.informatik.uni-bremen.de/agra/ger/pub.php?search=Rolf%20Drechsler http://www.informatik.uni-bremen.de/agra/ger/pub.php?search=Rolf%20Drechsler


Most significant Publications
Scalable One-Pass Synthesis for Digital Microfluidic Biochips
Type
Author(s)Robert Wille, Oliver Keszocze, Rolf Drechsler, Tobias Boehnisch, Alexander Kroker
Year2015
InIEEE Design & Test
Year2015
Issue32(6)
Pages41-50
Article
 
Verifying SystemC using stateful symbolic simulation
Type
Author(s)Vladimir Herdt, Hoang M. Le, Rolf Drechsler
Year2015
InDAC
Year2015
Pages49:1-49:6
Conference Paper
 
Exact Multiple-Control Toffoli Network Synthesis With SAT Techniques
Type
Author(s)Daniel Große, Robert Wille, Gerhard W. Dueck, Rolf Drechsler
Year2009
InIEEE Trans. on CAD of Integrated Circuits and Systems
Year2009
Issue28(5)
Pages703-715
Article
 
BDD-based synthesis of reversible logic for large functions
Type
Author(s)Robert Wille, Rolf Drechsler
Year2009
InDAC 2009
Year2009
Pages270-275
Conference Paper
 
On Acceleration of SAT-Based ATPG for Industrial Designs
Type
Author(s)Rolf Drechsler, Stephan Eggersglüß, Görschwin Fey, Andreas Glowatz, Friedrich Hapke, Jürgen Schlöffel, Daniel Tille
Year2008
InIEEE Trans. on CAD of Integrated Circuits and Systems
Year2008
Issue27(7)
Pages1329-1333
Article
 


 

Ph.D. supervision (Hyperlink)
Link (extern): http://www.informatik.uni-bremen.de/agra/ger/promotion.php http://www.informatik.uni-bremen.de/agra/ger/promotion.php



Conferences organized by you during the past five years

Titel Year Hyperlink
ISMVL 2014 Link (extern): http://www.informatik.uni-bremen.de/ismvl2014/ http://www.informatik.uni-bremen.de/ismvl2014/ 
ZuE 2012 Link (extern): http://conference.vde.com/zue2012/Pages/Startseite.aspx http://conference.vde.com/zue2012/Pages/Startseite.aspx 
CPMNS 2011 Link (extern): http://www.informatik.uni-bremen.de/cpmns11/cms/ http://www.informatik.uni-bremen.de/cpmns11/cms/ 




Resources
 




« back