| 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 | 9 | 2023 |
| Ultimate Eliminator at SMT-COMP 2022 M Barth, D Dietsch, M Heizmann, A Podelski | 5 | 2022 |
| Ultimate Eliminator: a Quantifier Upgrade for SMT Solvers at SMT-COMP 2020 M Barth, D Dietsch, L Fichtner, M Heizmann, A Podelski | 1 | |
| 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 | | 2024 |
| SMT-COMP 2019 M Barth, D Dietsch, L Fichtner, M Heizmann | | 2019 |
| Ultimate IntBlastingWrapper M Barth, M Heizmann | | |
