| Software model checking for people who love automata M Heizmann, J Hoenicke, A Podelski Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013 | 163 | 2013 |
| Nested interpolants M Heizmann, J Hoenicke, A Podelski ACM Sigplan Notices 45 (1), 471-482, 2010 | 130 | 2010 |
| Refinement of trace abstraction M Heizmann, J Hoenicke, A Podelski Static Analysis: 16th International Symposium, SAS 2009, Los Angeles, CA …, 2009 | 111 | 2009 |
| 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 | 108 | 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 | 87 | 2016 |
| Termination Analysis by Learning Terminating Programs M Heizmann, J Hoenicke, A Podelski CAV, 797--813, 2014 | 87 | 2014 |
| Ranking Templates for Linear Loops M Heizmann, J Leike Logical Methods in Computer Science 11, 2015 | 86* | 2015 |
| Ultimate Automizer and the Search for Perfect Interpolants: (Competition Contribution) M Heizmann, YF Chen, D Dietsch, M Greitschus, J Hoenicke, Y Li, A Nutz, ... Tools and Algorithms for the Construction and Analysis of Systems: 24th …, 2018 | 74 | 2018 |
| Linear ranking for linear lasso programs M Heizmann, J Hoenicke, J Leike, A Podelski International Symposium on Automated Technology for Verification and …, 2013 | 57 | 2013 |
| 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 | 56 | 2013 |
| Advanced automata-based algorithms for program termination checking YF Chen, M Heizmann, O Lengál, Y Li, MH Tsai, A Turrini, L Zhang Proceedings of the 39th ACM SIGPLAN Conference on Programming Language …, 2018 | 42 | 2018 |
| Fairness modulo theory: A new approach to LTL software model checking D Dietsch, M Heizmann, V Langenfeld, A Podelski Computer Aided Verification: 27th International Conference, CAV 2015, San …, 2015 | 41 | 2015 |
| Size-change termination and transition invariants M Heizmann, ND Jones, A Podelski International Static Analysis Symposium, 22-50, 2010 | 41 | 2010 |
| Complementing semi-deterministic Büchi automata F Blahoudek, M Heizmann, S Schewe, J Strejček, MH Tsai Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016 | 39 | 2016 |
| The SMT competition 2015–2018 T Weber, S Conchon, D Déharbe, M Heizmann, A Niemetz, G Reger Journal on Satisfiability, Boolean Modeling and Computation 11 (1), 221-259, 2019 | 37 | 2019 |
| Geometric nontermination arguments J Leike, M Heizmann Tools and Algorithms for the Construction and Analysis of Systems: 24th …, 2018 | 35 | 2018 |
| 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 | 32 | 2015 |
| Ultimate Automizer with Two-track Proofs: (Competition Contribution) M Heizmann, D Dietsch, M Greitschus, J Leike, B Musa, C Schätzle, ... Tools and Algorithms for the Construction and Analysis of Systems: 22nd …, 2016 | 31 | 2016 |
| Incremental verification using trace abstraction BC Rothenberg, D Dietsch, M Heizmann Static Analysis: 25th International Symposium, SAS 2018, Freiburg, Germany …, 2018 | 22 | 2018 |
| 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 | 20 | 2017 |
Andreas PodelskiProfessor of Computer Science, Freiburg UniversityVerified email at informatik.uni-freiburg.de
