A hierarchy of constraint systems for data-flow analysis of constraint logic-based languages

Applications of polyhedral computations to the analysis and verification of hardware and software systems

Theoretical Computer Science

Exact join detection for convex polyhedra and other numerical abstractions

Computational Geometry: Theory and Applications

Efficient structural information analysis for real CLP languages

LPAR'00 Proceedings of the 7th international conference on Logic for programming and automated reasoning

BOXES: a symbolic abstract domain of boxes

SAS'10 Proceedings of the 17th international conference on Static analysis

Polyhedra-Based approach for incremental validation of real-time systems

EUC'05 Proceedings of the 2005 international conference on Embedded and Ubiquitous Computing

Donut domains: efficient non-convex domains for abstract interpretation

VMCAI'12 Proceedings of the 13th international conference on Verification, Model Checking, and Abstract Interpretation