Author:Antoine Miné

Publications
Combination of Boxes and PolyhedraAbstractions for Constraint Solving Ghiles Ziat, Alexandre Maréchal, Marie Pelleau, Antoine Miné and Charlotte Truchet EasyChair Preprint 1906
Automatic Detection of Vulnerable Variables for CTL Properties of Programs Naïm Moussaoui Remil, Caterina Urban and Antoine Miné In:Proceedings of 25th Conference on Logic for Programming, Artificial Intelligence and Reasoning
Abstract Domains for Bit-Level Machine Integer and Floating-point Operations Antoine Miné In:ATx'12/WInG'12: Joint Proceedings of the Workshops on Automated Theory eXploration and on Invariant Generation