Matthias Heizmann

ORCID

Publication Activity (10 Years)

Years Active: 2009-2024
Publications (10 Years): 39

Top Venues

University of Freiburg, Freiburg im Breisgau, Germany (PHD)

Education History

University of Freiburg, Freiburg im Breisgau, Germany

PHD

Publications

Frank Schüssele, Manuel Bentele, Daniel Dietsch, Matthias Heizmann, Xinyu Jiang, Dominik Klumpp, Andreas Podelski
Ultimate Automizer and the Abstraction of Bitwise Operations - (Competition Contribution). TACAS (3) (2024)
Max Barth, Matthias Heizmann
A Bit-vector to Integer Translation with bv2nat and nat2bv. SMT@CAV (2024)
Max Barth, Daniel Dietsch, Matthias Heizmann, Marie-Christine Jakobs
Ultimate TestGen: Test-Case Generation with Automata-based Software Model Checking (Competition Contribution). FASE (2024)
Matthias Heizmann, Dominik Klumpp, Lars Nitzke, Frank Schüssele
Petrification: Software Model Checking for Programs with Dynamic Thread Management. VMCAI (2) (2024)
Matthias Heizmann, Dominik Klumpp, Frank Schüssele, Lars Nitzke
Petrification: Software Model Checking for Programs with Dynamic Thread Management (Extended Version). CoRR (2023)
Daniel Dietsch, Matthias Heizmann, Dominik Klumpp, Frank Schüssele, Andreas Podelski
Ultimate Taipan and Race Detection in Ultimate - (Competition Contribution). TACAS (2) (2023)
Matthias Heizmann, Max Barth, Daniel Dietsch, Leonard Fichtner, Jochen Hoenicke, Dominik Klumpp, Mehdi Naouar, Tanja Schindler, Frank Schüssele, Andreas Podelski
Ultimate Automizer and the CommuHash Normal Form - (Competition Contribution). TACAS (2) (2023)
Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann, Thomas Lemberger, Michael Tautschnig
Verification Witnesses. ACM Trans. Softw. Eng. Methodol. 31 (4) (2022)
Dominik Klumpp, Daniel Dietsch, Matthias Heizmann, Frank Schüssele, Marcel Ebbinghaus, Azadeh Farzan, Andreas Podelski
Ultimate GemCutter and the Axes of Generalization - (Competition Contribution). TACAS (2) (2022)
Daniel Dietsch, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski
Separating Map Variables in a Logic-Based Intermediate Verification Language. NETYS (2021)
Daniel Dietsch, Matthias Heizmann, Dominik Klumpp, Mehdi Naouar, Andreas Podelski, Claus Schätzle
Verification of Concurrent Programs Using Petri Net Unfoldings. VMCAI (2021)
Daniel Dietsch, Matthias Heizmann, Alexander Nutz, Claus Schätzle, Frank Schüssele
Ultimate Taipan with Symbolic Interpretation and Fluid Abstractions - (Competition Contribution). TACAS (2) (2020)
Narasimha Adiga, James Bonanno, Adam Collura, Matthias Heizmann, Brian R. Prasky, Anthony Saporito
The IBM z15 High Frequency Mainframe Branch Predictor Industrial Product. ISCA (2020)
Daniel Dietsch, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski
Ultimate TreeAutomizer (CHC-COMP Tool Description). HCVS/PERR@ETAPS (2019)
Maria Christakis, Matthias Heizmann, Muhammad Numair Mansur, Christian Schilling, Valentin Wüstholz
Semantic Fault Localization and Suspiciousness Ranking. TACAS (1) (2019)
Daniel Dietsch, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski
Different Maps for Different Uses. A Program Transformation for Intermediate Verification Languages. CoRR (2019)
Tjark Weber, Sylvain Conchon, David Déharbe, Matthias Heizmann, Aina Niemetz, Giles Reger
The SMT Competition 2015-2018. J. Satisf. Boolean Model. Comput. 11 (1) (2019)
Yu-Fang Chen, Matthias Heizmann, Ondrej Lengál, Yong Li, Ming-Hsien Tsai, Andrea Turrini, Lijun Zhang
Advanced automata-based algorithms for program termination checking. PLDI (2018)
Daniel Dietsch, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski
The Map Equality Domain. VSTTE (2018)
Matthias Heizmann, Yu-Fang Chen, Daniel Dietsch, Marius Greitschus, Jochen Hoenicke, Yong Li, Alexander Nutz, Betim Musa, Christian Schilling, Tanja Schindler, Andreas Podelski
Ultimate Automizer and the Search for Perfect Interpolants - (Competition Contribution). TACAS (2) (2018)
Jan Leike, Matthias Heizmann
Geometric Nontermination Arguments. TACAS (2) (2018)
Daniel Dietsch, Marius Greitschus, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski, Christian Schilling, Tanja Schindler
Ultimate Taipan with Dynamic Block Encoding - (Competition Contribution). TACAS (2) (2018)
Bat-Chen Rothenberg, Daniel Dietsch, Matthias Heizmann
Incremental Verification Using Trace Abstraction. SAS (2018)
Matthias Heizmann, Christian Schilling, Daniel Tischner
Minimization of Visibly Pushdown Automata Using Partial Max-SAT. CoRR (2017)
Matthias Heizmann, Christian Schilling, Daniel Tischner
Minimization of Visibly Pushdown Automata Using Partial Max-SAT. TACAS (1) (2017)
Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann
Exchanging Verification Witnesses between Verifiers. Software Engineering (2017)
Matthias Heizmann, Yu-Wen Chen, Daniel Dietsch, Marius Greitschus, Alexander Nutz, Betim Musa, Claus Schätzle, Christian Schilling, Frank Schüssele, Andreas Podelski
Ultimate Automizer with an On-Demand Construction of Floyd-Hoare Automata - (Competition Contribution). TACAS (2) (2017)
Daniel Dietsch, Matthias Heizmann, Betim Musa, Alexander Nutz, Andreas Podelski
Craig vs. Newton in software model checking. ESEC/SIGSOFT FSE (2017)
Marius Greitschus, Daniel Dietsch, Matthias Heizmann, Alexander Nutz, Claus Schätzle, Christian Schilling, Frank Schüssele, Andreas Podelski
Ultimate Taipan: Trace Abstraction and Abstract Interpretation - (Competition Contribution). TACAS (2) (2017)
Jan Leike, Matthias Heizmann
Geometric Nontermination Arguments. CoRR (2016)
Matthias Heizmann, Daniel Dietsch, Marius Greitschus, Jan Leike, Betim Musa, Claus Schätzle, Andreas Podelski
Ultimate Automizer with Two-track Proofs - (Competition Contribution). TACAS (2016)
Frantisek Blahoudek, Matthias Heizmann, Sven Schewe, Jan Strejcek, Ming-Hsien Tsai
Complementing Semi-deterministic Büchi Automata. TACAS (2016)
Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann, Andreas Stahlbauer
Witness validation and stepwise testification across software verifiers. Software Engineering (2016)
Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann
Correctness witnesses: exchanging verification results between verifiers. SIGSOFT FSE (2016)
Daniel Dietsch, Matthias Heizmann, Vincent Langenfeld, Andreas Podelski
Fairness Modulo Theory: A New Approach to LTL Software Model Checking. CAV (1) (2015)
Dirk Beyer, Matthias Dangl, Daniel Dietsch, Matthias Heizmann, Andreas Stahlbauer
Witness validation and stepwise testification across software verifiers. ESEC/SIGSOFT FSE (2015)
Jan Leike, Matthias Heizmann
Ranking Templates for Linear Loops. Log. Methods Comput. Sci. 11 (1) (2015)
Matthias Heizmann, Daniel Dietsch, Jan Leike, Betim Musa, Andreas Podelski
Ultimate Automizer with Array Interpolation - (Competition Contribution). TACAS (2015)
Azadeh Farzan, Matthias Heizmann, Jochen Hoenicke, Zachary Kincaid, Andreas Podelski
Automated Program Verification. LATA (2015)
Jan Leike, Matthias Heizmann
Ranking Templates for Linear Loops. TACAS (2014)
Matthias Heizmann, Jochen Hoenicke, Jan Leike, Andreas Podelski
Linear Ranking for Linear Lasso Programs. CoRR (2014)
Jan Leike, Matthias Heizmann
Geometric Series as Nontermination Arguments for Linear Lasso Programs. CoRR (2014)
Matthias Heizmann, Jürgen Christ, Daniel Dietsch, Jochen Hoenicke, Markus Lindenmann, Betim Musa, Christian Schilling, Stefan Wissert, Andreas Podelski
Ultimate Automizer with Unsatisfiable Cores - (Competition Contribution). TACAS (2014)
Matthias Heizmann, Jochen Hoenicke, Andreas Podelski
Termination Analysis by Learning Terminating Programs. CAV (2014)
Matthias Heizmann, Jochen Hoenicke, Andreas Podelski
Termination Analysis by Learning Terminating Programs. CoRR (2014)
Jan Leike, Matthias Heizmann
Ranking Templates for Linear Loops. CoRR (2014)
Matthias Heizmann, Jochen Hoenicke, Andreas Podelski
Software Model Checking for People Who Love Automata. CAV (2013)
Matthias Heizmann, Jürgen Christ, Daniel Dietsch, Evren Ermis, Jochen Hoenicke, Markus Lindenmann, Alexander Nutz, Christian Schilling, Andreas Podelski
Ultimate Automizer with SMTInterpol - (Competition Contribution). TACAS (2013)
Matthias Heizmann, Jochen Hoenicke, Jan Leike, Andreas Podelski
Linear Ranking for Linear Lasso Programs. ATVA (2013)
Matthias Heizmann, Neil D. Jones, Andreas Podelski
Size-Change Termination and Transition Invariants. SAS (2010)
Matthias Heizmann, Jochen Hoenicke, Andreas Podelski
Nested interpolants. POPL (2010)
Matthias Heizmann, Jochen Hoenicke, Andreas Podelski
Refinement of Trace Abstraction. SAS (2009)
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
Functional verification of the IBM System z10 processor chipset. IBM J. Res. Dev. 53 (1) (2009)

Matthias Heizmann.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Matthias Heizmann