Publications
Samuel Teuber, Philipp Kern, Marvin Janzen, Bernhard Beckert (2024). Revisiting Differential Verification: Equivalence Verification with Confidence. In TACAS 2025.
PDF Cite DOI
Samuel Teuber, Stefan Mitsch, André Platzer (2024). Provably Safe Neural Network Controllers via Differential Dynamic Logic. In NeurIPS 2024.
PDF Cite Code Slides Teaching Resources
Bernhard Beckert, Jonas Klamroth, Wolfram Pfeifer, Patrick Röper, Samuel Teuber (2024). Towards Combining the Cognitive Abilities of Large Language Models with the Rigor of Deductive Progam Verification. In ISOLA 2024.
PDF Cite DOI
Samuel Teuber, Bernhard Beckert (2024). An Information-Flow Perspective on Algorithmic Fairness. In AAAI 2024.
PDF Cite Code Poster Corrigendum
Florian Lanzinger, Christian Martin, Frederik Reiche, Samuel Teuber, Robert Heinrich, Alexander Weigl (2024). Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis. In SAC 2024.
PDF Cite DOI
See all publications
Study Projects

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

Solving difficult SMT instances using abstractions and incremental SMT solving
Efficient unpacking of required software from CVMFS
Studyplan