Samuel Teuber

According to our database, Samuel Teuber authored at least 14 papers between 2020 and 2025.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2025

Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite Precision.

Samuel Teuber, Debasmita Lohar, Bernhard Beckert

CoRR, July, 2025

Heterogeneous Dynamic Logic: Provability Modulo Program Theories.

Samuel Teuber, Mattias Ulbrich, André Platzer, Bernhard Beckert

CoRR, July, 2025

Verification of Autonomous Neural Car Control with KeYmaera X.

Enguerrand Prebet, Samuel Teuber, André Platzer

CoRR, April, 2025

Revisiting Differential Verification: Equivalence Verification with Confidence.

Samuel Teuber, Philipp Kern, Marvin Janzen, Bernhard Beckert

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2025

Next Steps in LLM-Supported Java Verification.

Samuel Teuber, Bernhard Beckert

Proceedings of the 1st IEEE/ACM International Workshop on Neuro-Symbolic Software Engineering, 2025

2024

samysweb/NCubeV: v0.9.

Samuel Teuber, Stefan Mitsch, André Platzer

Dataset, October, 2024

Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis.

Florian Lanzinger, Christian Martin, Frederik Reiche, Samuel Teuber, Robert Heinrich, Alexander Weigl

Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, 2024

Provably Safe Neural Network Controllers via Differential Dynamic Logic.

Samuel Teuber, Stefan Mitsch, André Platzer

Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, 2024

Towards Combining the Cognitive Abilities of Large Language Models with the Rigor of Deductive Progam Verification.

Bernhard Beckert, Jonas Klamroth, Wolfram Pfeifer, Patrick Röper, Samuel Teuber

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies, 2024

An Information-Flow Perspective on Algorithmic Fairness.

Samuel Teuber, Bernhard Beckert

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

2023

Formally Verified Algorithmic Fairness Using Information-Flow Tools.

Samuel Teuber, Bernhard Beckert

Proceedings of the 2nd European Workshop on Algorithmic Fairness, 2023

2021

Quantifying Software Reliability via Model-Counting.

Samuel Teuber, Alexander Weigl

Proceedings of the Quantitative Evaluation of Systems - 18th International Conference, 2021

Geometric Path Enumeration for Equivalence Verification of Neural Networks.

Samuel Teuber, Marko Kleine Büning, Philipp Kern, Carsten Sinz

Proceedings of the 33rd IEEE International Conference on Tools with Artificial Intelligence, 2021

2020

An Incremental Abstraction Scheme for Solving Hard SMT-Instances over Bit-Vectors.

Samuel Teuber, Marko Kleine Büning, Carsten Sinz

CoRR, 2020