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

Cyber-Physical Systems

Publications

Page 1 of 110.

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.
Alberto Acebes; Serge Autexier; Marjolein Brusse-Keizer; Agni Delvinioti; Thrasyvoulos Giannakopoulos; Christiane Grünloh; Florian Hahn; Rain Jögi; Christos Kalloniatis; Konstantina Kostopoulou; Sofoklis Kyriazakos; Kostas Lamprinoudakis; Jakob Lehmann; Danae Lekka; Anke Lenferink; Federico Mazzone; Guilio Pagliari; Stefano Patarnello; Aristodemos Pnevmatikakis; Jarno Raid; Monique Tabak; Job Van Der Palen; Gesa Wimberg
RE-SAMPLE Platform for training and use of COPD exacerbation risk prediction models
In: European Respiratory Journal (ERJ), Vol. 64, No. suppl 68, Page 1, ERS, 11/2024.
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.
Felix Goldau
Adaptive Degrees of Freedom for Shared Control of Assistive Robots
PhD-Thesis, Universität Bremen, Bremen, 10/2024.