Research | Samuel Teuber

Publications

Samuel Teuber, Debasmita Lohar, Bernhard Beckert (2025). Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision. In FMCAD 2025.

PDF Cite Teaching Resources

Samuel Teuber, Mattias Ulbrich, André Platzer, Bernhard Beckert (2025). Heterogeneous Dynamic Logic: Provability Modulo Program Theories.

PDF Cite

Enguerrand Prebet, Samuel Teuber, André Platzer (2025). Verification of Autonomous Neural Car Control with KeYmaera X. In ABZ 2025.

PDF Cite Code Teaching Resources

Samuel Teuber, Philipp Kern, Marvin Janzen, Bernhard Beckert (2024). Revisiting Differential Verification: Equivalence Verification with Confidence. In TACAS 2025.

PDF Cite DOI

Samuel Teuber, Bernhard Beckert (2024). Next Steps in LLM-Supported Java Verification. In NSE 2025.

PDF Cite

Study Projects

Projects from Bachelor’s and Master’s (2015-2022).