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

Cyber-Physical Systems

Publications

Page 1 of 111.

Jakob Fabian Lehmann; Gesa Wimberg; Serge Autexier; Alberto Acebes; Agni Delvinioti; Nicoletta di Giorgi; Thrasyvoulos Giannakopoulos; Christos Kalloniatis; Konstantina Kostopoulou; Sofoklis Kyriazakos; Costas Lambrinoudakis; Danae Lekka; Andreas Menegatos; Giulio Pagliari; Aristodemos Pnevmatikakis; Monique Tabak
Federated Learning in Multi-Center, Personalized Healthcare for COPD and Comorbidities: The RE-SAMPLE Platform.
In: Sylvia Pelayo (Hrsg.). Proceedings 18th International Conference on Health Informatics (HEALTHINF 2025), 20-22 February 2025. International Conference on Health Informatics (HEALTHINF-2025), 18th International Conference on Health Informatics, located at BIOSTEC-2025, February 20-22, Porto, Portugal, ISBN 978-989-758-731-3, SCITEPRESS, 2/2025.
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.
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, Lyon, France, 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), 38th, 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), 38th, January 4-8, Bangalore, India, 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.
Rune Krauss; Jan Zielasko; Rolf Drechsler
Large-Scale Evolutionary Optimization of Artificial Neural Networks Using Adaptive Mutations
In: Proceedings of the 7th Workshop on Accelerated Machine Learning (AccML). Workshop on Accelerated Machine Learning (AccML-2025), located at HiPEAC 2025, January 21, Barcelona, Spain, 2025.
Paul Flammarion; Sajjad Parvin; Frank Sill Torres; Rolf Drechsler
Auto-OPS: A Framework For Automated Optical Probing Simulation on GDS-II
In: Proceedings of the 7th International Workshop on Secure Hardware, Architecture, and Software (SeHAS'2025). International Workshop on Secure Hardware, Architecture, and Software (SeHAS-2025), located at HiPEAC 2025, January 21, Barcelona, Spain, 2025.
Mohamed Nadeem; Rolf Drechsler
Linear Formal Verification of Multi-Valued Logic Circuits within Constant Cutwidth Architectures
In: Journal of Multiple-Valued Logic and Soft Computing, Vol. 09, Old City Publishing, 2025.