| Witness validation and stepwise testification across software verifiers D Beyer, M Dangl, D Dietsch, M Heizmann, A Stahlbauer Proceedings of the 2015 10th Joint Meeting on Foundations of Software …, 2015 | 137 | 2015 |
| Correctness witnesses: Exchanging verification results between verifiers D Beyer, M Dangl, D Dietsch, M Heizmann Proceedings of the 2016 24th ACM SIGSOFT International Symposium on …, 2016 | 118 | 2016 |
| Ultimate Automizer and the Search for Perfect Interpolants M Heizmann, YF Chen, D Dietsch, M Greitschus, J Hoenicke, Y Li, A Nutz, ... International Conference on Tools and Algorithms for the Construction and …, 2018 | 95* | 2018 |
| Ultimate Automizer with SMTInterpol M Heizmann, J Christ, D Dietsch, E Ermis, J Hoenicke, M Lindenmann, ... International Conference on Tools and Algorithms for the Construction and …, 2013 | 69 | 2013 |
| Fairness Modulo Theory: A New Approach to LTL Software Model Checking D Dietsch, M Heizmann, V Langenfeld, A Podelski International Conference on Computer Aided Verification, 49-66, 2015 | 58 | 2015 |
| Verification witnesses D Beyer, M Dangl, D Dietsch, M Heizmann, T Lemberger, M Tautschnig ACM Transactions on Software Engineering and Methodology (TOSEM) 31 (4), 1-69, 2022 | 40 | 2022 |
| Ultimate Kojak with Memory Safety Checks A Nutz, D Dietsch, MM Mohamed, A Podelski International Conference on Tools and Algorithms for the Construction and …, 2015 | 34* | 2015 |
| Ultimate Automizer with Array Interpolation M Heizmann, D Dietsch, J Leike, B Musa, A Podelski International Conference on Tools and Algorithms for the Construction and …, 2015 | 34* | 2015 |
| Loop invariants from counterexamples M Greitschus, D Dietsch, A Podelski Static Analysis: 24th International Symposium, SAS 2017, New York, NY, USA …, 2017 | 32 | 2017 |
| Ultimate Automizer with Two-track Proofs M Heizmann, D Dietsch, M Greitschus, J Leike, B Musa, C Schätzle, ... International Conference on Tools and Algorithms for the Construction and …, 2016 | 31 | 2016 |
| Scalable analysis of real-time requirements V Langenfeld, D Dietsch, B Westphal, J Hoenicke, A Post 2019 IEEE 27th International Requirements Engineering Conference (RE), 234-244, 2019 | 30 | 2019 |
| Incremental verification using trace abstraction BC Rothenberg, D Dietsch, M Heizmann Static Analysis: 25th International Symposium, SAS 2018, Freiburg, Germany …, 2018 | 28 | 2018 |
| Ready for testing: ensuring conformance to industrial standards through formal verification S Feo-Arenis, B Westphal, D Dietsch, M Muñiz, S Andisha, A Podelski Formal Aspects of Computing 28, 499-527, 2016 | 25 | 2016 |
| Ultimate TreeAutomizer (CHC-COMP tool description) D Dietsch, M Heizmann, J Hoenicke, A Nutz, A Podelski arXiv preprint arXiv:1907.03998, 2019 | 24 | 2019 |
| Ultimate Automizer with an On-demand Construction of Floyd-Hoare Automata M Heizmann, YW Chen, D Dietsch, M Greitschus, A Nutz, B Musa, ... International Conference on Tools and Algorithms for the Construction and …, 2017 | 22* | 2017 |
| Craig vs. Newton in Software Model Checking D Dietsch, M Heizmann, B Musa, A Nutz, A Podelski Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017 | 21 | 2017 |
| The wireless fire alarm system: ensuring conformance to industrial standards through formal verification S Feo-Arenis, B Westphal, D Dietsch, M Muñiz, AS Andisha International Symposium on Formal Methods, 658-672, 2014 | 20 | 2014 |
| Ultimate Taipan with Symbolic Interpretation and Fluid Abstractions: (Competition Contribution) D Dietsch, M Heizmann, A Nutz, C Schätzle, F Schüssele International Conference on Tools and Algorithms for the Construction and …, 2020 | 19 | 2020 |
| Ultimate Taipan: Trace Abstraction and Abstract Interpretation: (Competition Contribution) M Greitschus, D Dietsch, M Heizmann, A Nutz, C Schätzle, C Schilling, ... Tools and Algorithms for the Construction and Analysis of Systems: 23rd …, 2017 | 19 | 2017 |
| Ultimate GemCutter and the Axes of Generalization D Klumpp, D Dietsch, M Heizmann, F Schüssele, M Ebbinghaus, ... International Conference on Tools and Algorithms for the Construction and …, 2022 | 18 | 2022 |
Matthias HeizmannUniversity of Stuttgart, GermanyCorreu electrònic verificat a heizmann.name