Publications

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