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)

Ultimate Taipan: Trace Abstraction and Abstract Interpretation - (Competition Contribution). - Marius Greitschus; Daniel Dietsch; Matthias Heizmann; Alexander Nutz; Claus Schätzle; Christian Schilling 001; Frank Schüssele; Andreas Podelski (TACAS (2), 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 001; Frank Schüssele; Andreas Podelski (TACAS (2), 2017)

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 (Zenodo, 2019)

Ultimate Taipan with Symbolic Interpretation and Fluid Abstractions - (Competition Contribution). - Daniel Dietsch; Matthias Heizmann; Alexander Nutz; Claus Schätzle; Frank Schüssele (TACAS (2), 2020)

Verification of Concurrent Programs Using Petri Net Unfoldings. - Daniel Dietsch; Matthias Heizmann; Dominik Klumpp; Mehdi Naouar; Andreas Podelski; Claus Schätzle (VMCAI, 2021)