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

  • Repetitive Processes and Their Surrogate-Model Congruent Encoding for Evolutionary Algorithms - A Theoretic Proposal (2023)

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

    Published at: GECCO 2023 Companion - Proceedings of the 2023 Genetic and Evolutionary Computation Conference Companion
    DOI: 10.1145/3583133.3596389

  • Scalable Neuroevolution of Ensemble Learners (2023)

    Authors: Marcel Merten, Rune Krauss, Rolf Drechsler

    Published at: GECCO 2023 Companion - Proceedings of the 2023 Genetic and Evolutionary Computation Conference Companion
    DOI: 10.1145/3583133.3590711

  • MARADIV: Library of MAGIC-Based Approximate Restoring Array Divider Benchmark Circuits for In-Memory Computing Using Memristors (2023)

    Authors: Chandan Kumar Jha, Sallar Ahmadi-Pour, Rolf Drechsler

    Published at: IEEE Transactions on Circuits and Systems II: Express Briefs (Volume: 70)
    DOI: 10.1109/TCSII.2023.3242976

  • Specification-Based Symbolic Execution for Stateful Network Protocol Implementations in IoT (2023)

    Authors: Sören Tempel, Vladimir Herdt, Rolf Drechsler

    Published at: IEEE Internet of Things Journal (Volume: 10)
    DOI: 10.1109/JIOT.2023.3236694

  • Impact of sneak paths on in-memory logic design in memristive crossbars (2023)

    Authors: Kamalika Datta, Arighna Deb, Abhoy Kole, Rolf Drechsler

    Published at: IT - Information Technology (Volume: 65)
    DOI: 10.1515/itit-2023-0020

  • Formal verification of structurally complex multipliers (2023)

    Authors: Alireza Mahzoon, Daniel Große, Rolf Drechsler

    Published at: Formal Verification of Structurally Complex Multipliers
    DOI: 10.1007/978-3-031-24571-8

  • Automated Equivalence Checking Method for Majority Based In-Memory Computing on ReRAM Crossbars (2023)

    Authors: Arighna Deb, Kamalika Datta, Muhammad Hassan, Saeideh Shirinzadeh, Rolf Drechsler

    Published at: Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC
    DOI: 10.1145/3566097.3567842

  • Trojan-D2: Post-Layout Design and Detection of Stealthy Hardware Trojans-A RISC-V Case Study (2023)

    Authors: Sajjad Parvin, Mehran Goli, Frank Sill Torres, Rolf Drechsler

    Published at: Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC
    DOI: 10.1145/3566097.3567919

  • EDDY: A Multi-Core BDD Package with Dynamic Memory Management and Reduced Fragmentation (2023)

    Authors: Rune Krauss, Mehran Goli, Rolf Drechsler

    Published at: Proceedings of the Asia and South Pacific Design Automation Conference, ASP-DAC
    DOI: 10.1145/3566097.3567913

  • Hybrid PTX Analysis for GPU accelerated CNN inferencing aiding Computer Architecture Design (2023)

    Authors: Christopher A. Metz, Christina Plump, Bernhard J. Berger, Rolf Drechsler

    Published at: Forum on Specification and Design Languages (Volume: 2023-September)
    DOI: 10.1109/FDL59689.2023.10272088