Samuel Teuber

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 10

Top Topics

Information Flows

Software Reliability

Top Venues

Publications

Florian Lanzinger, Christian Martin, Frederik Reiche, Samuel Teuber, Robert Heinrich, Alexander Weigl
Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis. CoRR (2024)
Florian Lanzinger, Christian Martin, Frederik Reiche, Samuel Teuber, Robert Heinrich, Alexander Weigl
Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis. SAC (2024)
Samuel Teuber, Stefan Mitsch, André Platzer
Provably Safe Neural Network Controllers via Differential Dynamic Logic. CoRR (2024)
Samuel Teuber, Bernhard Beckert
An Information-Flow Perspective on Algorithmic Fairness. AAAI (2024)
Samuel Teuber, Bernhard Beckert
An Information-Flow Perspective on Algorithmic Fairness. CoRR (2023)
Samuel Teuber, Bernhard Beckert
Formally Verified Algorithmic Fairness Using Information-Flow Tools. EWAF (2023)
Samuel Teuber, Marko Kleine Büning, Philipp Kern, Carsten Sinz
Geometric Path Enumeration for Equivalence Verification of Neural Networks. CoRR (2021)
Samuel Teuber, Alexander Weigl
Quantifying Software Reliability via Model-Counting. QEST (2021)
Samuel Teuber, Marko Kleine Büning, Philipp Kern, Carsten Sinz
Geometric Path Enumeration for Equivalence Verification of Neural Networks. ICTAI (2021)
Samuel Teuber, Marko Kleine Büning, Carsten Sinz
An Incremental Abstraction Scheme for Solving Hard SMT-Instances over Bit-Vectors. CoRR (2020)