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

2015 // Conference paper

Automated feature localization for dynamically generated SystemC designs

Proceedings -Design, Automation and Test in Europe, DATE

Stoppe, J.; Wille, R.; Drechsler, R.

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

2015 // Conference paper

Automated feature localization for dynamically generated SystemC designs

Proceedings -Design, Automation and Test in Europe, DATE

Stoppe, J.; Wille, R.; Drechsler, R.

2015 // Conference paper

Automatic refinement checking for formal system models

Forum on Specification and Design Languages

Seiter, J.; Wille, R.; Kuhne, U.; Drechsler, R.

https://doi.org/10.1109/FDL.2014.7119339

2015 // Conference paper

Automating the translation of assertions using natural language processing techniques

Forum on Specification and Design Languages

Soeken, M.; Harris, C.B.; Abdessaied, N.; Harris, I.G.; Drechsler, R.

https://doi.org/10.1109/FDL.2014.7119356

2015 // Conference paper

BDD-Based Synthesis for All-Optical Mach-Zehnder Interferometer Circuits

Proceedings of the IEEE International Conference on VLSI Design

Schönborn, E.; Datta, K.; Wille, R.; Sengupta, I.; Rahaman, H.; Drechsler, R.

https://doi.org/10.1109/VLSID.2015.79

2015 // Journal article

Benefits of Illustrations and Videos for Technical Documentation

Computers in Human Behavior

Große, C.S.; Jungmann, L.; Drechsler, R.

https://doi.org/10.1016/j.chb.2014.11.095

2015 // Conference paper

Checking Concurrent Behavior in UML/OCL Models

2015 ACM/IEEE 18th International Conference on Model-Driven Engineering Languages and Systems, MODELS 2015 - Proceedings

Przigoda, N.; Hilken, C.; Wille, R.; Peleska, J.; Drechsler, R.

https://doi.org/10.1109/MODELS.2015.7338248

2015 // Conference paper

Contradiction Analysis for Inconsistent Formal Models

Proceedings - 2015 IEEE 18th International Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2015

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

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

2015 // Book

Coverage of OCL operational specifications and invariants

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

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

https://doi.org/10.1007/978-3-319-21215-9_12

2015 // Conference paper

Determining the Minimum Number of Swap Gates for Multidimensional Nearest-Neighbor Quantum Circuits

20th Asia and South Pacific Design Automation Conference, ASP-DAC 2015

Lye, A.; Wille, R.; Drechsler, R.

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

2015 // Journal article

Embedding of Large Boolean Functions for Reversible Logic

ACM Journal on Emerging Technologies in Computing Systems

Soeken, M.; Wille, R.; Keszocze, O.; Michael Miller, D.; Drechsler, R.

https://doi.org/10.1145/2786982

2015 // Conference paper

Envisioning Self-Verification of Electronic Systems

10th International Symposium on Reconfigurable and Communication-Centric Systems-on-Chip, ReCoSoC 2015

Drechsler, R.; Franzle, M.; Wille, R.

https://doi.org/10.1109/ReCoSoC.2015.7238101

2015 // Conference paper

Precise routing for digital microfluidic biochips with temporary blockages

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

Keszocze, O.; Wille, R.; Drechsler, R.

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

2015 // Book

Formal Specification Level: Concepts, Methods, and Algorithms

Soeken, M.; Drechsler, R.

https://doi.org/10.1007/978-3-319-08699-6

2015 // Journal article

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

Natural Computing

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

https://doi.org/10.1007/s11047-014-9422-0

2015 // Book

Lazy-CSeq-SP: Boosting sequentialization-based verification of multithreaded C programs through symbolic pruning of redundant schedules

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

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

https://doi.org/10.1007/978-3-319-24953-7_18

2015 // Conference paper

Leveraging the Analysis of Invariant Independence in Formal System Models

Proceedings - 18th Euromicro Conference on Digital System Design, DSD 2015

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

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

2015 // Conference paper

MetaSMT: A Unified Interface to SMT-LIB2

Forum on Specification and Design Languages

Riener, H.; Soeken, M.; Werther, C.; Fey, G.; Drechsler, R.

https://doi.org/10.1109/FDL.2014.7119353

2015 // Conference paper

Multi-objective BDD Optimization Using Evolutionary Algorithms

GECCO 2015 - Proceedings of the 2015 Genetic and Evolutionary Computation Conference

Shirinzadeh, S.; Soeken, M.; Drechsler, R.

https://doi.org/10.1145/2739480.2754718

2015 // Book

Preface

Formal Modeling and Verification of Cyber-Physical Systems: 1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015

Drechsler, R.; Kühne, U.

https://doi.org/10.1007/978-3-658-09994-7

2015 // Conference paper

Recurrence Relations Revisited: Scalable Verification of Bit-Level Multiplier Circuits

Proceedings of IEEE Computer Society Annual Symposium on VLSI, ISVLSI

Sayed-Ahmed, A.; Kühne, U.; Große, D.; Drechsler, R.

https://doi.org/10.1109/ISVLSI.2015.45

2015 // Conference paper

Assistance with Formulating Requirements Using Automatic Quality Assessment

Proceedings - 2015 IEEE 18th International Symposium on Design and Diagnostics of Electronic Circuits and Systems, DDECS 2015

Allahyari-Abhari, A.; Soeken, M.; Drechsler, R.

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

2015 // Conference paper

Reverse BDD-based synthesis for splitter-free optical circuits

20th Asia and South Pacific Design Automation Conference, ASP-DAC 2015

Wille, R.; Keszocze, O.; Hopfmuller, C.; Drechsler, R.

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

2015 // Conference paper

Reversible circuit rewriting using simulated annealing

IEEE/IFIP International Conference on VLSI and System-on-Chip, VLSI-SoC

Abdessaied, N.; Soeken, M.; Dueck, G.W.; Drechsler, R.

https://doi.org/10.1109/VLSI-SoC.2015.7314431

2015 // Conference paper

Secure IP Integration Using Container Modules

Proceedings - 2014 5th International Symposium on Electronic System Design, ISED 2014

Drechsler, R.; Kuhne, U.

https://doi.org/10.1109/ISED.2014.8

"‹19 / 39›»

Prof. Rolf Drechsler

Ecosystem

Publications

Automated feature localization for dynamically generated SystemC designs

Automated feature localization for dynamically generated SystemC designs

Automatic refinement checking for formal system models

Automating the translation of assertions using natural language processing techniques

BDD-Based Synthesis for All-Optical Mach-Zehnder Interferometer Circuits

Benefits of Illustrations and Videos for Technical Documentation

Checking Concurrent Behavior in UML/OCL Models

Contradiction Analysis for Inconsistent Formal Models

Coverage of OCL operational specifications and invariants

Determining the Minimum Number of Swap Gates for Multidimensional Nearest-Neighbor Quantum Circuits

Embedding of Large Boolean Functions for Reversible Logic

Envisioning Self-Verification of Electronic Systems

Precise routing for digital microfluidic biochips with temporary blockages

Formal Specification Level: Concepts, Methods, and Algorithms

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

Lazy-CSeq-SP: Boosting sequentialization-based verification of multithreaded C programs through symbolic pruning of redundant schedules

Leveraging the Analysis of Invariant Independence in Formal System Models

MetaSMT: A Unified Interface to SMT-LIB2

Multi-objective BDD Optimization Using Evolutionary Algorithms

Preface

Recurrence Relations Revisited: Scalable Verification of Bit-Level Multiplier Circuits

Assistance with Formulating Requirements Using Automatic Quality Assessment

Reverse BDD-based synthesis for splitter-free optical circuits

Reversible circuit rewriting using simulated annealing

Secure IP Integration Using Container Modules

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

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