Malte Schmitz

Papers

Total Citations

H-Index

About

Malte Schmitz is a leading researcher in runtime verification, with a particular focus on distributed and robotic systems. His work bridges the gap between formal methods and real-world applications, most notably through his foundational contributions to monitoring asynchronous distributed environments. His highly cited 2014 paper introduced a three-valued monitoring approach for distributed systems, along with a novel logic called Distribut, enabling runtime verification even when system observations are incomplete or delayed—a critical advancement for complex, decentralized architectures. With over 30 citations across his key works, Schmitz has demonstrated significant impact in the field. More recently, his TeSSLa-ROS-Bridge (2023) directly addresses the growing need for robust verification in robotic systems, providing a practical tool that integrates runtime monitoring into the Robot Operating System. This work highlights his commitment to making formal verification accessible and effective for engineers building autonomous and safety-critical systems. Schmitz’s research continues to shape how we ensure correctness and reliability in distributed and robotic applications, making him a key figure in modern runtime verification.