Samuel Teuber, M.Sc.

Researcher / PhD Student

Image of Samuel Teuber: A male in his twenties with blonde hair smiling into the camera Room 203, Building 50.34
Phone: +49 721 608-45252
Fax:      +49 721 608-44021
teuberXwx3∂kit edu
KIT / Institute of Information Security and Dependability (KASTEL)

Am Fasanengarten 5
Building 50.34
76131 Karlsruhe

Research Interests

  • Formal Methods for Machine Learning in the context of topics like:
    • Neural Network Verification
    • Verification of ML-enabled Cyber-Physical Systems
    • Algorithmic Fairness
  • Quantitative Verification of Software


Title Author(s) Source
Quantifying Software Correctness by Combining Architecture Modeling and Formal Program AnalysisFlorian Lanzinger, Christian Martin, Frederik Reiche, Samuel Teuber, Robert Heinrich, and Alexander WeiglProceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, SAC 2024
Title Author(s) Source
The counterSharp Model Counting BenchmarkSamuel Teuber and Alexander WeiglKarlsruhe Institute of Technology 2022-02
Title Author(s) Source
Geometric Path Enumeration for Equivalence Verification of Neural NetworksSamuel Teuber, Marko Kleine Büning, Philipp Kern, and Carsten Sinz33rd IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2021)
Quantifying Software Reliability via Model-CountingSamuel Teuber and Alexander Weigl18th International Conference on Quantitative Evaluation of Systems (QEST 2021)
Title Author(s) Source
An Incremental Abstraction Scheme for Solving Hard SMT-Instances over Bit-VectorsSamuel Teuber, Marko Kleine Büning, and Carsten SinzCoRR abs/2008.10061
Title Author(s) Source
Efficient unpacking of required software from CERNVM-FSSamuel TeuberZenodo 2019-02