According to our database1, Vincent Laviron authored at least 4 papers between 2009 and 2011.
Legend:Book In proceedings Article PhD thesis Other
SubPolyhedra: a family of numerical abstract domains for the (more) scalable inference of linear inequalities.
Int. J. Softw. Tools Technol. Transf., 2011
Proceedings of the Verification, 2009
Proceedings of the Programming Languages and Systems, 7th Asian Symposium, 2009