The following publications are possibly variants of this publication:
- 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. TACAS 2013: 641-643 [doi]
- Ultimate Automizer with Array Interpolation - (Competition Contribution)Matthias Heizmann, Daniel Dietsch, Jan Leike, Betim Musa, Andreas Podelski. TACAS 2015: 455-457 [doi]
- 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. TACAS 2014: 418-420 [doi]
- 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. TACAS 2023: 577-581 [doi]
- Ultimate Automizer with Two-track Proofs - (Competition Contribution)Matthias Heizmann, Daniel Dietsch, Marius Greitschus, Jan Leike, Betim Musa, Claus Schätzle, Andreas Podelski. TACAS 2016: 950-953 [doi]
- 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. TACAS 2018: 447-451 [doi]
- 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. TACAS 2017: 394-398 [doi]
- Ultimate Taipan with Symbolic Interpretation and Fluid Abstractions - (Competition Contribution)Daniel Dietsch, Matthias Heizmann, Alexander Nutz, Claus Schätzle, Frank Schüssele. TACAS 2020: 418-422 [doi]
- 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. TACAS 2017: 399-403 [doi]
- Ultimate Kojak - (Competition Contribution)Evren Ermis, Alexander Nutz, Daniel Dietsch, Jochen Hoenicke, Andreas Podelski. TACAS 2014: 421-423 [doi]
- Ultimate Taipan and Race Detection in Ultimate - (Competition Contribution)Daniel Dietsch, Matthias Heizmann, Dominik Klumpp, Frank Schüssele, Andreas Podelski. TACAS 2023: 582-587 [doi]