Samuel Teuber

21 papers A* 2B 2C 1Misc 1Journal 10Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
Heterogeneous Dynamic Logic: Provability Modulo Program Theories.
CoRR
Samuel Teuber, Mattias Ulbrich, André Platzer, Bernhard Beckert
2025 — conf
Next Steps in LLM-Supported Java Verification.
NSE@ICSE
Samuel Teuber, Bernhard Beckert
2025 J jnl
Next Steps in LLM-Supported Java Verification.
CoRR
Samuel Teuber, Bernhard Beckert
2025 B conf
Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision.
FMCAD
Samuel Teuber, Debasmita Lohar, Bernhard Beckert
2025 J jnl
Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision.
CoRR
Samuel Teuber, Debasmita Lohar, Bernhard Beckert
2025 — conf
Revisiting Differential Verification: Equivalence Verification with Confidence.
TACAS (2)
Samuel Teuber, Philipp Kern, Marvin Janzen, Bernhard Beckert
2025 C conf
Verification of Autonomous Neural Car Control with KeYmaera X.
ABZ
Enguerrand Prebet, Samuel Teuber, André Platzer
2025 J jnl
Verification of Autonomous Neural Car Control with KeYmaera X.
CoRR
Enguerrand Prebet, Samuel Teuber, André Platzer
2024 A* conf
An Information-Flow Perspective on Algorithmic Fairness.
AAAI
Samuel Teuber, Bernhard Beckert
2024 A* conf
Provably Safe Neural Network Controllers via Differential Dynamic Logic.
NeurIPS
Samuel Teuber, Stefan Mitsch, André Platzer
2024 J jnl
Provably Safe Neural Network Controllers via Differential Dynamic Logic.
CoRR
Samuel Teuber, Stefan Mitsch, André Platzer
2024 Misc conf
Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis.
SAC
Florian Lanzinger, Christian Martin, Frederik Reiche, Samuel Teuber, Robert Heinrich, Alexander Weigl
2024 J jnl
Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis.
CoRR
Florian Lanzinger, Christian Martin, Frederik Reiche, Samuel Teuber, Robert Heinrich, Alexander Weigl
2024 J jnl
Revisiting Differential Verification: Equivalence Verification with Confidence.
CoRR
Samuel Teuber, Philipp Kern, Marvin Janzen, Bernhard Beckert
2024 — conf
Towards Combining the Cognitive Abilities of Large Language Models with the Rigor of Deductive Progam Verification.
ISoLA (4)
Bernhard Beckert, Jonas Klamroth, Wolfram Pfeifer, Patrick Röper, Samuel Teuber
2023 J jnl
An Information-Flow Perspective on Algorithmic Fairness.
CoRR
Samuel Teuber, Bernhard Beckert
2023 — conf
Formally Verified Algorithmic Fairness Using Information-Flow Tools.
EWAF
Samuel Teuber, Bernhard Beckert
2021 B conf
Geometric Path Enumeration for Equivalence Verification of Neural Networks.
ICTAI
Samuel Teuber, Marko Kleine Büning, Philipp Kern, Carsten Sinz
2021 J jnl
Geometric Path Enumeration for Equivalence Verification of Neural Networks.
CoRR
Samuel Teuber, Marko Kleine Büning, Philipp Kern, Carsten Sinz
2021 — conf
Quantifying Software Reliability via Model-Counting.
QEST
Samuel Teuber, Alexander Weigl
2020 J jnl
An Incremental Abstraction Scheme for Solving Hard SMT-Instances over Bit-Vectors.
CoRR
Samuel Teuber, Marko Kleine Büning, Carsten Sinz