Aymeric Vincent

The Mec 5 Model-Checker

Alain Griffault, Aymeric Vincent, 2004, CAV.

Extracting structure from low-level code PhD proposal

Igor Walukiewicz, Olivier Ly, Aymeric Vincent, 2010 .

Symbolic computation of minimal cuts for AltaRica models

Alain Griffault, Aymeric Vincent, Fabien Kuntz, 2011 .

Conception et réalisation d'un vérificateur de modèles AltaRica. (Conception and realisation of a model checker for AltaRica models)

Aymeric Vincent, 2003 .

Insight: An Open Binary Analysis Framework

Olivier Ly, Emmanuel Fleury, Aymeric Vincent, 2015, TACAS.

TOTAL New Production Data Management System: from the Concept to Deployment

Aymeric Vincent, Christophe Allanic, Jose-Luis Trallero, 2017 .

The BINCOA Framework for Binary Code Analysis

Olivier Ly, Jérôme Leroux, Aymeric Vincent, 2011, CAV.

Games for synthesis of controllers with partial observation

Igor Walukiewicz, Aymeric Vincent, André Arnold, 2003, Theor. Comput. Sci..