Publications

[PDF] Insight: An Open Binary Analysis Framework. Emmanuel Fleury, Olivier Ly, Gérald Point, and Aymeric Vincent, TACAS 2015, London, UK, April 2015
[PDF] The BINCOA Framework for Binary Code Analysis. Sébastien Bardin, Philippe Herrmann, Jérôme Leroux, Olivier Ly, Renaud Tabary, and Aymeric Vincent, CAV 2011, Snowbird, Utah, July 2011
[PDF] [PS] A generic approach to the control of discrete event systems. André Arnold, Xavier Briand, Gérald Point, and Aymeric Vincent, CDC ECC, Sevilla, December 2005
[PDF] [PS] The Mec 5 model-checker. Alain Griffault and Aymeric Vincent, CAV 2004, Boston, July 2004
[PDF] [PS] Conception et réalisation d'un vérificateur de modèles AltaRica. Aymeric Vincent, PhD thesis, LaBRI, University of Bordeaux 1, December 2003
[PDF] [PS] Vérification de modèles AltaRica. Alain Griffault and Aymeric Vincent, MAJECSTIC 2003, Marseille, October 2003
[PDF] [PS] Games for synthesis of controllers with partial observation. André Arnold, Aymeric Vincent and Igor Walukiewicz, TCS, 303(1):7--34, June 2003
[PDF] [PS] Synthèse de contrôleurs et stratégies gagnantes dans les jeux de parité. Aymeric Vincent, MSR 2001, Toulouse, Hermès, editor, pp. 87--98, October 2001

Random Notes

[PDF] [PS] Upward-closed objectives are exactly the positive boolean combinations of Büchi objectives. February 2007