Aymeric Vincent

Publication Activity (10 Years)

Years Active: 2003-2015
Publications (10 Years): 0

Top Topics

Clustering Algorithm

Conceptual Framework

Top Venues

University of Bordeaux, France (PHD)

Education History

University of Bordeaux, France

PHD

Publications

Emmanuel Fleury, Olivier Ly, Gérald Point, Aymeric Vincent
Insight: An Open Binary Analysis Framework. TACAS (2015)
Sébastien Bardin, Philippe Herrmann, Jérôme Leroux, Olivier Ly, Renaud Tabary, Aymeric Vincent
The BINCOA Framework for Binary Code Analysis. CAV (2011)
André Arnold, Xavier Briand, Gérald Point, Aymeric Vincent
A generic approach to the control of discrete event systems. CDC/ECC (2005)
Alain Griffault, Aymeric Vincent
The Mec 5 Model-Checker. CAV (2004)
André Arnold, Aymeric Vincent, Igor Walukiewicz
Games for synthesis of controllers with partial observation. Theor. Comput. Sci. 303 (1) (2003)