EasyChair Smart SlideDocs/Log in
Author: Antoine Miné

This page shows all presentations of this author published in EasyChair Smart Slide.

Combination of Boxes and PolyhedraAbstractions for Constraint Solving

Combination of Boxes and PolyhedraAbstractions for Constraint Solving

Ghiles Ziat, Alexandre Maréchal, Marie Pelleau, Antoine Miné and Charlotte Truchet

Analysis of Software Patches using Numerical Abstract Interpretation

Analysis of Software Patches using Numerical Abstract Interpretation

David Delmas and Antoine Miné

Experiences with thread-modular static analysis of concurrent embedded systems by abstract interpretation

Experiences with thread-modular static analysis of concurrent embedded systems by abstract interpretation

Antoine Miné

Presentations in this collection: 3
Copyright © 2002 – 2024 EasyChair