Assistierender Roboterarm am Krankenbett (links), Hightech Chip (mittig), Fussball spielende Nao Roboter (rechts)

Cyber-Physical Systems

Publikationen

Seite 5 von 106.

Tim Meywerk; Vladimir Herdt; Rolf Drechsler
Coverage-guided Fuzzing for Plan-based Robotics
In: 15th International Conference on Agents and Artificial Intelligence (ICAART). International Conference on Agents and Artificial Intelligence …
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 …
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.
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, …
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.
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.
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.
Ece Nur Demirhan Coskun; Muhammad Hassan; Mehran Goli; Rolf Drechsler
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 …
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 …
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 …