Assume-Guarantee Abstraction Refinement Meets Hybrid Systems. - Sergiy Bogomolov; Goran Frehse; Marius Greitschus; Radu Grosu; Corina S. Pasareanu; Andreas Podelski; Thomas Strump (Haifa Verification Conference, 2014)

Benchmark Generator for Stratified Controllers of Tank Networks. - Stanley Bak; Sergiy Bogomolov; Marius Greitschus; Taylor T. Johnson (ARCH@CPSWeek, 2015)

Eliminating spurious transitions in reachability with support functions. - Goran Frehse; Sergiy Bogomolov; Marius Greitschus; Thomas Strump; Andreas Podelski (HSCC, 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)

Loop Invariants from Counterexamples. - Marius Greitschus; Daniel Dietsch; Andreas Podelski (SAS, 2017)

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)

Refining Trace Abstraction using Abstract Interpretation. - Marius Greitschus; Daniel Dietsch; Andreas Podelski (CoRR, 2017)

Ultimate Taipan with Dynamic Block Encoding - (Competition Contribution). - Daniel Dietsch; Marius Greitschus; Matthias Heizmann; Jochen Hoenicke; Alexander Nutz; Andreas Podelski; Christian Schilling 001; Tanja Schindler (TACAS (2), 2018)

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)

New techniques for abstraction refinement. - Marius Greitschus (2018)

Temporal Planning as Refinement-Based Model Checking. - Alexander Heinz; Martin Wehrle; Sergiy Bogomolov; Daniele Magazzeni; Marius Greitschus; Andreas Podelski (ICAPS, 2019)