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

Cyber-Physical Systems

Publications

Page 1 of 114.

Philip Reichenberg; Thomas Röfer
Dueling Behavior Leveraging Advanced Motion Control for the NAO Robot
In: Ana Patrícia Fontes Magalhães Mascarenhas; Alexander Antoine Ferrein; Rudi Villing (Hrsg.). RoboCup 2025: Robot World Cup XXVIII. RoboCup International Symposium (RoboCup-2025), July 21, Salvador, Brazil, LNAI, Springer, 2026.
Thomas Röfer
CABSL 2 – Specification Language for Complex Behaviors
In: Ana Patrícia Fontes Magalhães Mascarenhas; Alexander Antoine Ferrein; Prof. Dr. Rudi Villing (Hrsg.). RoboCup 2025: Robot World Cup XXVIII. RoboCup International Symposium (RoboCup-2025), July 21, Salvador, Brazil, LNAI, Springer, 2026.
Amelie Gyrard; Somayeh Abedian; Philip Gribbon; George Manias; Rick van Nuland; Kurt Zatloukal; Irina Emilia Nicolae; Gabriel Danciu; Septimiu Nechifor; Luis Marti-Bonmati; Pedro Mallol; Stefano Dalmiani; Serge Autexier; Mario Jendrossek; Ioannis Avramidis; Eva Garcia Alvarez; Petr Holub; Ignacio Blanquer; Anna Boden; Rada Hussein
Lessons Learned From European Health Data Projects With Cancer Use Cases: Implementation of Health Standards and Internet of Things Semantic Interoperability
In: Journal of Medical Internet Research (JMIR), Vol. 27, Page e66273, JMIR Publications, 3/2025.
Johannes Rust; Serge Autexier; Rolf Drechsler
Design Exploration für RISC-V Prozessoren zur Optimierung von Erklärbarkeit für Maschinelles Lernen
In: 28. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2025). ITG/GMM/GI-Workshop "Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen" (MBMV-2025), March 11-12, Rostock, Germany, Pages 61-65, VDE, 3/2025.
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.