Gérald Point

According to our database, Gérald Point authored at least 6 papers between 1999 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

2009

TaPAS: The Talence Presburger Arithmetic Suite.

Jérôme Leroux, Gérald Point

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

2006

FAST Extended Release.

Sébastien Bardin, Jérôme Leroux, Gérald Point

Proceedings of the Computer Aided Verification, 18th International Conference, 2006

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

2000

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

PhD thesis, 2000

1999

The AltaRica Formalism for Describing Concurrent Systems.

André Arnold, Gérald Point, Alain Griffault, Antoine Rauzy

Fundam. Informaticae, 1999