Hannes Kallwies

Papers

Total Citations

H-Index

About

Hannes Kallwies is a researcher at the intersection of runtime verification and robotics, whose work focuses on ensuring the reliability and safety of autonomous robotic systems. His primary contributions lie in bridging formal verification methods with practical robotic frameworks, most notably through the development of the TeSSLa-ROS-Bridge. This tool, detailed in his 2023 paper, enables real-time monitoring of robotic systems by integrating the TeSSLa temporal stream-based specification language with the Robot Operating System (ROS). By allowing developers to specify and check runtime properties during operation, Kallwies’ work addresses a critical gap in verifying complex, dynamic behaviors in robots—from autonomous navigation to human-robot interaction. While his most-cited paper has garnered 5 citations, its impact is growing within the runtime verification and robotics communities, where it is recognized for providing a practical, scalable solution to a longstanding challenge. His research is particularly valuable for students and engineers seeking to enhance the dependability of robotic systems without sacrificing performance, marking him as a promising voice in the field of cyber-physical systems verification.