Kevin Raetz
Papers
1
Total Citations
7
H-Index
1
About
Kevin Raetz is a researcher at the forefront of cyber-physical systems and the Internet of Things (IoT), with a particular focus on bridging the gap between formal specifications and real-world robotic execution. His most-cited work, "[email protected] - Distributed Execution of Specifications on IoT-connected Robots" (2015, 7 citations), introduces a groundbreaking approach to executing formal scenario specifications directly on distributed, IoT-connected robotic systems. This contribution addresses a critical challenge in modern software engineering: as customer demands drive increasingly complex interactions among software-controlled components in cyber-physical systems, traditional development methods struggle to manage emergent behaviors. Raetz’s research enables these systems to dynamically interpret and execute high-level specifications at runtime, reducing the gap between design and deployment. His work has significant implications for autonomous systems, smart manufacturing, and collaborative robotics, where reliable, adaptive behavior is essential. By pioneering methods that allow formal models to guide real-time robotic coordination, Raetz is helping to shape a future where complex, multi-component systems can be specified, verified, and executed with greater confidence and flexibility.
Research Focus
Key Achievements
Top Papers
- 1