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

A more comprehensive overview on my research (interests) can be found on my personal homepage: www.teuber.dev
  • 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

2025
Titel Autor(en) Quelle
Verification of Autonomous Neural Car Control with KeYmaera~XEnguerrand Prebet, Samuel Teuber und André PlatzerRigorous State-Based Methods - 11th International Conference, ABZ 2025, Düsseldorf, Germany, Proceedings
Next Steps in LLM-Supported Java VerificationSamuel Teuber und Bernhard Beckert2025 IEEE/ACM 1st International Workshop on Neuro-Symbolic Software Engineering (NSE)
Of Good Demons and Bad Angels: Guaranteeing Safe Control under Finite PrecisionSamuel Teuber, Debasmita Lohar und Bernhard Beckert2025 Formal Methods in Computer-Aided Design (FMCAD)
Revisiting Differential Verification: Equivalence Verification with ConfidenceSamuel Teuber, Philipp Kern, Marvin Janzen und Bernhard BeckertTACAS
2024
Titel Autor(en) Quelle
Towards Combining the Cognitive Abilities of Large Language Models with the Rigor of Deductive Progam VerificationBernhard Beckert, Jonas Klamroth, Wolfram Pfeifer, Patrick Röper und Samuel Teuber12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2024). Software Engineering Methodologies
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
An Information-Flow Perspective on Algorithmic FairnessSamuel Teuber und Bernhard BeckertThirty-Eighth AAAI Conference on Artificial Intelligence, AAAI 2024, Thirty-Sixth Conference on Innovative Applications of Artificial Intelligence, IAAI 2024, The Fourteenth Symposium on Educational Advances in Artificial Intelligence, EAAI 2024, Vancouver, BC, Canada, February 20 - February 27, 2024
Provably Safe Neural Network Controllers via Differential Dynamic LogicSamuel Teuber, Stefan Mitsch und André PlatzerAdvances in Neural Information Processing Systems
2023
Titel Autor(en) Quelle
Formally Verified Algorithmic Fairness Using Information-Flow ToolsSamuel Teuber und Bernhard BeckertProceedings of the 2nd European Workshop on Algorithmic Fairness, Winterthur, Switzerland, June 7th to 9th, 2023
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