Skip to main content Skip to main navigation
Assistierender Roboterarm am Krankenbett (links), Hightech Chip (mittig), Fussball spielende Nao Roboter (rechts)© DFKI

Cyber-Physical Systems

Publikationen

Seite 6 von 107.

  1. Payam Habiby; Sebastian Huhn; Rolf Drechsler

    Remote Configuration Methodology for IEEE 1687 Scan Networks

    In: 35. GI/GMM/ITG Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ). GI/GMM/ITG Workshop Testmethoden und Zuverlässigkeit von …

  2. Daniel Tille; Leon Klimasch; Sebastian Huhn

    A Novel LBIST Signature Computation Method for Automotive Microcontrollers using a Digital Twin

    In: 41st IEEE VLSI Test Symposium (VTS). IEEE VLSI Test Symposium (VTS-2023), April 24-26, San Diego, CA, USA, 2023.

  3. Jens Trommer; Niladri Bhattacharjee; Thomas Mikolajick; Sebastian Huhn; Marcel Merten; Mohammed E. Djeridane; Muhammad Hassan; Rolf Drechsler; Shubham Rai; Nima Kavand; Armin Darjani; Akash Kumar; Violetta Sessi; Maximilian Drescher; Sabine Kolodinski; Maciej Wiatr

    Design Enablement Flow for Circuits with Inherent Obfuscation based on Reconfigurable Transistors

    In: Design, Automation and Test in Europe Conference (DATE 2023). Design, Automation & Test in Europe (DATE-2023), April 17-19, Antwerp, Belgium, …

  4. Sören Tempel; Vladimir Herdt; Rolf Drechsler

    Specification-based Symbolic Execution for Stateful Network Protocol Implementations in the IoT

    In: IEEE Internet of Things Journal (IoT), Vol. o.a. IEEE, 2023.

  5. Payam Habiby; Natalia Lylina; Chih-Hao Wang; Hans-Joachim Wunderlich; Sebastian Huhn; Rolf Drechsler

    Synthesis of IJTAG Networks for Multi-Power Domain Systems on Chips

    In: 28th IEEE European Test Symposium 2023. IEEE European Test Symposium (ETS-2023), May 22-26, Venice, Italy, 2023.

  6. Marcel Merten; Sebastian Huhn; Rolf Drechsler

    Increasing SAT-Resilience of Logic Locking Mechanisms using Formal Methods

    In: 28th IEEE European Test Symposium 2023. IEEE European Test Symposium (ETS-2023), May 22-26, Venice, Italy, 2023.

  7. VAST: Validation of VP-based Heterogeneous Systems against Availability Security Properties using Static Information Flow Tracking

    In: International Symposium on Quality Electronic Design (ISQED'23). International Symposium on Quality Electronic Design (ISQED-2023), April 5-7, San …

  8. Lennart Weingarten; Alireza Mahzoon; Mehran Goli; Rolf Drechsler

    Polynomial Formal Verification of a Processor: A RISC-V Case Study

    In: International Symposium on Quality Electronic Design (ISQED'23). International Symposium on Quality Electronic Design (ISQED-2023), April 5-7, San …

  9. Kemal Çağlar Coşkun; Muhammad Hassan; Rolf Drechsler

    New Directions for Equivalence Checking of System-Level and SPICE-Level Models of Linear Circuits

    In: 35. GI/GMM/ITG Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TuZ). GI/GMM/ITG Workshop Testmethoden und Zuverlässigkeit von …

  10. Chandan Jha; Sallar Ahmadi-Pour; Rolf Drechsler

    MARADIV: Library of MAGIC based Approximate Restoring Array Divider Benchmark Circuits for In-Memory Computing Using Memristors

    In: IEEE Transactions on Circuits and Systems II: Express Briefs, IEEE, 2023.

Kontakt

Assistenz der Leitung:
Kristiane Schmitt, M.A.
Tel.: +49 421 218 59840
Kristiane.Schmitt@dfki.de

Deutsches Forschungszentrum für Künstliche Intelligenz GmbH
Cyber-Physical Systems

MZH
Bibliothekstraße 5
28359 Bremen

Cartesium
Enrique-Schmidt-Straße 5
28359 Bremen