On Combining the Persistent Sets Method with the Covering Steps Graph Method. - Pierre-Olivier Ribet; François Vernadat 001; Bernard Berthomieu (FORTE, 2002)

Towards the verification of real-time systems in avionics: the Cotre approach. - Bernard Berthomieu; Pierre-Olivier Ribet; François Vernadat 001; J. L. Bernartt; Jean-Marie Farines; Jean-Paul Bodeveix; Mamoun Filali; Gérard Padiou; Pierre Michel; Patrick Farail; Pierre Gauffilet; Pierre Dissaux; et al. (FMICS, 2003)

Vérification formelle de systèmes. Contribution à la réduction de l'explosion combinatoire. - Pierre-Olivier Ribet (2005)

Skew Bounded Buffer Tree Resynthesis For Clock Power Optimization. - Subhendu Roy; David Z. Pan; Pavlos M. Mattheakis; Peter S. Colyer; Laurent Masse-Navette; Pierre-Olivier Ribet (ACM Great Lakes Symposium on VLSI, 2015)

Soft-Clustering Driven Flip-flop Placement Targeting Clock-induced OCV. - Dimitrios Mangiras; Pavlos M. Mattheakis; Pierre-Olivier Ribet; Giorgos Dimitrakopoulos (ISPD, 2020)