Karsten Diethers

Technische Universität Braunschweig, Capgemini (Netherlands)

Papers

Total Citations

H-Index

About

Karsten Diethers is a researcher whose work bridges the critical gap between formal verification and practical robotics. His primary research areas include model-based quality assurance, object-oriented software verification, and sensor-based robot programming. Diethers made a significant contribution with "Vooduu: Verification of Object-Oriented Designs Using UPPAAL" (2004, 28 citations), which introduced a novel framework for formally verifying object-oriented designs using the UPPAAL model checker—a foundational tool for ensuring correctness in complex software systems. He also pioneered a new framework for task-oriented, sensor-based robot programming and verification (2003, 7 citations), where he developed "skill primitive nets" that enable intuitive, hybrid control of robots, allowing seamless switching between position, velocity, and force control for each degree of freedom. This work advanced the practical usability of robotic systems. Additionally, his research on model-based quality assurance for robotic software architectures (2010, 5 citations) further solidified his impact on ensuring reliability in autonomous systems. Diethers’ contributions remain influential for researchers exploring formal methods in robotics and software engineering.