Angelo Brillout

According to our database, Angelo Brillout authored at least 8 papers between 2008 and 2011.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2011

Approximating and Interpolating Theories of Arithmetic for Software Verification.

Angelo Brillout

PhD thesis, 2011

An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic.

Angelo Brillout, Daniel Kroening, Philipp Rümmer, Thomas Wahl

J. Autom. Reason., 2011

Beyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic.

Angelo Brillout, Daniel Kroening, Philipp Rümmer, Thomas Wahl

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011

2010

Beyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic (Extended Technical Report)

Angelo Brillout, Daniel Kroening, Philipp Rümmer, Thomas Wahl

CoRR, 2010

Program Verification via Craig Interpolation for Presburger Arithmetic with Arrays.

Angelo Brillout, Daniel Kroening, Philipp Rümmer, Thomas Wahl

Proceedings of the 6th International Verification Workshop, 2010

2009

Mutation-Based Test Case Generation for Simulink Models.

Angelo Brillout, Nannan He, Michele Mazzucchi, Daniel Kroening, Mitra Purandare, Philipp Rümmer, Georg Weissenbacher

Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009

Mixed abstractions for floating-point arithmetic.

Angelo Brillout, Daniel Kroening, Thomas Wahl

Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009

2008

Craig Interpolation for Quantifier-Free Presburger Arithmetic

Angelo Brillout, Daniel Kroening, Thomas Wahl

CoRR, 2008