Publications

Florian Lanzinger, Christian Martin, Frederik Reiche, Samuel Teuber, Robert Heinrich, Alexander Weigl (2024). Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis. In SAC 2024.
PDF Cite DOI
Samuel Teuber, Bernhard Beckert (2023). Formally Verified Algorithmic Fairness using Information-Flow Tools (Extended Abstract). In EWAF 2023.
PDF Cite
Samuel Teuber, Marko Kleine Büning, Philipp Kern, Carsten Sinz (2021). Geometric Path Enumeration for Equivalence Verification of Neural Networks. In ICTAI 2021.
PDF Cite Code Experiments DOI / IEEE Xplore
Samuel Teuber, Alexander Weigl (2021). Quantifying Software Reliability via Model-Counting. In QEST 2021.
PDF Cite Code Video Experiments DOI / Springer
Samuel Teuber, Marko Kleine Büning, Carsten Sinz (2020). An Incremental Abstraction Scheme for Solving Hard SMT-Instances over Bit-Vectors.
PDF Cite Project
Samuel Teuber (2019). Efficient unpacking of required software from CERNVM-FS. CERN Openlab Report.
PDF Cite Project DOI