Craig Interpolation for Quantifier-Free Presburger Arithmetic - Angelo Brillout; Daniel Kroening; Thomas Wahl (CoRR, 2008)

Mixed abstractions for floating-point arithmetic. - Angelo Brillout; Daniel Kroening; Thomas Wahl (FMCAD, 2009)

Mutation-Based Test Case Generation for Simulink Models. - Angelo Brillout; Nannan He; Michele Mazzucchi; Daniel Kroening; Mitra Purandare; Philipp Rümmer; Georg Weissenbacher (FMCO, 2009)

Program Verification via Craig Interpolation for Presburger Arithmetic with Arrays. - Angelo Brillout; Daniel Kroening; Philipp Rümmer; Thomas Wahl (VERIFY@IJCAR, 2010)

Beyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic (Extended Technical Report) - Angelo Brillout; Daniel Kroening; Philipp Rümmer; Thomas Wahl (CoRR, 2010)

Beyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic. - Angelo Brillout; Daniel Kroening; Philipp Rümmer; Thomas Wahl (VMCAI, 2011)

An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic. - Angelo Brillout; Daniel Kroening; Philipp Rümmer; Thomas Wahl (J. Autom. Reason., 2011)

Approximating and Interpolating Theories of Arithmetic for Software Verification. - Angelo Brillout (2011)