| Ultimate Automizer and the CommuHash Normal Form: (Competition Contribution) M Heizmann, M Barth, D Dietsch, L Fichtner, J Hoenicke, D Klumpp, ... International Conference on Tools and Algorithms for the Construction and …, 2023 | 14 | 2023 |
| Ultimate Eliminator at SMT-COMP 2022 M Barth, D Dietsch, M Heizmann, A Podelski | 7 | 2022 |
| Test-case generation with automata-based software model checking M Barth, MC Jakobs International Symposium on Model Checking Software, 248-267, 2024 | 1 | 2024 |
| Ultimate TestGen: Test-Case Generation with Automata-based Software Model Checking (Competition Contribution) M Barth, D Dietsch, M Heizmann, MC Jakobs International Conference on Fundamental Approaches to Software Engineering …, 2024 | 1 | 2024 |
| Refining CEGAR-Based Test-Case Generation with Feasibility Annotations M Barth, MC Jakobs International Conference on Tests and Proofs, 45-64, 2024 | | 2024 |
| A Bit-vector to Integer Translation with bv2nat and nat2bv M Barth, M Heizmann | | 2024 |
| Competition Version M Barth, J Hoenicke, T Schindler | | 2024 |
| Ultimate IntBlastingWrapper M Barth, M Heizmann | | 2023 |
Matthias HeizmannUniversity of Stuttgart, GermanyVerified email at heizmann.name
