Matthias Heizmann
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
36
Venues
10
Active years
2009–2026
Best venue rank
A*
Where they publish
Papers
36 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FASE | Ultimate TestGen: Combining Parallel Trace Abstraction and Symbolic Path Execution (Competition Contribution). | Max Barth, Daniel Dietsch, Matthias Heizmann, Marie-Christine Jakobs |
| 2026 | TACAS | Ultimate Paralizer: Parallel Trace Abstraction (Competition Contribution). | Max Barth, Daniel Dietsch, Matthias Heizmann, Marie-Christine Jakobs |
| 2026 | TACAS | Ultimate Automizer with a One-Dimensional Memory Model - (Competition Contribution). | Manuel Bentele, Max Barth, Marcel Ebbinghaus, Jan Krner, Daniel Dietsch, Matthias Heizmann, Dominik Klumpp, Frank Schssele, Andreas Podelski |
| 2025 | VMCAI | Correctness Witnesses for Concurrent Programs: Bridging the Semantic Divide with Ghosts. | Julian Erhard, Manuel Bentele, Matthias Heizmann, Dominik Klumpp, Simmo Saan, Frank Schssele, Michael Schwarz, Helmut Seidl, Sarah Tilscher, Vesal Vojdani |
| 2024 | FASE | Ultimate TestGen: Test-Case Generation with Automata-based Software Model Checking (Competition Contribution). | Max Barth, Daniel Dietsch, Matthias Heizmann, Marie-Christine Jakobs |
| 2024 | TACAS | Ultimate Automizer and the Abstraction of Bitwise Operations - (Competition Contribution). | Frank Schssele, Manuel Bentele, Daniel Dietsch, Matthias Heizmann, Xinyu Jiang, Dominik Klumpp, Andreas Podelski |
| 2024 | VMCAI | Petrification: Software Model Checking for Programs with Dynamic Thread Management. | Matthias Heizmann, Dominik Klumpp, Lars Nitzke, Frank Schssele |
| 2023 | TACAS | Ultimate Taipan and Race Detection in Ultimate - (Competition Contribution). | Daniel Dietsch, Matthias Heizmann, Dominik Klumpp, Frank Schssele, Andreas Podelski |
| 2023 | TACAS | 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 Schssele, Andreas Podelski |
| 2022 | TACAS | Ultimate GemCutter and the Axes of Generalization - (Competition Contribution). | Dominik Klumpp, Daniel Dietsch, Matthias Heizmann, Frank Schssele, Marcel Ebbinghaus, Azadeh Farzan, Andreas Podelski |
| 2021 | VMCAI | Verification of Concurrent Programs Using Petri Net Unfoldings. | Daniel Dietsch, Matthias Heizmann, Dominik Klumpp, Mehdi Naouar, Andreas Podelski, Claus Schtzle |
| 2020 | ISCA | The IBM z15 High Frequency Mainframe Branch Predictor Industrial Product. | Narasimha Adiga, James Bonanno, Adam Collura, Matthias Heizmann, Brian R. Prasky, Anthony Saporito |
| 2020 | TACAS | Ultimate Taipan with Symbolic Interpretation and Fluid Abstractions - (Competition Contribution). | Daniel Dietsch, Matthias Heizmann, Alexander Nutz, Claus Schtzle, Frank Schssele |
| 2019 | TACAS | Semantic Fault Localization and Suspiciousness Ranking. | Maria Christakis, Matthias Heizmann, Muhammad Numair Mansur, Christian Schilling, Valentin Wstholz |
| 2018 | PLDI | Advanced automata-based algorithms for program termination checking. | Yu-Fang Chen, Matthias Heizmann, Ondrej Lengl, Yong Li, Ming-Hsien Tsai, Andrea Turrini, Lijun Zhang |
| 2018 | SAS | Incremental Verification Using Trace Abstraction. | Bat-Chen Rothenberg, Daniel Dietsch, Matthias Heizmann |
| 2018 | TACAS | Ultimate Taipan with Dynamic Block Encoding - (Competition Contribution). | Daniel Dietsch, Marius Greitschus, Matthias Heizmann, Jochen Hoenicke, Alexander Nutz, Andreas Podelski, Christian Schilling, Tanja Schindler |
| 2018 | TACAS | 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 |
| 2018 | TACAS | Geometric Nontermination Arguments. | Jan Leike, Matthias Heizmann |
| 2017 | TACAS | Ultimate Taipan: Trace Abstraction and Abstract Interpretation - (Competition Contribution). | Marius Greitschus, Daniel Dietsch, Matthias Heizmann, Alexander Nutz, Claus Schtzle, Christian Schilling, Frank Schssele, Andreas Podelski |
| 2017 | TACAS | 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 Schtzle, Christian Schilling, Frank Schssele, Andreas Podelski |
| 2017 | TACAS | Minimization of Visibly Pushdown Automata Using Partial Max-SAT. | Matthias Heizmann, Christian Schilling, Daniel Tischner |
| 2016 | TACAS | Complementing Semi-deterministic Bchi Automata. | Frantisek Blahoudek, Matthias Heizmann, Sven Schewe, Jan Strejcek, Ming-Hsien Tsai |
| 2016 | TACAS | Ultimate Automizer with Two-track Proofs - (Competition Contribution). | Matthias Heizmann, Daniel Dietsch, Marius Greitschus, Jan Leike, Betim Musa, Claus Schtzle, Andreas Podelski |
| 2015 | CAV | Fairness Modulo Theory: A New Approach to LTL Software Model Checking. | Daniel Dietsch, Matthias Heizmann, Vincent Langenfeld, Andreas Podelski |
| 2015 | LATA | Automated Program Verification. | Azadeh Farzan, Matthias Heizmann, Jochen Hoenicke, Zachary Kincaid, Andreas Podelski |
| 2015 | TACAS | Ultimate Automizer with Array Interpolation - (Competition Contribution). | Matthias Heizmann, Daniel Dietsch, Jan Leike, Betim Musa, Andreas Podelski |
| 2014 | CAV | Termination Analysis by Learning Terminating Programs. | Matthias Heizmann, Jochen Hoenicke, Andreas Podelski |
| 2014 | TACAS | Ultimate Automizer with Unsatisfiable Cores - (Competition Contribution). | Matthias Heizmann, Jrgen Christ, Daniel Dietsch, Jochen Hoenicke, Markus Lindenmann, Betim Musa, Christian Schilling, Stefan Wissert, Andreas Podelski |
| 2014 | TACAS | Ranking Templates for Linear Loops. | Jan Leike, Matthias Heizmann |
| 2013 | ATVA | Linear Ranking for Linear Lasso Programs. | Matthias Heizmann, Jochen Hoenicke, Jan Leike, Andreas Podelski |
| 2013 | CAV | Software Model Checking for People Who Love Automata. | Matthias Heizmann, Jochen Hoenicke, Andreas Podelski |
| 2013 | TACAS | Ultimate Automizer with SMTInterpol - (Competition Contribution). | Matthias Heizmann, Jrgen Christ, Daniel Dietsch, Evren Ermis, Jochen Hoenicke, Markus Lindenmann, Alexander Nutz, Christian Schilling, Andreas Podelski |
| 2010 | POPL | Nested interpolants. | Matthias Heizmann, Jochen Hoenicke, Andreas Podelski |
| 2010 | SAS | Size-Change Termination and Transition Invariants. | Matthias Heizmann, Neil D. Jones, Andreas Podelski |
| 2009 | SAS | Refinement of Trace Abstraction. | Matthias Heizmann, Jochen Hoenicke, Andreas Podelski |