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

2013 // Conference paper

Determining Relevant Model Elements for the Verification of UML/OCL Specifications

Proceedings -Design, Automation and Test in Europe, DATE

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

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

2013 // Journal article

Effect of Negative Control Lines on the Exact Synthesis of Reversible Circuits

Journal of Multiple-Valued Logic and Soft Computing

Wille, R.; Mathias, S.; Przigoda, N.; Drechsler, R.

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

2013 // Journal article

Enhanced formal verification workflow for circuits that integrates debugging and coverage analysis

Electronic Communications of the EASST

Große, D.; Fey, G.; Drechsler, R.

https://doi.org/10.14279/tuj.eceasst.62.860.854

2013 // Conference paper

Exact template matching using Boolean satisfiability

Proceedings of The International Symposium on Multiple-Valued Logic

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

https://doi.org/10.1109/ISMVL.2013.26

2013 // Book

Exploiting Negative Control Lines in the Optimization of Reversible Circuits

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Datta, K.; Rathi, G.; Wille, R.; Sengupta, I.; Rahaman, H.; Drechsler, R.

https://doi.org/10.1007/978-3-642-38986-3-17

2013 // Conference paper

Exploiting Reversibility in the Complete Simulation of Reversible Circuits

IEEE AFRICON Conference

Wille, R.; Stelter, S.; Drechsler, R.

https://doi.org/10.1109/AFRCON.2013.6757629

2013 // Conference paper

Fault ordering for the automatic generation of test patterns for reversible circuits

Proceedings of The International Symposium on Multiple-Valued Logic

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

https://doi.org/10.1109/ISMVL.2013.28

2013 // Book

FoREnSiC—An automatic debugging environment for C programs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Bloem, R.; Drechsler, R.; Fey, G.; Finder, A.; Hofferek, G.; Könighofer, R.; Raik, J.; Repinski, U.; Sülflow, A.

https://doi.org/10.1007/978-3-642-39611-3-24

2013 // Conference paper

Grammar-based program generation based on model discovery

2013 8th IEEE Design and Test Symposium, IDT 2013

Soeken, M.; Drechsler, R.

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

2013 // Conference paper

Hardware-Software Co-Visualization: Developing Systems in the Holodeck

Proceedings of the 2013 IEEE 16th International Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2013

Drechsler, R.; Soeken, M.

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

2013 // Conference paper

Improved SAT-based ATPG: More constraints, better compaction

IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, ICCAD

Eggersglus, S.; Wille, R.; Drechsler, R.

https://doi.org/10.1109/ICCAD.2013.6691102

2013 // Conference paper

Improving the mapping of reversible circuits to quantum circuits using multiple target lines

Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC

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

https://doi.org/10.1109/ASPDAC.2013.6509587

2013 // Conference paper

Incorporating User Preferences into Multi-Objective Optimization Using the Epsilon-Preferred Relation

IJCCI 2013 - Proceedings of the 5th International Joint Conference on Computational Intelligence

Drechsler, N.; Sülflow, A.; Drechsler, R.

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

2013 // Conference paper

Lips: An IDE for model-driven engineering based on natural language processing

2013 1st International Workshop on Natural Language Analysis in Software Engineering, NaturaLiSE 2013 - Proceedings

Keszocze, O.; Soeken, M.; Kuksa, E.; Drechsler, R.

https://doi.org/10.1109/NAturaLiSE.2013.6611718

2013 // Conference paper

Minimal Stimuli Generation in Simulation-Based Verification

Proceedings - 16th Euromicro Conference on Digital System Design, DSD 2013

Yang, S.; Wille, R.; Große, D.; Drechsler, R.

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

2013 // Book

On the Q in QMDDs: Efficient Representation of Quantum Functionality in the QMDD Data Structure

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Niemann, P.; Wille, R.; Drechsler, R.

https://doi.org/10.1007/978-3-642-38986-3-11

2013 // Conference paper

PASSAT 2.0: A multifunctional SAT-based testing framework

LATW 2013 - 14th IEEE Latin American Test Workshop

Drechsler, R.; Diepenbeck, M.; Eggersgluss, S.; Wille, R.

https://doi.org/10.1109/LATW.2013.6562675

2013 // Book

Property checking of quantum circuits using quantum multiple-valued decision diagrams

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

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

https://doi.org/10.1007/978-3-642-36315-3-15

2013 // Journal article

Quantum circuits using roots of the Pauli matrices

Physical Review A - Atomic, Molecular, and Optical Physics

Soeken, M.; Miller, D.M.; Drechsler, R.

https://doi.org/10.1103/PhysRevA.88.042322

2013 // Book

Reducing the depth of quantum circuits by adding additional circuit lines

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

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

https://doi.org/10.1007/978-3-642-38986-3-18

2013 // Book

Reversible circuit synthesis of symmetric functions using a simple regular structure

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Deb, A.; Das, D.K.; Rahaman, H.; Bhattacharya, B.B.; Wille, R.; Drechsler, R.

https://doi.org/10.1007/978-3-642-38986-3-15

2013 // Conference paper

Scalable Fault Localization for SystemC TLM Designs

Proceedings -Design, Automation and Test in Europe, DATE

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

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

2013 // Conference paper

The SyReC hardware description language: Enabling scalable synthesis of reversible circuits

Midwest Symposium on Circuits and Systems

Wille, R.; Drechsler, R.

https://doi.org/10.1109/MWSCAS.2013.6674836

2013 // Conference paper

Toward a Generic Verification Methodology for System Models

Proceedings -Design, Automation and Test in Europe, DATE

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

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

2013 // Conference paper

Toward Automatic Scenario Generation from Coverage Information

2013 8th International Workshop on Automation of Software Testing, AST 2013 - Proceedings

Diepenbeck, M.; Soeken, M.; Grobe, D.; Drechsler, R.

https://doi.org/10.1109/IWAST.2013.6595796

"‹22 / 39›»

Prof. Rolf Drechsler

Ecosystem

Publications

Determining Relevant Model Elements for the Verification of UML/OCL Specifications

Effect of Negative Control Lines on the Exact Synthesis of Reversible Circuits

Enhanced formal verification workflow for circuits that integrates debugging and coverage analysis

Exact template matching using Boolean satisfiability

Exploiting Negative Control Lines in the Optimization of Reversible Circuits

Exploiting Reversibility in the Complete Simulation of Reversible Circuits

Fault ordering for the automatic generation of test patterns for reversible circuits

FoREnSiC—An automatic debugging environment for C programs

Grammar-based program generation based on model discovery

Hardware-Software Co-Visualization: Developing Systems in the Holodeck

Improved SAT-based ATPG: More constraints, better compaction

Improving the mapping of reversible circuits to quantum circuits using multiple target lines

Incorporating User Preferences into Multi-Objective Optimization Using the Epsilon-Preferred Relation

Lips: An IDE for model-driven engineering based on natural language processing

Minimal Stimuli Generation in Simulation-Based Verification

On the Q in QMDDs: Efficient Representation of Quantum Functionality in the QMDD Data Structure

PASSAT 2.0: A multifunctional SAT-based testing framework

Property checking of quantum circuits using quantum multiple-valued decision diagrams

Quantum circuits using roots of the Pauli matrices

Reducing the depth of quantum circuits by adding additional circuit lines

Reversible circuit synthesis of symmetric functions using a simple regular structure

Scalable Fault Localization for SystemC TLM Designs

The SyReC hardware description language: Enabling scalable synthesis of reversible circuits

Toward a Generic Verification Methodology for System Models

Toward Automatic Scenario Generation from Coverage Information

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

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