Matthias Heizmann
Matthias Heizmann
University of Freiburg, Germany
Adresse e-mail validée de heizmann.name - Page d'accueil
Titre
Citée par
Citée par
Année
Software model checking for people who love automata
M Heizmann, J Hoenicke, A Podelski
International Conference on Computer Aided Verification, 36-52, 2013
1082013
Nested interpolants
M Heizmann, J Hoenicke, A Podelski
ACM Sigplan Notices 45 (1), 471-482, 2010
1082010
Refinement of trace abstraction
M Heizmann, J Hoenicke, A Podelski
International Static Analysis Symposium, 69-85, 2009
782009
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
602015
Ranking Templates for Linear Loops
M Heizmann, J Leike
Logical Methods in Computer Science 11, 2015
53*2015
Ranking templates for linear loops
J Leike, M Heizmann
International Conference on Tools and Algorithms for the Construction and …, 2014
532014
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
482016
Linear ranking for linear lasso programs
M Heizmann, J Hoenicke, J Leike, A Podelski
International Symposium on Automated Technology for Verification and …, 2013
472013
Termination Analysis by Learning Terminating Programs
M Heizmann, J Hoenicke, A Podelski
CAV, 797--813, 2014
402014
Size-change termination and transition invariants
M Heizmann, ND Jones, A Podelski
International Static Analysis Symposium, 22-50, 2010
402010
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
392013
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
272016
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
272015
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
262015
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
242018
Complementing semi-deterministic Büchi automata
F Blahoudek, M Heizmann, S Schewe, J Strejček, MH Tsai
International Conference on Tools and Algorithms for the Construction and …, 2016
182016
Automated program verification
A Farzan, M Heizmann, J Hoenicke, Z Kincaid, A Podelski
International Conference on Language and Automata Theory and Applications, 25-46, 2015
152015
Advanced automata-based algorithms for program termination checking
YF Chen, M Heizmann, O Lengál, Y Li, MH Tsai, A Turrini, L Zhang
ACM SIGPLAN Notices 53 (4), 135-150, 2018
142018
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
132017
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
122017
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20