Alexander Zuepke

Papers

Total Citations

H-Index

About

Alexander Zuepke is a leading researcher in the formal verification of embedded and real-time systems, with a particular focus on ensuring the safety and correctness of autonomous robotic platforms. His work bridges the gap between theoretical computer science and practical engineering, developing compositional verification techniques that allow complex real-time systems to be rigorously checked for correctness without overwhelming computational costs. His most-cited paper, "Compositional verification of embedded real-time systems" (2023, 15 citations), introduces a modular approach that enables engineers to verify system-wide properties by checking individual components in isolation—a critical advance for scalable industrial adoption. Zuepke’s interdisciplinary perspective is showcased in "Formal Verification of Real-Time Autonomous Robots: An Interdisciplinary Approach" (2022, 9 citations), which argues that due to the severe consequences of robotic failure, verification must cover safety, liveness, and timing properties simultaneously. His work is increasingly influential as autonomous systems move into safety-critical domains like autonomous driving and medical robotics, where formal guarantees are not just desirable but essential. Zuepke continues to push the boundaries of what can be mathematically proven about real-world, time-sensitive systems.