According to our database1, Angelo Brillout authored at least 7 papers between 2008 and 2011.
Legend:Book In proceedings Article PhD thesis Other
An Interpolating Sequent Calculus for Quantifier-Free Presburger Arithmetic.
J. Autom. Reasoning, 2011
Beyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic.
Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011
Beyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic (Extended Technical Report)
Program Verification via Craig Interpolation for Presburger Arithmetic with Arrays.
Proceedings of the 6th International Verification Workshop, 2010
Mutation-Based Test Case Generation for Simulink Models.
Proceedings of the Formal Methods for Components and Objects - 8th International Symposium, 2009
Mixed abstractions for floating-point arithmetic.
Proceedings of 9th International Conference on Formal Methods in Computer-Aided Design, 2009
Craig Interpolation for Quantifier-Free Presburger Arithmetic