| Quantifying Software Reliability via Model-Counting S Teuber, A Weigl International Conference on Quantitative Evaluation of Systems, 59-79, 2021 | 15 | 2021 |
| Geometric Path Enumeration for Equivalence Verification of Neural Networks S Teuber, MK Büning, P Kern, C Sinz 2021 IEEE 33rd International Conference on Tools with Artificial …, 2021 | 11 | 2021 |
| Provably Safe Neural Network Controllers via Differential Dynamic Logic S Teuber, S Mitsch, A Platzer arXiv preprint arXiv:2402.10998, 2024 | 5 | 2024 |
| Towards combining the cognitive abilities of large language models with the rigor of deductive progam verification B Beckert, J Klamroth, W Pfeifer, P Röper, S Teuber International Symposium on Leveraging Applications of Formal Methods, 242-257, 2024 | 2 | 2024 |
| Efficient unpacking of required software from CERNVM-FS S Teuber https://zenodo.org/record/2574462, 2018 | 2 | 2018 |
| Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis F Lanzinger, C Martin, F Reiche, S Teuber, R Heinrich, A Weigl Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, 1702-1711, 2024 | 1 | 2024 |
| An Information-Flow Perspective on Algorithmic Fairness S Teuber, B Beckert Proceedings of the AAAI Conference on Artificial Intelligence 38 (14), 15337 …, 2024 | 1 | 2024 |
| Formally Verified Algorithmic Fairness using Information-Flow Tools S Teuber, B Beckert Proceedings of the 2nd European Workshop on Algorithmic Fairness, Ed.: J …, 2023 | 1 | 2023 |
| Next Steps in LLM-Supported Java Verification S Teuber, B Beckert arXiv preprint arXiv:2502.01573, 2025 | | 2025 |
| Revisiting Differential Verification: Equivalence Verification with Confidence S Teuber, P Kern, M Janzen, B Beckert arXiv preprint arXiv:2410.20207, 2024 | | 2024 |
| The counterSharp Model Counting Benchmark S Teuber, A Weigl https://doi.org/10.5445/IR/1000142745, 2022 | | 2022 |
| An Incremental Abstraction Scheme for Solving Hard SMT-Instances over Bit-Vectors S Teuber, MK Büning, C Sinz arXiv preprint arXiv:2008.10061, 2020 | | 2020 |
