Skip to main content Skip to main navigation

Publications

Displaying results 1771 to 1780 of 15039.

  1. Jan Kleinekathöfer; Muhammad Hassan; Rolf Drechsler

    Secure Open-Source Chip Design: Logic Locking and Attack Analysis within the OpenLane Flow

    In: GI/GMM/ITG Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ). GI/GMM/ITG Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ-2026), February 22-24, Potsdam, Germany, 2026.

  2. Sajjad Parvin; Frank Sill Torres; Rolf Drechsler

    Securing Circuits Against Optical Probing Attack

    In: University Fair Workshop on Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2025), Lyon, France, 2025.

  3. Christoph Lüth; Tim Güneysu; Pascal Sasdrich; Rolf Drechsler

    EMBOSOM | Emigrating Embedded Software Security into Modern Emerging Hardware Paradigms

    In: Workshop on Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE), Lyon, France, 2025.

  4. Caroline Dominik; Rolf Drechsler

    Embedding Modulo Counter Circuits for their Polynomial Formal Verification

    In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2026), March 11-12, Rostock, Germany, 2025.

  5. Aaron Rudkowski; Sallar Ahmadi-Pour; Rolf Drechsler

    Symbolic Execution of Unmodified SystemC Peripherals

    In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV), March 11-12, Rostock, Germany, 2025.

  6. Julio Daniel Guerra Hollstein; Shaoyi Huang; Rolf Drechsler; Bing Li; Yalin Zhang

    Late Breaking Results: Conversion of Neural Networks into Logic Flows for Edge Computing

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2026), April 20-22, Verona, Italy, 2026.

  7. Jan Kleinekathöfer; Lennart Weingarten; Kamalika Datta; Rolf Drechsler

    Late Breaking Results: Efficient Formal Verification of Highly Optimized MAC Units

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2026), April 20-22, Verona, Italy, 2026.

  8. Mohamed Nadeem; Chandan Jha; Rolf Drechsler

    Late Breaking Results: PolyRAD - Polynomial Formal Verification of Restoring Array Dividers

    In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE), April 20-22, Verona, Italy, 2026.

  9. Rolf Drechsler; Christina Plump; Bernhard Berger

    Explanation in Bio-inspired Computing: Towards Understanding of AI Systems

    In: Proceedings of the 1st International Conference on Artificial Intelligence for Computing, Astronomy, and Renewable Energy (AICARE). International Conference on Artificial Intelligence for Computing, Astronomy, and Renewable Energy (AICARE-2025), November 21-22, Kolkata, India, IEEE Xplore, 2025.

  10. Tobias Mahl; Sarah Rübel; Cai Hussung; Christian Köhler

    Geschäftsmodellinnovation in digitalen Ökosystemen - Ein Use-Case aus dem Bereich des E-Learnings im Kontext der beruflichen Weiterbildung

    In: Daniel Schallmo; Jens Uwe Pätzmann; Thomas Clauß; Verena Mattes. Entrepreneurship im digitalen Zeitalter - Fallstudien, Ansätze und Tools für Ökosysteme, Geschäftsmodelle und Technologien. Chapter 7, Geschäftsmodellinnovation in digitalen Ökosystemen, Pages 179-198, Schwerpunkt Business Model Innovation, ISBN 978-3-658-46409-7, Springer Gabler, Wiesbaden, 8/2025.

Year

More options