| 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 | 98 | 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 | 76 | 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 | 62 | 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 | 53 | 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 | 33 | 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 | 31 | 2015 |
| 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 | 30 | 2016 |
| 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 | 30 | 2015 |
| Loop invariants from counterexamples M Greitschus, D Dietsch, A Podelski International Static Analysis Symposium, 128-147, 2017 | 24 | 2017 |
| Ready for testing: ensuring conformance to industrial standards through formal verification S Feo-Arenis, B Westphal, D Dietsch, M Muniz, S Andisha, A Podelski Formal Aspects of Computing 28 (3), 499-527, 2016 | 21 | 2016 |
| 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 | 19 | 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 | 19 | 2014 |
| 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 | 18 | 2017 |
| Incremental verification using trace abstraction BC Rothenberg, D Dietsch, M Heizmann International Static Analysis Symposium, 364-382, 2018 | 17 | 2018 |
| Ultimate Taipan: trace abstraction and abstract interpretation M Greitschus, D Dietsch, M Heizmann, A Nutz, C Schätzle, C Schilling, ... International Conference on Tools and Algorithms for the Construction and …, 2017 | 16 | 2017 |
| Disambiguation of industrial standards through formalization and graphical languages D Dietsch, SF Arenis, B Westphal, A Podelski 2011 IEEE 19th International Requirements Engineering Conference, 265-270, 2011 | 15 | 2011 |
| 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 | 14 | 2019 |
| Ultimate taipan with symbolic interpretation and fluid abstractions D Dietsch, M Heizmann, A Nutz, C Schätzle, F Schüssele International Conference on Tools and Algorithms for the Construction and …, 2020 | 11 | 2020 |
| Monitoring student activity in collaborative software development D Dietsch, A Podelski, J Nam, PM Papadopoulos, M Schäf arXiv preprint arXiv:1305.0787, 2013 | 11 | 2013 |
| Ultimate Automizer with Unsatisfiable Cores M Heizmann, J Christ, D Dietsch, J Hoenicke, M Lindenmann, B Musa, ... International Conference on Tools and Algorithms for the Construction and …, 2014 | 10 | 2014 |
Matthias HeizmannUniversity of Freiburg, GermanyVerified email at heizmann.name
