Samuel Teuber, M.Sc.

Wissenschaftlicher Mitarbeiter / Doktorand

Image of Samuel Teuber: A male in his twenties with blonde hair smiling into the camera Raum 203, Gebäude 50.34
Tel.: +49 721 608-45252
Fax: +49 721 608-44021
teuberXwx3∂kit edu
KIT / Institut für Informationssicherheit und Verlässlichkeit (KASTEL)

Am Fasanengarten 5
Gebäude 50.34
76131 Karlsruhe
Deutschland


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