Dennis Walter

German Research Centre for Artificial Intelligence

Papers

Total Citations

H-Index

About

Dennis Walter is a researcher at the intersection of formal verification, functional safety, and robotics. His work centers on guaranteeing the correctness of safety-critical systems, particularly autonomous robots, through rigorous mathematical proof. Walter’s major contribution lies in demonstrating how formal methods—such as theorem proving in higher-order logic—can be applied to certify real-world safety components. His most-cited paper, "Guaranteeing Functional Safety: Design for Provability and Computer-Aided Verification" (2011, 42 citations), establishes a framework for building systems that are provably safe by design. In "The Importance of Being Formal" (2009, 12 citations), he investigates the advantages of formally modeling domain knowledge, specification, and implementation for certifying autonomous service robots. His work on "Certifiable Specification and Verification of C Programs" (2009, 10 citations) extends these techniques to low-level software. With a total of over 90 citations across his key works, Walter has helped bridge the gap between theoretical formal verification and practical engineering, showing that rigorous proofs are not just academic exercises but essential tools for building trustworthy autonomous systems.