Samuel Teuber

According to our database, Samuel Teuber authored at least 9 papers between 2020 and 2024.

Collaborative distances:

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

2024

Revisiting Differential Verification: Equivalence Verification with Confidence.

Samuel Teuber, Philipp Kern, Marvin Janzen, Bernhard Beckert

CoRR, 2024

Provably Safe Neural Network Controllers via Differential Dynamic Logic.

Samuel Teuber, Stefan Mitsch, André Platzer

CoRR, 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

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