Prof. Rolf Drechsler

Further information:

AG Computer Architecture & Reliable Embedded Systems; DFKI Cyber Physical Systems

Ecosystem

Member of the Board of Directors of the research focus "Minds, Media, Machines"

Head of the Computer Architecture working group

Director of the Cyber Physical Systems Group at the German Research Center for Artificial Intelligence (DFKI)

Co-founder and speaker of the Data Science Center (DSC) at the University of Bremen

Dean of Faculty 3 Mathematics/Computer Science

Supervisor for the research training group "CAUSE"

Member of the CoAI JRC Joint Research Center on Cooperative and Cognition enabled AI

Member of the Board of Directors of the "Logdynamics" research cluster

Publications

2010 // Conference paper

Reducing the Number of Lines in Reversible Circuits

Proceedings - Design Automation Conference

Wille, R.; Soeken, M.; Drechsler, R.

https://doi.org/10.1145/1837274.1837439

2010 // Conference paper

RobuCheck: A robustness checker for digital circuits

ACM International Conference Proceeding Series

Frehse, S.; Fey, G.; Sülflow, A.; Drechsler, R.

https://doi.org/10.1145/1772630.1772641

2010 // Conference paper

RobuCheck: A robustness checker for digital circuits

Proceedings - 13th Euromicro Conference on Digital System Design: Architectures, Methods, and Tools, DSD 2010

Frehse, S.; Fey, G.; Sülflow, A.; Drechsler, R.

https://doi.org/10.1109/DSD.2010.91

2010 // Conference paper

Robust Algorithms for High-Quality Test Pattern Generation Using Boolean Satisfiability

Proceedings - International Test Conference

Eggersglüß, S.; Drechsler, R.

https://doi.org/10.1109/TEST.2010.5699289

2010 // Conference paper

SAT-based ATPG for reversible circuits

IDT'10 - 2010 5th International Design and Test Workshop, Proceedings

Zhang, H.; Wille, R.; Drechsler, R.

https://doi.org/10.1109/IDT.2010.5724428

2010 // Book

SMT-Based Stimuli Generation in the SystemC Verification Library

Lecture Notes in Electrical Engineering

Wille, R.; Große, D.; Haedicke, F.; Drechsler, R.

https://doi.org/10.1007/978-90-481-9304-2_14

2010 // Book

Synthesis of Boolean Functions in Reversible Logic

Synthesis Lectures on Digital Circuits and Systems

Wille, R.; Drechsler, R.

http://www.scopus.com/inward/record.url?eid=2-s2.0-76249101811&partnerID=MN8TOARS

2010 // Conference paper

Synthesizing a multiplier in reversible logic

Proceedings of the 13th IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2010

Offermann, S.; Wille, R.; Dueck, G.W.; Drechsler, R.

https://doi.org/10.1109/DDECS.2010.5491757

2010 // Journal article

Synthesizing Reversible Logic, Synthesis of Reversible Logic

IT - Information Technology

Wille, R.; Drechsler, R.

https://doi.org/10.1524/itit.2010.0568

2010 // Conference paper

SyReC: A programming language for the synthesis of reversible circuits

IET Seminar Digest

Wille, R.; Offermann, S.; Drechsler, R.

https://doi.org/10.1049/ic.2010.0150

2010 // Book

Toward a Design Flow for Reversible Logic

Wille, R.; Drechsler, R.

https://doi.org/10.1007/978-90-481-9579-4

2010 // Conference paper

Toward Analyzing Functional Coverage in SystemC TLM Property Checking

Proceedings - IEEE International High-Level Design Validation and Test Workshop, HLDVT

Le, H.M.; Große, D.; Drechsler, R.

https://doi.org/10.1109/HLDVT.2010.5496658

2010 // Journal article

Toward the Fully Automatic Synthesis of Embedded Software

IEEE Embedded Systems Letters

Kühne, U.; Große, D.; Drechsler, R.

https://doi.org/10.1109/LES.2010.2049983

2010 // Conference paper

Toward Unifying Localization and Explanation for Automated Debugging

Proceedings - International Workshop on Microprocessor Test and Verification

Fey, G.; Sülflow, A.; Drechsler, R.

https://doi.org/10.1109/MTV.2010.10

2010 // Conference paper

Using QBF to Improve the Accuracy of SAT-Based Debugging

ISCAS 2010 - 2010 IEEE International Symposium on Circuits and Systems: Nano-Bio Circuit Fabrics and Systems

Sülflow, A.; Fey, G.; Drechsler, R.

https://doi.org/10.1109/ISCAS.2010.5537506

2010 // Conference paper

Verifying UML/OCL Models Using Boolean Satisfiability

Proceedings -Design, Automation and Test in Europe, DATE

Soeken, M.; Wille, R.; Kuhlmann, M.; Gogolla, M.; Drechsler, R.

http://www.scopus.com/inward/record.url?eid=2-s2.0-77953100008&partnerID=MN8TOARS

2010 // Conference paper

Window optimization of reversible and quantum circuits

Proceedings of the 13th IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2010

Soeken, M.; Wille, R.; Dueck, G.W.; Drechsler, R.

https://doi.org/10.1109/DDECS.2010.5491754

2009 // Conference paper

A proof of near-untestability for SAT-based ATPG

Proceedings of the 2009 IEEE Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2009

Tille, D.; Drechsler, R.

https://doi.org/10.1109/DDECS.2009.5012096

2009 // Journal article

Advanced verification through automatic property generation

IET Computers and Digital Techniques

Rogin, F.; Klotz, T.; Fey, G.; Drechsler, R.; Rülke, S.

https://doi.org/10.1049/iet-cdt.2008.0110

2009 // Conference paper

Approximate BDD minimization using weighted A

Proceedings - IEEE International Symposium on Circuits and Systems

Ebendt, R.; Drechsler, R.

https://doi.org/10.1109/ISCAS.2009.5118427

2009 // Conference paper

Automatic Debugging of System-on-a-Chip Designs

Proceedings - IEEE International SOC Conference, SOCC 2009

Rogin, F.; Drechsler, R.; Rülke, S.

https://doi.org/10.1109/SOCCON.2009.5398027

2009 // Conference paper

BDD-Based Synthesis of Reversible Logic for Large Functions

Proceedings - Design Automation Conference

Wille, R.; Drechsler, R.

http://www.scopus.com/inward/record.url?eid=2-s2.0-70350712413&partnerID=MN8TOARS

2009 // Conference paper

Computing Bounds for Fault Tolerance Using Formal Techniques

Proceedings - Design Automation Conference

Fey, G.; Sülflow, A.; Drechsler, R.

http://www.scopus.com/inward/record.url?eid=2-s2.0-70350743260&partnerID=MN8TOARS

2009 // Conference paper

Debugging Contradictory Antecedents in Bounded Model Checking

Proceedings of the ACM Great Lakes Symposium on VLSI, GLSVLSI

Große, D.; Wille, R.; Kühne, U.; Drechsler, R.

https://doi.org/10.1145/1531542.1531587

2009 // Book

Debugging Contradictory Constraints in Constraint-Based Random Simulation

Lecture Notes in Electrical Engineering

Große, D.; Wille, R.; Siegmund, R.; Drechsler, R.

https://doi.org/10.1007/978-1-4020-9714-0_18

"‹26 / 39›»

Prof. Rolf Drechsler

Ecosystem

Publications

Reducing the Number of Lines in Reversible Circuits

RobuCheck: A robustness checker for digital circuits

RobuCheck: A robustness checker for digital circuits

Robust Algorithms for High-Quality Test Pattern Generation Using Boolean Satisfiability

SAT-based ATPG for reversible circuits

SMT-Based Stimuli Generation in the SystemC Verification Library

Synthesis of Boolean Functions in Reversible Logic

Synthesizing a multiplier in reversible logic

Synthesizing Reversible Logic, Synthesis of Reversible Logic

SyReC: A programming language for the synthesis of reversible circuits

Toward a Design Flow for Reversible Logic

Toward Analyzing Functional Coverage in SystemC TLM Property Checking

Toward the Fully Automatic Synthesis of Embedded Software

Toward Unifying Localization and Explanation for Automated Debugging

Using QBF to Improve the Accuracy of SAT-Based Debugging

Verifying UML/OCL Models Using Boolean Satisfiability

Window optimization of reversible and quantum circuits

A proof of near-untestability for SAT-based ATPG

Advanced verification through automatic property generation

Approximate BDD minimization using weighted A

Automatic Debugging of System-on-a-Chip Designs

BDD-Based Synthesis of Reversible Logic for Large Functions

Computing Bounds for Fault Tolerance Using Formal Techniques

Debugging Contradictory Antecedents in Bounded Model Checking

Debugging Contradictory Constraints in Constraint-Based Random Simulation

Please feel free to mail us, if you have any further questions

Please feel free to mail us, if you have any further questions