Aymeric Vincent

According to our database, Aymeric Vincent authored at least 6 papers between 2003 and 2015.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2015

Insight: An Open Binary Analysis Framework.

Emmanuel Fleury, Olivier Ly, Gérald Point, Aymeric Vincent

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

2011

The BINCOA Framework for Binary Code Analysis.

Sébastien Bardin, Philippe Herrmann, Jérôme Leroux, Olivier Ly, Renaud Tabary, Aymeric Vincent

Proceedings of the Computer Aided Verification - 23rd International Conference, 2011

2005

A generic approach to the control of discrete event systems.

André Arnold, Xavier Briand, Gérald Point, Aymeric Vincent

Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

2004

The Mec 5 Model-Checker.

Alain Griffault, Aymeric Vincent

Proceedings of the Computer Aided Verification, 16th International Conference, 2004

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

PhD thesis, 2003

Games for synthesis of controllers with partial observation.

André Arnold, Aymeric Vincent, Igor Walukiewicz

Theor. Comput. Sci., 2003