Angelo Brillout

Publication Activity (10 Years)

Years Active: 2008-2011
Publications (10 Years): 0

Publications

Angelo Brillout, Daniel Kroening, Philipp Rümmer, Thomas Wahl
Beyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic. VMCAI (2011)
Angelo Brillout, Daniel Kroening, Philipp Rümmer, Thomas Wahl
An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic. J. Autom. Reason. 47 (4) (2011)
Angelo Brillout, Daniel Kroening, Philipp Rümmer, Thomas Wahl
Beyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic (Extended Technical Report) CoRR (2010)
Angelo Brillout, Daniel Kroening, Philipp Rümmer, Thomas Wahl
An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic. IJCAR (2010)
Angelo Brillout, Daniel Kroening, Philipp Rümmer, Thomas Wahl
Program Verification via Craig Interpolation for Presburger Arithmetic with Arrays. VERIFY@IJCAR (2010)
Angelo Brillout, Daniel Kroening, Thomas Wahl
Mixed abstractions for floating-point arithmetic. FMCAD (2009)
Angelo Brillout, Nannan He, Michele Mazzucchi, Daniel Kroening, Mitra Purandare, Philipp Rümmer, Georg Weissenbacher
Mutation-Based Test Case Generation for Simulink Models. FMCO (2009)
Angelo Brillout, Daniel Kroening, Thomas Wahl
Craig Interpolation for Quantifier-Free Presburger Arithmetic CoRR (2008)