Marius Hilbich
Papers
1
Total Citations
7
H-Index
1
About
Marius Hilbich is a researcher at the intersection of robotics, the Internet of Things (IoT), and formal methods, with a focus on making complex cyber-physical systems more reliable and adaptable. 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 platforms. This contribution addresses a critical challenge: as customer demands drive ever-richer functionality, the interactions between software-controlled components in systems like autonomous robots become increasingly complex and error-prone. By enabling the runtime execution of formal models, Hilbich’s work bridges the gap between high-level design and real-time operation, enhancing system robustness and adaptability. His research has practical implications for the development of safer, more intelligent autonomous systems, from industrial automation to service robotics. With a growing citation impact, Hilbich is recognized for pioneering methods that integrate formal verification with distributed, real-world execution, offering a path toward more predictable and trustworthy cyber-physical systems.
Research Focus
Key Achievements
Top Papers
- 1