Thomas Heinz

Papers

Total Citations

H-Index

About

Thomas Heinz is a researcher in formal verification and hybrid systems, with a particular focus on reachability analysis and compositional verification. His work addresses the challenge of verifying systems with unspecified or incomplete behavior, a critical problem in modular and component-based design. His most notable contribution is the introduction of a benchmark for reachability on a model with "holes"—parts of the system behavior left intentionally unspecified. This allows third parties to plug in specific behaviors without compromising the system's desirable properties, enabling more flexible and scalable verification. While his highly specialized work has garnered 3 citations to date, it serves as a foundational example for researchers exploring verification under uncertainty. Heinz's contributions are particularly valuable for advancing the practical application of formal methods in complex, real-world hybrid systems.