Matthias Heizmann

According to our database, Matthias Heizmann authored at least 90 papers between 2009 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts (Extended Version).

Julian Erhard, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Simmo Saan, Frank Schüssele, Michael Schwarz, Helmut Seidl, Sarah Tilscher, Vesal Vojdani

CoRR, 2024

Petrification: Software Model Checking for Programs with Dynamic Thread Management.

Matthias Heizmann, Dominik Klumpp, Lars Nitzke, Frank Schüssele

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

Ultimate Automizer and the Abstraction of Bitwise Operations - (Competition Contribution).

Frank Schüssele, Manuel Bentele, Daniel Dietsch, Matthias Heizmann, Xinyu Jiang, Dominik Klumpp, Andreas Podelski

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

A Bit-vector to Integer Translation with bv2nat and nat2bv.

Max Barth, Matthias Heizmann

Proceedings of the 22nd International Workshop on Satisfiability Modulo Theories co-located with the 36th International Conference on Computer Aided Verification (CAV 2024), 2024

Ultimate TestGen: Test-Case Generation with Automata-based Software Model Checking (Competition Contribution).

Max Barth, Daniel Dietsch, Matthias Heizmann, Marie-Christine Jakobs

Proceedings of the Fundamental Approaches to Software Engineering, 2024

2023

Ultimate Taipan SV-COMP 2024.

Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele

Dataset, November, 2023

Ultimate Kojak SV-COMP 2024.

Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele

Dataset, November, 2023

Ultimate Automizer SV-COMP 2024.

Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele

Dataset, November, 2023

Ultimate GemCutter SV-COMP 2024.

Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele

Dataset, November, 2023

Ultimate Taipan SV-COMP 2024.

Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele

Dataset, November, 2023

Ultimate Kojak SV-COMP 2024.

Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele

Dataset, November, 2023

Ultimate Automizer SV-COMP 2024.

Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele

Dataset, November, 2023

Ultimate GemCutter SV-COMP 2024.

Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele

Dataset, November, 2023

Ultimate Taipan SV-COMP 2024.

Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele

Dataset, November, 2023

Ultimate Kojak SV-COMP 2024.

Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele

Dataset, November, 2023

Ultimate Automizer SV-COMP 2024.

Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele

Dataset, November, 2023

Ultimate GemCutter SV-COMP 2024.

Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele

Dataset, November, 2023

Ultimate Taipan SV-COMP 2024.

Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele

Dataset, November, 2023

Ultimate Kojak SV-COMP 2024.

Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele

Dataset, November, 2023

Ultimate Automizer SV-COMP 2024.

Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele

Dataset, November, 2023

Ultimate GemCutter SV-COMP 2024.

Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele

Dataset, November, 2023

Ultimate Taipan SV-COMP 2024.

Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele

Dataset, November, 2023

Ultimate Kojak SV-COMP 2024.

Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele

Dataset, November, 2023

Ultimate Automizer SV-COMP 2024.

Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele

Dataset, November, 2023

Ultimate GemCutter SV-COMP 2024.

Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele

Dataset, November, 2023

Ultimate Taipan SV-COMP 2024.

Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele

Dataset, November, 2023

Ultimate Kojak SV-COMP 2024.

Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele

Dataset, November, 2023

Ultimate Automizer SV-COMP 2024.

Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele

Dataset, November, 2023

Ultimate GemCutter SV-COMP 2024.

Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele

Dataset, November, 2023

Ultimate Taipan SV-COMP 2024.

Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele

Dataset, November, 2023

Ultimate Automizer SV-COMP 2024.

Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele

Dataset, November, 2023

Ultimate GemCutter SV-COMP 2024.

Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele

Dataset, November, 2023

Ultimate Taipan SV-COMP 2024.

Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele

Dataset, November, 2023

Ultimate Kojak SV-COMP 2024.

Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele

Dataset, November, 2023

Ultimate Automizer SV-COMP 2024.

Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele

Dataset, November, 2023

Ultimate GemCutter SV-COMP 2024.

Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele

Dataset, November, 2023

Ultimate Kojak SV-COMP 2024.

Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele

Dataset, November, 2023

Ultimate Automizer SV-COMP 2024.

Daniel Dietsch, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Andreas Podelski, Frank Schüssele

Dataset, November, 2023

Petrification: Software Model Checking for Programs with Dynamic Thread Management (Extended Version).

Matthias Heizmann, Dominik Klumpp, Frank Schüssele, Lars Nitzke

CoRR, 2023

Ultimate Automizer and the CommuHash Normal Form - (Competition Contribution).

Matthias Heizmann, Max Barth, Daniel Dietsch, Leonard Fichtner, Jochen Hoenicke, Dominik Klumpp, Mehdi Naouar, Tanja Schindler, Frank Schüssele, Andreas Podelski

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

Ultimate Taipan and Race Detection in Ultimate - (Competition Contribution).

Daniel Dietsch, Matthias Heizmann, Dominik Klumpp, Frank Schüssele, Andreas Podelski

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

2022

Ultimate Kojak SV-COMP 2023 Competition Contribution.

Frank Schüssele, Daniel Dietsch, Matthias Heizmann, Dominik Klumpp, Andreas Podelski

Dataset, December, 2022

Ultimate GemCutter SV-COMP 2023 Competition Contribution.

Dominik Klumpp, Daniel Dietsch, Matthias Heizmann, Frank Schüssele, Azadeh Farzan, Andreas Podelski

Dataset, December, 2022

Ultimate Automizer SV-COMP 2023 Competition Contribution.

Matthias Heizmann, Daniel Dietsch, Dominik Klumpp, Frank Schüssele, Andreas Podelski

Dataset, December, 2022

Ultimate Taipan SV-COMP 2023 Competition Contribution.

Daniel Dietsch, Matthias Heizmann, Dominik Klumpp, Frank Schüssele, Andreas Podelski

Dataset, December, 2022

Ultimate Automizer (SV-COMP 2022 - Modified).

Matthias Heizmann, Max Barth, Daniel Dietsch, Leonard Fichtner, Jochen Hoenicke, Dominik Klumpp, Mehdi Naouar, Tanja Schindler, Frank Schüssele, Andreas Podelski

Dataset, January, 2022

Verification Witnesses.

Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann, Thomas Lemberger, Michael Tautschnig

ACM Trans. Softw. Eng. Methodol., 2022

Ultimate GemCutter and the Axes of Generalization - (Competition Contribution).

Dominik Klumpp, Daniel Dietsch, Matthias Heizmann, Frank Schüssele, Marcel Ebbinghaus, Azadeh Farzan, Andreas Podelski

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

2021

Ultimate GemCutter SV-COMP 2022 Competition Contribution.

Dominik Klumpp, Daniel Dietsch, Matthias Heizmann, Frank Schüssele, Marcel Ebbinghaus, Azadeh Farzan, Andreas Podelski

Dataset, November, 2021

Verification of Concurrent Programs Using Petri Net Unfoldings.

Daniel Dietsch, Matthias Heizmann, Dominik Klumpp, Mehdi Naouar, Andreas Podelski, Claus Schätzle

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2021

Separating Map Variables in a Logic-Based Intermediate Verification Language.

Daniel Dietsch, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski

Proceedings of the Networked Systems - 9th International Conference, 2021

2020

Reproduction Package for TOSEM Article 'Verification Witnesses'.

Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann, Thomas Lemberger, Michael Tautschnig

Dataset, March, 2020

Ultimate Taipan with Symbolic Interpretation and Fluid Abstractions - (Competition Contribution).

Daniel Dietsch, Matthias Heizmann, Alexander Nutz, Claus Schätzle, Frank Schüssele

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

The IBM z15 High Frequency Mainframe Branch Predictor Industrial Product.

Narasimha Adiga, James Bonanno, Adam Collura, Matthias Heizmann, Brian R. Prasky, Anthony Saporito

Proceedings of the 47th ACM/IEEE Annual International Symposium on Computer Architecture, 2020

2019

Ultimate Automizer SV-COMP 2020 Competition Contribution.

Matthias Heizmann, Max Barth, Daniel Dietsch, Jill Enke, Leonard Fichtner, Dominik Klumpp, Mehdi Naouar, Lars Nitzke, Alexander Nutz, Andreas Podelski, Elisabeth Schanno, Claus Schätzle

Dataset, November, 2019

The SMT Competition 2015-2018.

Tjark Weber, Sylvain Conchon, David Déharbe, Matthias Heizmann, Aina Niemetz, Giles Reger

J. Satisf. Boolean Model. Comput., 2019

Ultimate TreeAutomizer (CHC-COMP Tool Description).

Daniel Dietsch, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski

Proceedings of the Sixth Workshop on Horn Clauses for Verification and Synthesis and Third Workshop on Program Equivalence and Relational Reasoning, 2019

Different Maps for Different Uses. A Program Transformation for Intermediate Verification Languages.

Daniel Dietsch, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski

CoRR, 2019

Semantic Fault Localization and Suspiciousness Ranking.

Maria Christakis, Matthias Heizmann, Muhammad Numair Mansur, Christian Schilling, Valentin Wüstholz

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

2018

The Map Equality Domain.

Daniel Dietsch, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2018

Geometric Nontermination Arguments.

Jan Leike, Matthias Heizmann

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

Ultimate Automizer and the Search for Perfect Interpolants - (Competition Contribution).

Matthias Heizmann, Yu-Fang Chen, Daniel Dietsch, Marius Greitschus, Jochen Hoenicke, Yong Li, Alexander Nutz, Betim Musa, Christian Schilling, Tanja Schindler, Andreas Podelski

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

Ultimate Taipan with Dynamic Block Encoding - (Competition Contribution).

Daniel Dietsch, Marius Greitschus, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski, Christian Schilling, Tanja Schindler

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

Incremental Verification Using Trace Abstraction.

Bat-Chen Rothenberg, Daniel Dietsch, Matthias Heizmann

Proceedings of the Static Analysis - 25th International Symposium, 2018

Advanced automata-based algorithms for program termination checking.

Yu-Fang Chen, Matthias Heizmann, Ondrej Lengál, Yong Li, Ming-Hsien Tsai, Andrea Turrini, Lijun Zhang

Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation, 2018

2017

Minimization of Visibly Pushdown Automata Using Partial Max-SAT.

Matthias Heizmann, Christian Schilling, Daniel Tischner

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Ultimate Automizer with an On-Demand Construction of Floyd-Hoare Automata - (Competition Contribution).

Matthias Heizmann, Yu-Wen Chen, Daniel Dietsch, Marius Greitschus, Alexander Nutz, Betim Musa, Claus Schätzle, Christian Schilling, Frank Schüssele, Andreas Podelski

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Ultimate Taipan: Trace Abstraction and Abstract Interpretation - (Competition Contribution).

Marius Greitschus, Daniel Dietsch, Matthias Heizmann, Alexander Nutz, Claus Schätzle, Christian Schilling, Frank Schüssele, Andreas Podelski

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Craig vs. Newton in software model checking.

Daniel Dietsch, Matthias Heizmann, Betim Musa, Alexander Nutz, Andreas Podelski

Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering, 2017

Exchanging Verification Witnesses between Verifiers.

Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann

Proceedings of the Software Engineering 2017, 2017

2016

Replication Package for Article "Correctness Witnesses: Exchanging Verification Results between Verifiers".

Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann

Dataset, July, 2016

Ultimate Automizer with Two-track Proofs - (Competition Contribution).

Matthias Heizmann, Daniel Dietsch, Marius Greitschus, Jan Leike, Betim Musa, Claus Schätzle, Andreas Podelski

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Complementing Semi-deterministic Büchi Automata.

Frantisek Blahoudek, Matthias Heizmann, Sven Schewe, Jan Strejcek, Ming-Hsien Tsai

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Correctness witnesses: exchanging verification results between verifiers.

Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann

Proceedings of the 24th ACM SIGSOFT International Symposium on Foundations of Software Engineering, 2016

Witness validation and stepwise testification across software verifiers.

Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann, Andreas Stahlbauer

Proceedings of the Software Engineering 2016, 2016

2015

Traces, interpolants, and automata: a new approach to automatic software verification.

Matthias Heizmann

PhD thesis, 2015

Ranking Templates for Linear Loops.

Jan Leike, Matthias Heizmann

Log. Methods Comput. Sci., 2015

Ultimate Automizer with Array Interpolation - (Competition Contribution).

Matthias Heizmann, Daniel Dietsch, Jan Leike, Betim Musa, Andreas Podelski

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Automated Program Verification.

Azadeh Farzan, Matthias Heizmann, Jochen Hoenicke, Zachary Kincaid, Andreas Podelski

Proceedings of the Language and Automata Theory and Applications, 2015

Fairness Modulo Theory: A New Approach to LTL Software Model Checking.

Daniel Dietsch, Matthias Heizmann, Vincent Langenfeld, Andreas Podelski

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

Geometric Series as Nontermination Arguments for Linear Lasso Programs.

Jan Leike, Matthias Heizmann

CoRR, 2014

Ultimate Automizer with Unsatisfiable Cores - (Competition Contribution).

Matthias Heizmann, Jürgen Christ, Daniel Dietsch, Jochen Hoenicke, Markus Lindenmann, Betim Musa, Christian Schilling, Stefan Wissert, Andreas Podelski

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

Termination Analysis by Learning Terminating Programs.

Matthias Heizmann, Jochen Hoenicke, Andreas Podelski

Proceedings of the Computer Aided Verification - 26th International Conference, 2014

2013

Ultimate Automizer with SMTInterpol - (Competition Contribution).

Matthias Heizmann, Jürgen Christ, Daniel Dietsch, Evren Ermis, Jochen Hoenicke, Markus Lindenmann, Alexander Nutz, Christian Schilling, Andreas Podelski

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2013

Software Model Checking for People Who Love Automata.

Matthias Heizmann, Jochen Hoenicke, Andreas Podelski

Proceedings of the Computer Aided Verification - 25th International Conference, 2013

Linear Ranking for Linear Lasso Programs.

Matthias Heizmann, Jochen Hoenicke, Jan Leike, Andreas Podelski

Proceedings of the Automated Technology for Verification and Analysis, 2013

2010

Size-Change Termination and Transition Invariants.

Matthias Heizmann, Neil D. Jones, Andreas Podelski

Proceedings of the Static Analysis - 17th International Symposium, 2010

Nested interpolants.

Matthias Heizmann, Jochen Hoenicke, Andreas Podelski

Proceedings of the 37th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2010

2009

Functional verification of the IBM System z10 processor chipset.

Christopher A. Krygowski, Dean G. Bair, Rebecca M. Gott, M. H. Decker, A. V. Giri, Christian Habermann, Matthias Heizmann, Stefan Letz, William J. Lewis, Steven M. Licker, H. Mallar, Edward C. McCain, Wolfgang Roesner, N. Siddique, A. E. Seigler, Brian W. Thompto, K. Weber, Ralf Winkelmann

IBM J. Res. Dev., 2009

Refinement of Trace Abstraction.

Matthias Heizmann, Jochen Hoenicke, Andreas Podelski

Proceedings of the Static Analysis, 16th International Symposium, 2009