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

2001 // Journal article

Combining Genetic Algorithms and Symbolic Methods for High-Quality Testing of Sequential Circuits

Journal of Electronic Testing: Theory and Applications (JETTA)

Keim, M.; Drechsler, N.; Drechsler, R.; Becker, B.

https://doi.org/10.1023/A:1011193725824

2001 // Journal article

Decision diagram method for calculating the pruned Walsh transform

IEEE Transactions on Computers

Jankovic, D.; Stankovic, R.S.; Drechsler, R.

https://doi.org/10.1109/12.908990

2001 // Journal article

Equivalence checking of digital circuits in an industrial environment, Equivalence checking of digital circuits in an industrial environment

IT - Information Technology

Drechsler, R.

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

2001 // Conference paper

An evolutionary algorithm approach for symbolic FSM traversals

IEEE Pacific RIM Conference on Communications, Computers, and Signal Processing - Proceedings

Thornton, M.A.; Drechsler, R.

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

2001 // Conference paper

GREEDY IIP: Partitioning Large Graphs Using Greedy Iterative Improvement

Proceedings - Euromicro Symposium on Digital Systems Design: Architectures, Methods, and Tools, DSD 2001

Becker, B.; Drechsler, R.; Eschbach, T.; Gunther, W.

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

2001 // Book

Heuristic learning based on genetic programming

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

Drechsler, N.; Schmiedle, F.; Gro e, D.; Drechsler, R.

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

2001 // Journal article

History-Based Dynamic BDD Minimization

Integration, the VLSI Journal

Drechsler, R.; Günther, W.

https://doi.org/10.1016/S0167-9260(01)00021-9

2001 // Conference paper

Implementation of read-κ-times BDDs using standard BDD packages

Proceedings of the IEEE International Conference on VLSI Design

Günther, W.; Drechsler, R.

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

2001 // Conference paper

Level assignment for displaying combinational logic

Proceedings - Euromicro Symposium on Digital Systems Design: Architectures, Methods, and Tools, DSD 2001

Drechsler, R.; Günther, W.; Linhard, L.; Angst, G.

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

2001 // Conference paper

Low-Power Optimization Technique for BDD-Mapped Circuits

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

Lindgren, P.; Kerttu, M.; Thornton, M.; Drechsler, R.

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

2001 // Conference paper

Minimization of OPKFDDs Using Genetic Algorithms

Proceedings - Euromicro Symposium on Digital Systems Design: Architectures, Methods, and Tools, DSD 2001

Jung, M.; Lee, G.; Park, S.; Drechsler, R.

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

2001 // Book

Multi-objective optimization based on relationship preference

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

Drechsler, N.; Drechsler, R.; Becker, B.

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

2001 // Conference paper

Performance-Driven Optimization for MUX-Based FPGAs

Proceedings of the IEEE International Conference on VLSI Design

Günther, W.; Drechsler, R.

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

2001 // Conference paper

Selection of Efficient Reordering Heuristics for MDD Construction

Proceedings of The International Symposium on Multiple-Valued Logic

Schmiedle, F.; Günther, W.; Drechsler, R.

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

2001 // Conference paper

Spectral decision diagrams using graph transformations

Proceedings -Design, Automation and Test in Europe, DATE

Thornton, M.; Drechsler, R.

https://doi.org/10.1109/DATE.2001.915106

2001 // Book

Too much knowledge hurts: Acceleration of genetic programs for learning heuristics

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

Schmiedle, F.; Große, D.; Drechsler, R.; Becker, B.

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

2001 // Journal article

Using Lower Bounds During Dynamic BDD Minimization

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Drechsler, R.; Günther, W.; Somenzi, F.

https://doi.org/10.1109/43.905674

2000 // Conference paper

ACTion: Combining Logic Synthesis and Technology Mapping for MUX-Based FPGAs

Conference Proceedings of EUROMICRO

Günther, W.; Drechsler, R.

https://doi.org/10.1109/EURMIC.2000.874625

2000 // Journal article

ACTion: Combining Logic Synthesis and Technology Mapping for MUX-Based FPGAs

Journal of Systems Architecture

Günther, W.; Drechsler, R.

https://doi.org/10.1016/S1383-7621(00)00027-8

2000 // Journal article

Boolean Function Representation and Spectral Characterization Using AND/OR Graphs

Integration, the VLSI Journal

Žužek, A.; Drechsler, R.; Thornton, M.A.

https://doi.org/10.1016/S0167-9260(00)00003-1

2000 // Journal article

Computation of Spectral Information from Logic Netlists

Proceedings of The International Symposium on Multiple-Valued Logic

Drechsler, R.; Thornton, M.

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

2000 // Conference paper

Design Reuse Through Modularity: A Scalable, Dynamically (Re)configurable Multiprocessor System

Conference Proceedings of EUROMICRO

Drechsler, R.; Drechsler, N.; Mackensen, E.; Schubert, T.; Becker, B.

https://doi.org/10.1109/EURMIC.2000.874662

2000 // Conference paper

Dynamic re-encoding during MDD minimization

Proceedings of The International Symposium on Multiple-Valued Logic

Schmiedle, Frank; Guenther, Wolfgang; Drechsler, Rolf

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

2000 // Conference paper

Efficient Dynamic Minimization of Word-Level DDs Based on Lower Bound Computation

Proceedings - IEEE International Conference on Computer Design: VLSI in Computers and Processors

Guenther, Wolfgang; Drechsler, Rolf; Hoereth, Stefan

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

2000 // Journal article

ETDD-based synthesis of two-dimensional cellular arrays for multi-output, incompletely specified Boolean functions

IEE Proceedings: Computers and Digital Techniques

Lee, G.; Drechsler, R.; Perkowski, M.A.

https://doi.org/10.1049/ip-cdt:19990798

"‹34 / 39›»

Prof. Rolf Drechsler

Ecosystem

Publications

Combining Genetic Algorithms and Symbolic Methods for High-Quality Testing of Sequential Circuits

Decision diagram method for calculating the pruned Walsh transform

Equivalence checking of digital circuits in an industrial environment, Equivalence checking of digital circuits in an industrial environment

An evolutionary algorithm approach for symbolic FSM traversals

GREEDY IIP: Partitioning Large Graphs Using Greedy Iterative Improvement

Heuristic learning based on genetic programming

History-Based Dynamic BDD Minimization

Implementation of read-κ-times BDDs using standard BDD packages

Level assignment for displaying combinational logic

Low-Power Optimization Technique for BDD-Mapped Circuits

Minimization of OPKFDDs Using Genetic Algorithms

Multi-objective optimization based on relationship preference

Performance-Driven Optimization for MUX-Based FPGAs

Selection of Efficient Reordering Heuristics for MDD Construction

Spectral decision diagrams using graph transformations

Too much knowledge hurts: Acceleration of genetic programs for learning heuristics

Using Lower Bounds During Dynamic BDD Minimization

ACTion: Combining Logic Synthesis and Technology Mapping for MUX-Based FPGAs

ACTion: Combining Logic Synthesis and Technology Mapping for MUX-Based FPGAs

Boolean Function Representation and Spectral Characterization Using AND/OR Graphs

Computation of Spectral Information from Logic Netlists

Design Reuse Through Modularity: A Scalable, Dynamically (Re)configurable Multiprocessor System

Dynamic re-encoding during MDD minimization

Efficient Dynamic Minimization of Word-Level DDs Based on Lower Bound Computation

ETDD-based synthesis of two-dimensional cellular arrays for multi-output, incompletely specified Boolean functions

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

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