The AltaRica Formalism for Describing Concurrent Systems. - André Arnold; Gérald Point; Alain Griffault; Antoine Rauzy (Fundam. Informaticae, 1999)

AltaRica : Contribution à l'unification des méthodes formelles et de la sûreté de fonctionnement. (AltaRica: Contribution to the unification of formal methods and safety assessment). - Gérald Point (2000)

A generic approach to the control of discrete event systems. - André Arnold; Xavier Briand; Gérald Point; Aymeric Vincent (CDC/ECC, 2005)

FAST Extended Release. - Sébastien Bardin; Jérôme Leroux; Gérald Point (CAV, 2006)

TaPAS: The Talence Presburger Arithmetic Suite. - Jérôme Leroux; Gérald Point (TACAS, 2009)

Insight: An Open Binary Analysis Framework. - Emmanuel Fleury; Olivier Ly; Gérald Point; Aymeric Vincent (TACAS, 2015)

Revisiting Stateful Partial-Order Reduction. - Frédéric Herbreteau; Sarah Larroze-Jardiné; Gérald Point; Igor Walukiewicz (CoRR, 2024)