Skip to main content
Gérald Point
- Ingénieur de Recherches
- CNRS
- Department
- M2F
- Team
- Modèles et Technologies pour la Vérification
- Personal page
- http://dept-info.labri.fr/~point
- E-mail address
- gerald.point
labri.fr - Office
- 262
- Tel
- +33 (0)5 40 00 38 76
Excerpt from publications
- Fabien Kuntz, Stéphanie Gaudan, Christian Sannino, Éric Laurent, Alain Griffault, et al.. Model-based diagnosis for avionics systems using minimal cuts. DX 2011, Oct 2011, Murnau, Germany. pp.138-145.
- Alain Griffault, Gérald Point, Fabien Kuntz, Aymeric Vincent. Symbolic computation of minimal cuts for AltaRica models. 2011.
- Jérôme Leroux, Gérald Point. TaPAS : The Talence Presburger Arithmetic Suite. TACAS, 2009, York, United Kingdom. pp.182-185,
- Gérald Point, Alain Griffault. On the partial translation of Lustre programs into the AltaRica language and vice versa. 2006.
- Sébastien Bardin, Jérôme Leroux, Gérald Point. FAST Extended Release. Computer Aided Verification, CAV'06, Aug 2006, Seattle, WA, United States. pp.63-66.