Publications

(2025). Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision. In FMCAD 2025.
(2025). Heterogeneous Dynamic Logic: Provability Modulo Program Theories.
(2025). Verification of Autonomous Neural Car Control with KeYmaera X. In ABZ 2025.
(2024). Revisiting Differential Verification: Equivalence Verification with Confidence. In TACAS 2025.
(2024). Next Steps in LLM-Supported Java Verification. In NSE 2025.
(2024). Towards Combining the Cognitive Abilities of Large Language Models with the Rigor of Deductive Progam Verification. In ISOLA 2024.
(2024). Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis. In SAC 2024.