Angelo Brillout

According to our database1, Angelo Brillout authored at least 7 papers between 2008 and 2011.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

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


  Loading...