Games for synthesis of controllers with partial observation. - André Arnold; Aymeric Vincent; Igor Walukiewicz (Theor. Comput. Sci., 2003)

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)

The Mec 5 Model-Checker. - Alain Griffault; Aymeric Vincent (CAV, 2004)

A generic approach to the control of discrete event systems. - André Arnold; Xavier Briand; Gérald Point; Aymeric Vincent (CDC/ECC, 2005)

The BINCOA Framework for Binary Code Analysis. - Sébastien Bardin; Philippe Herrmann; Jérôme Leroux; Olivier Ly; Renaud Tabary; Aymeric Vincent (CAV, 2011)

Insight: An Open Binary Analysis Framework. - Emmanuel Fleury; Olivier Ly; Gérald Point; Aymeric Vincent (TACAS, 2015)