Pierre-Olivier Ribet

Towards the verification of real-time systems in avionics: the Cotre approach

Mamoun Filali, Gérard Padiou, Jean-Paul Bodeveix, 2003, FMICS.

On Combining the Persistent Sets Method with the Covering Steps Graph Method

François Vernadat, Bernard Berthomieu, Pierre-Olivier Ribet, 2002, FORTE.

Vérification formelle de systèmes. Contribution à la réduction de l'explosion combinatoire

Pierre-Olivier Ribet, 2005 .