Wissenschaftsschwerpunkt der

logo-mmm-w
logo-mmm-w
© Jörg Sarbach
© Jörg Sarbach
Prof. Rolf Drechsler
  • Fachbereich: Fachbereich 3 - Mathematik & Informatik
  • Fachgebiet: Computer Architecture (systems descriptions, test and verification, synthesis) Further Information: Group of Computer Architecture; Group of Reliable Embedded Systems; DFKI Cyber Physical Systems
  • Büro: MZH 4330

Weitere Informationen:

AG Rechnerarchitektur & Zuverlässige Eingebettete Systeme; DFKI Cyber Physical Systems

Ökosystem

Mitglied des Direktoriums des Wissenschaftsschwerpunkts "Minds, Media, Machines"
Leiter der Arbeitsgruppe Rechnerarchitektur
Direktor der Gruppe Cyber Physical Systems am Deutschen Forschungszentrum für Künstliche Intelligenz (DFKI)
Mitgründer und Sprecher des Data Science Center (DSC) an der Universität Bremen
Dekan des Fachbereichs 3 Mathematik/Informatik
Betreuer für das Graduiertenkolleg „CAUSE“
Mitglied des CoAI JRC Joint Research Center on Cooperative and Cognition enabled AI
Mitglied des Direktoriums des Forschungscluster "Logdynamics"
Publikationen
2017 // Book

Preface

Formal System Verification: State-of the-Art and Future Trends

Drechsler, R.
https://doi.org/10.1007/978-3-319-57685-5
2017 // Conference paper

ProACt: A processor for high performance on-demand approximate computing

Proceedings of the ACM Great Lakes Symposium on VLSI, GLSVLSI

Chandrasekharan, A.; Große, D.; Drechsler, R.
https://doi.org/10.1145/3060403.3060415
2017 // Conference paper

Reconfigurable TAP controllers with embedded compression for large test data volume

2017 IEEE Int. Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems, DFT 2017

Huhn, S.; Eggersglus, S.; Drechsler, R.
https://doi.org/10.1109/DFT.2017.8244462
2017 // Book

Semi-formal cycle-accurate temporal execution traces reconstruction

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

Massoud, R.; Stoppe, J.; Große, D.; Drechsler, R.
https://doi.org/10.1007/978-3-319-65765-3_19
2017 // Journal article

Synthesis of optical circuits using binary decision diagrams

Integration, the VLSI Journal

Deb, A.; Wille, R.; Keszöcze, O.; Shirinzadeh, S.; Drechsler, R.
https://doi.org/10.1016/j.vlsi.2017.05.001
2017 // Conference paper

Towards a model-based verification methodology for Complex Swarm Systems (Invited paper)

Proceedings - 2016 6th International Symposium on Embedded Computing and System Design, ISED 2016

Filho, J.G.; Przigoda, N.; Wille, R.; Drechsler, R.
https://doi.org/10.1109/ISED.2016.7977047
2017 // Journal article

Towards a Verification Flow Across Abstraction Levels Verifying Implementations Against Their Formal Specification

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

Gonzalez-De-Aledo, P.; Przigoda, N.; Wille, R.; Drechsler, R.; Sanchez, P.
https://doi.org/10.1109/TCAD.2016.2611494
2017 // Other

Towards reverse engineering reversible logic

arXiv

Saeed, S.M.; Cui, X.; Wille, R.; Zulehner, A.; Wu, K.; Drechsler, R.; Karri, R.
http://www.scopus.com/inward/record.url?eid=2-s2.0-85094429637&partnerID=MN8TOARS
2017 // Book

Towards VHDL-based design of reversible circuits work in progress report

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

Al-Wardi, Z.; Wille, R.; Drechsler, R.
https://doi.org/10.1007/978-3-319-59936-6_8
2017 // Conference paper

Trust is good, Control is better: Hardware-based Instruction-Replacement for Reliable Processor-IPs

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

Schmitz, K.; Chandrasekharan, A.; Filho, J.G.; Große, D.; Drechsler, R.
https://doi.org/10.1109/ASPDAC.2017.7858296
2017 // Conference paper

Unintrusive aging analysis based on offline learning

2017 IEEE Int. Symposium on Defect and Fault Tolerance in VLSI and Nanotechnology Systems, DFT 2017

Torres, F.S.; Rodrigues Leite, P.F.; Drechsler, R.
https://doi.org/10.1109/DFT.2017.8244453
2017 // Conference paper

Yise - A novel framework for boolean networks using Y-inverter graphs

MEMOCODE 2017 - 15th ACM-IEEE International Conference on Formal Methods and Models for System Design

Chandrasekharan, A.; Große, D.; Drechsler, R.
https://doi.org/10.1145/3127041.3127065
2016 // Conference paper

A general and exact routing methodology for Digital Microfluidic Biochips

2015 IEEE/ACM International Conference on Computer-Aided Design, ICCAD 2015

Keszocze, O.; Wille, R.; Chakrabarty, K.; Drechsler, R.
https://doi.org/10.1109/ICCAD.2015.7372663
2016 // Conference paper

AIBA: An Automated Intra-cycle Behavioral Analysis for SystemC-based design exploration

Proceedings of the 34th IEEE International Conference on Computer Design, ICCD 2016

Goli, M.; Stoppe, J.; Drechsler, R.
https://doi.org/10.1109/ICCD.2016.7753303
2016 // Conference paper

An MIG-based compiler for programmable logic-in-memory architectures

Proceedings - Design Automation Conference

Soeken, M.; Shirinzadeh, S.; Gaillardon, P.-E.; Amarú, L.G.; Drechsler, R.; De Micheli, G.
https://doi.org/10.1145/2897937.2897985
2016 // Journal article

Analyzing Inconsistencies in UML/OCL Models

Journal of Circuits, Systems and Computers

Przigoda, N.; Wille, R.; Drechsler, R.
https://doi.org/10.1142/S0218126616400211
2016 // Journal article

Ancilla-free synthesis of large reversible functions using binary decision diagrams

Journal of Symbolic Computation

Soeken, M.; Tague, L.; Dueck, G.W.; Drechsler, R.
https://doi.org/10.1016/j.jsc.2015.03.002
2016 // Conference paper

Approximate BDD optimization with prioritized -preferred evolutionary algorithm

GECCO 2016 Companion - Proceedings of the 2016 Genetic and Evolutionary Computation Conference

Shirinzadeh, S.; Soeken, M.; Groe, D.; Drechsler, R.
https://doi.org/10.1145/2908961.2908987
2016 // Conference paper

Approximation-aware rewriting of AIGs for error tolerant applications

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

Chandrasekharan, A.; Soeken, M.; Große, D.; Drechsler, R.
https://doi.org/10.1145/2966986.2967003
2016 // Journal article

Atomic distributions in crystal structures solved by Boolean satisfiability techniques

Zeitschrift fur Kristallographie - Crystalline Materials

Soeken, M.; Drechsler, R.; Fischer, R.X.
https://doi.org/10.1515/zkri-2015-1887
2016 // Book

Automatic refinement checking for formal system models

Lecture Notes in Electrical Engineering

Seiter, J.; Wille, R.; Kühne, U.; Drechsler, R.
https://doi.org/10.1007/978-3-319-24457-0_1
2016 // Conference paper

BDD minimization for approximate computing

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

Soeken, M.; Grobe, D.; Chandrasekharan, A.; Drechsler, R.
https://doi.org/10.1109/ASPDAC.2016.7428057
2016 // Conference paper

Change impact analysis for hardware designs from natural language to system level

Forum on Specification and Design Languages

Ring, M.; Stoppe, J.; Luth, C.; Drechsler, R.
https://doi.org/10.1109/FDL.2016.7880369
2016 // Conference paper

Clocks vs. instants relations: Verifying CCSL time constraints in UML/MARTE models

2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2016

Peters, J.; Przigoda, N.; Wille, R.; Drechsler, R.
https://doi.org/10.1109/MEMCOD.2016.7797750
2016 // Conference paper

Compiled symbolic simulation for systemC

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

Herdt, V.; Le, H.M.; Große, D.; Drechsler, R.
https://doi.org/10.1145/2966986.2967016

Schreiben Sie uns gerne eine E-Mail, falls Sie weitere Fragen haben.

mmm@uni-bremen.de 

  • 2026 Minds, Media, Machines

Schreiben Sie uns gerne eine E-Mail, falls Sie weitere Fragen haben.

mmm@uni-bremen.de 

  • 2026 Minds, Media, Machines