Pierre-Olivier Ribet

According to our database, Pierre-Olivier Ribet authored at least 5 papers between 2002 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2020

Soft-Clustering Driven Flip-flop Placement Targeting Clock-induced OCV.

Dimitrios Mangiras, Pavlos M. Mattheakis, Pierre-Olivier Ribet, Giorgos Dimitrakopoulos

Proceedings of the ISPD 2020: International Symposium on Physical Design, Taipei, Taiwan, March 29, 2020

2015

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

Proceedings of the 25th edition on Great Lakes Symposium on VLSI, GLVLSI 2015, Pittsburgh, PA, USA, May 20, 2015

2005

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

Pierre-Olivier Ribet

PhD thesis, 2005

2003

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

Bernard Berthomieu, Pierre-Olivier Ribet, François Vernadat, J. L. Bernartt, Jean-Marie Farines, Jean-Paul Bodeveix, Mamoun Filali, Gérard Padiou, Pierre Michel, Patrick Farail, Pierre Gauffilet, Pierre Dissaux, Jean-Luc Lambert

Proceedings of the Eighth International Workshop on Formal Methods for Industrial Critical Systems, 2003

2002

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

Pierre-Olivier Ribet, François Vernadat, Bernard Berthomieu

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2002