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

Cyber-Physical Systems

Publikationen

Seite 1 von 109.

Rune Krauss; Jan Zielasko; Rolf Drechsler
FrEDDY: Modular and Efficient Framework to Engineer Decision Diagrams Yourself
In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2025), March 31 - April 2, Lyon, France, 2025.
Sören Tempel; Tobias Brandt; Christoph Lüth; Christian Dietrich; Rolf Drechsler
Accurate and Extensible Symbolic Execution of Binary Code based on Formal ISA Semantics
In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2025), March 31 - April 2, Lyon, France, 2025.
Ruidi Qiu; Grace Li Zhang; Rolf Drechsler; Ulf Schlichtmann; Bing Li
CorrectBench: Automatic Testbench Generation with Functional Self-Correction using LLMs for HDL Design
In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2025), March 31 - April 2, 2025.
Mohamed Nadeem; Chandan Kumar Jha; Rolf Drechsler
Polynomial Formal Verification of Sequential Circuits using Weighted-AIGs
In: Design, Automation and Test in Europe Conference (DATE). Design, Automation & Test in Europe (DATE-2025), March 31 - April 2, Lyon, France, 2025.
Sajjad Parvin; Chandan Kumar Jha; Frank Sill Torres; Rolf Drechsler
True-PolyTronik: Securing Circuits Against Laser Logic State Imaging Attack Using RFET
In: 38th International Conference on VLSI Design. International Conference on VLSI Design (VLSID-2025), January 4-8, Bengaluru, India, 2025.
Chandan Kumar Jha; Khushboo Qayyum; Muhammad Hassan; Rolf Drechsler
FARAD: Automated Formal Verification of Approximate Restoring Array Dividers
In: 38th International Conference on VLSI Design. International Conference on VLSI Design (VLSID-2025), January 4-8, Bangalore, India, 2025.
Abhoy Kole; Kamalika Datta; Indranil Sengupta; Rolf Drechsler
Exploiting the Extended Neighborhood of Hexagonal Qubit Architecture for Mapping Quantum Circuits
In: ACM Journal on Emerging Technologies in Computing Systems, Vol. 20, No. 4, Pages 1-19, ACM, 10/2024.
Hannah Friederike Fischer; Anke Königschulte; Jana Koch; Serge Autexier; Gesche Joost
Co-designing a Tangible Communication Device to Enrich Communication over Distance
In: Companion Proceedings of the 2024 Conference on Interactive Surfaces and Spaces. ACM International Conference on Interactive Surfaces and Spaces (ISS-2024), November 27-31, Vancouver BC Canada, Canada, Pages 58-62, ISBN 9798400712784, ACM, 10/2024.
Amelie Gyrard; Philip Gribbon; Rada Hussein; Somayeh Abedian; Luis Marti Bonmati; Gibi Luisa Caborner; George Manias; Gabriel Danciu; Stefano Dalmiani; Serge Autexier; Rick van Nuland; Mario Jendrosse; Ioannis Avramidis; Eva Garcia Alvarez
Synergies Among Health Data Projects with Cancer Use Cases based on Health Standards
In: John Mantas; Arie Hasman (Hrsg.). Proceedings 34th Medical Informatics Europe Conference (MIE 2024). Medical Informatics Europe Congress (MIE-2024), Athens, Greece, Pages 1292-1296, Studies in Health Technol, Vol. 316, IOS Press, 8/2024.
Fatemeh Shirinzadeh; Arighna Deb; Saeideh Shirinzadeh; Abhoy Kole; Kamalika Datta; Rolf Drechsler
In-Memory SAT-Solver for Self-Verification of Programmable Memristive Architectures
In: 37th International Conference on VLSI Design (VLSID). International Conference on VLSI Design (VLSID-2024), Kolkata, India, 1/2024.