Xavier Allamigeon
EMSOFT 2017: 17th International Conference on Embedded Software
A Fast Method to Compute Disjunctive Quadratic Invariants of Numerical Programs
EMSOFT 2015: 15th International Conference on Embedded Software
A Scalable Algebraic Method to Infer Quadratic Invariants of Switched Systems