Gérald Point

Publication Activity (10 Years)

Years Active: 1999-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)
Jérôme Leroux, Gérald Point
TaPAS: The Talence Presburger Arithmetic Suite. TACAS (2009)
Sébastien Bardin, Jérôme Leroux, Gérald Point
FAST Extended Release. CAV (2006)
André Arnold, Xavier Briand, Gérald Point, Aymeric Vincent
A generic approach to the control of discrete event systems. CDC/ECC (2005)
André Arnold, Gérald Point, Alain Griffault, Antoine Rauzy
The AltaRica Formalism for Describing Concurrent Systems. Fundam. Informaticae 40 (2-3) (1999)