Folgen
Matthias Heizmann
Matthias Heizmann
University of Stuttgart, Germany
Bestätigte E-Mail-Adresse bei heizmann.name - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Software model checking for people who love automata
M Heizmann, J Hoenicke, A Podelski
Computer Aided Verification: 25th International Conference, CAV 2013, Saint …, 2013
2032013
Nested interpolants
M Heizmann, J Hoenicke, A Podelski
ACM Sigplan Notices 45 (1), 471-482, 2010
1362010
Refinement of trace abstraction
M Heizmann, J Hoenicke, A Podelski
International Static Analysis Symposium, 69-85, 2009
1362009
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
1352015
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
1152016
Ranking Templates for Linear Loops
M Heizmann, J Leike
Logical Methods in Computer Science 11, 2015
102*2015
Termination Analysis by Learning Terminating Programs
M Heizmann, J Hoenicke, A Podelski
CAV, 797--813, 2014
1012014
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
922018
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
682019
Linear ranking for linear lasso programs
M Heizmann, J Hoenicke, J Leike, A Podelski
International Symposium on Automated Technology for Verification and …, 2013
672013
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
662013
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
552015
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
492018
Geometric nontermination arguments
J Leike, M Heizmann
International Conference on Tools and Algorithms for the Construction and …, 2018
452018
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
432016
Size-change termination and transition invariants
M Heizmann, ND Jones, A Podelski
International Static Analysis Symposium, 22-50, 2010
402010
Verification Witnesses
D Beyer, M Dangl, D Dietsch, M Heizmann, A Stahlbauer
Software Engineering 2016, 2016
38*2016
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
342015
Ultimate Automizer with Two-track Proofs: (Competition Contribution)
M Heizmann, D Dietsch, M Greitschus, J Leike, B Musa, C Schätzle, ...
International Conference on Tools and Algorithms for the Construction and …, 2016
312016
Incremental verification using trace abstraction
BC Rothenberg, D Dietsch, M Heizmann
Static Analysis: 25th International Symposium, SAS 2018, Freiburg, Germany …, 2018
282018
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20