Aller au contenu principal
Gérald Point
- Ingénieur de Recherches
- CNRS
- Département
- M2F
- Équipe
- Modèles et Technologies pour la Vérification
- Page personnelle
- http://dept-info.labri.fr/~point
- Adresse E-mail
- gerald.point
labri.fr - Bureau
- 262
- Tel
- +33 (0)5 40 00 38 76
Extrait de 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.