Ultimate Automizer with Unsatisfiable Cores - (Competition Contribution). - Matthias Heizmann; Jürgen Christ; Daniel Dietsch; Jochen Hoenicke; Markus Lindenmann; Betim Musa; Christian Schilling 001; Stefan Wissert; Andreas Podelski (TACAS, 2014)

Ultimate Automizer with Array Interpolation - (Competition Contribution). - Matthias Heizmann; Daniel Dietsch; Jan Leike; Betim Musa; Andreas Podelski (TACAS, 2015)

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)

Craig vs. Newton in software model checking. - Daniel Dietsch; Matthias Heizmann; Betim Musa; Alexander Nutz; Andreas Podelski (ESEC/SIGSOFT FSE, 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 and the Search for Perfect Interpolants - (Competition Contribution). - Matthias Heizmann; Yu-Fang Chen 001; Daniel Dietsch; Marius Greitschus; Jochen Hoenicke; Yong Li 031; Alexander Nutz; Betim Musa; Christian Schilling 001; Tanja Schindler; Andreas Podelski (TACAS (2), 2018)