| 2025 | FMCAD | Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision. | Samuel Teuber, Debasmita Lohar, Bernhard Beckert |
| 2025 | ICSE | Next Steps in LLM-Supported Java Verification. | Samuel Teuber, Bernhard Beckert |
| 2025 | TACAS | Revisiting Differential Verification: Equivalence Verification with Confidence. | Samuel Teuber, Philipp Kern, Marvin Janzen, Bernhard Beckert |
| 2024 | AAAI | An Information-Flow Perspective on Algorithmic Fairness. | Samuel Teuber, Bernhard Beckert |
| 2024 | ISoLA | Towards Combining the Cognitive Abilities of Large Language Models with the Rigor of Deductive Progam Verification. | Bernhard Beckert, Jonas Klamroth, Wolfram Pfeifer, Patrick Rper, Samuel Teuber |
| 2024 | SAC | Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis. | Florian Lanzinger, Christian Martin, Frederik Reiche, Samuel Teuber, Robert Heinrich, Alexander Weigl |
| 2021 | ICTAI | Geometric Path Enumeration for Equivalence Verification of Neural Networks. | Samuel Teuber, Marko Kleine Bning, Philipp Kern, Carsten Sinz |