Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Institute of Information Security and Dependability (KASTEL) – Application-oriented Formal Verification
Team
Samuel Teuber

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
Germany


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

Publications

2024
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
2022
Title Author(s) Source
The counterSharp Model Counting BenchmarkSamuel Teuber and Alexander WeiglKarlsruhe Institute of Technology 2022-02
2021
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)
2020
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
2019
Title Author(s) Source
Efficient unpacking of required software from CERNVM-FSSamuel TeuberZenodo 2019-02