B. Musa

发表

Ultimate Automizer and the Search for Perfect Interpolants - (Competition Contribution)

Jochen Hoenicke, Christian Schilling, Andreas Podelski, 2018, TACAS.

Ultimate Automizer with Array Interpolation - (Competition Contribution)

Andreas Podelski, Matthias Heizmann, Jan Leike, 2015, TACAS.

Craig vs. Newton in software model checking

Andreas Podelski, Matthias Heizmann, Alexander Nutz, 2017, ESEC/SIGSOFT FSE.

Ultimate Automizer with an On-Demand Construction of Floyd-Hoare Automata - (Competition Contribution)

Christian Schilling, Andreas Podelski, Matthias Heizmann, 2017, TACAS.