HomeEPiC SeriesKalpa PublicationsPreprintsFor AuthorsFor Editors

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

Keyphrases

abstract domains, abstract interpretation3, Constraint Programming, CTL, floating-point numbers, machine integers, numeric domains, program verification, propagation, Reduced Products, Security, static analysis2.

Copyright © 2012-2025 easychair.org. All rights reserved.