Rolf Drechsler

Rolf Drechsler

drechsler@uni-bremen.de
Institution: University of Bremen / DFKI
Department: Institute of Computer Science
Position: Head of the Computer Architecture Group (Uni Bremen), Director Cyber-Physical Systems Group Director (DFKI)
http://www.rolfdrechsler.de/

Circuits and System Descriptions, Algorithms and Data Structures, Verification, Test Pattern Generation, New Technologies

  • Lower bound proof for the size of BDDs representing a shifted addition (2025)

    Authors: Jan Kleinekathöfer, Alireza Mahzoon, Rolf Drechsler

    Published at: Information Processing Letters (Volume: 190)
    DOI: 10.1016/j.ipl.2025.106571

  • Automated polynomial formal verification using generalized binary decision diagram patterns (2025)

    Authors: Martha Schnieber, Rolf Drechsler

    Published at: Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences (Volume: 383)
    DOI: 10.1098/rsta.2023.0390

  • Why less is sometimes more Using Boolean literals to solve 2048 (2025)

    Authors: Bernhard J. Berger, Christina Plump, Rolf Drechsler

    Published at: IT - Information Technology
    DOI: 10.1515/itit-2024-0072

  • Polynomial Formal Verification of Multi-Valued Approximate Circuits Within Constant Cutwidth (2025)

    Authors: Mohamed Nadeem, Chandan Kumar Jha, Rolf Drechsler

    Published at: IEEE Transactions on Circuits and Systems I: Regular Papers (Volume: 72)
    DOI: 10.1109/TCSI.2025.3531008

  • Determining the Effect of Feedback Quality on User Engagement on Online Idea Crowdsourcing Platforms Using an AI model (2024)

    Authors: Sana Hassan Imam, Christopher A. Metz, Lars Hornuf, Rolf Drechsler

    Published at: Proceedings of the ACM on Human-Computer Interaction (Volume: 8)
    DOI: 10.1145/3686915

  • Efficient Equivalence Checking of Nonlinear Analog Circuits using Gradient Ascent (2024)

    Authors: Kemal Çǧlar Coşkun, Muhammad Hassan, Lars Hedrich, Rolf Drechsler

    Published at: Proceedings - Design Automation Conference
    DOI: 10.1145/3649329.3658496

  • Late Breaking Results: LLM-assisted Automated Incremental Proof Generation for Hardware Verification (2024)

    Authors: Khushboo Qayyum, Muhammad Hassan, Sallar Ahmadi-Pour, Chandan Kumar Jha, Rolf Drechsler

    Published at: Proceedings - Design Automation Conference
    DOI: 10.1145/3649329.3663498

  • Lower the RISC: Designing optical-probing-attack-resistant cores (2024)

    Authors: Sajjad Parvin, Sallar Ahmadi-Pour, Chandan Kumar Jha, Frank Sill Torres, Rolf Drechsler

    Published at: Microprocessors and Microsystems (Volume: 111)
    DOI: 10.1016/j.micpro.2024.105121

  • Exploiting the Extended Neighborhood of Hexagonal Qubit Architecture for Mapping Quantum Circuits (2024)

    Authors: Abhoy Kole, Kamalika Datta, Indranil Sengupta, Rolf Drechsler

    Published at: ACM Journal on Emerging Technologies in Computing Systems (Volume: 20)
    DOI: 10.1145/3688391

  • Polynomial Formal Verification of Arithmetic Circuits (2024)

    Authors: Alireza Mahzoon, Rolf Drechsler

    Published at: Foundations and Trends in Electronic Design Automation (Volume: 14)
    DOI: 10.1561/1000000059