Martin Leucker

Papers

Total Citations

H-Index

About

Martin Leucker is a leading figure in runtime verification and formal methods, with a particular focus on ensuring the reliability of complex, safety-critical systems. His research spans runtime monitoring, specification languages, and the verification of cyber-physical and robotic systems. Leucker is best known for pioneering the TeSSLa (Temporal Stream-based Specification Language) framework, which enables efficient, real-time monitoring of system behaviors. A standout contribution is his work on the TeSSLa-ROS-Bridge (2023, 5 citations), which seamlessly integrates runtime verification into robotic systems using the Robot Operating System, bridging formal methods with practical robotics. This innovation allows developers to detect violations of safety properties during operation, enhancing system trustworthiness. Beyond this, his broader portfolio—including foundational papers on LTL monitoring and automata-based verification—has garnered widespread recognition, with many works cited hundreds of times. Leucker’s impact is evident in his leadership of the Institute for Software Engineering at the University of Lübeck and his role in shaping modern runtime verification techniques. For students and researchers, his work offers a compelling example of how theoretical formal methods can be translated into tools that make autonomous systems safer and more reliable.