The following publications are possibly variants of this publication:
- 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]
- 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 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 GemCutter and the Axes of Generalization - (Competition Contribution)Dominik Klumpp, Daniel Dietsch, Matthias Heizmann, Frank Schüssele, Marcel Ebbinghaus, Azadeh Farzan, Andreas Podelski. TACAS 2022: 479-483 [doi]
- 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. TACAS 2024: 418-423 [doi]
- Ultimate Automizer with Array Interpolation - (Competition Contribution)Matthias Heizmann, Daniel Dietsch, Jan Leike, Betim Musa, Andreas Podelski. TACAS 2015: 455-457 [doi]
- ULTIMATE KOJAK with Memory Safety Checks - (Competition Contribution)Alexander Nutz, Daniel Dietsch, Mostafa Mahmoud Mohamed, Andreas Podelski. TACAS 2015: 458-460 [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 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 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]