# Angelo Brillout

According to our database

Collaborative distances:

^{1}, Angelo Brillout authored at least 7 papers between 2008 and 2011.Collaborative distances:

## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### On csauthors.net:

## Bibliography

2011

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

2010

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

CoRR, 2010

Program Verification via Craig Interpolation for Presburger Arithmetic with Arrays.

Proceedings of the 6th International Verification Workshop, 2010

2009

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

2008

Craig Interpolation for Quantifier-Free Presburger Arithmetic

CoRR, 2008