Renaud Clavel

According to our database, Renaud Clavel authored at least 2 papers between 2009 and 2011.

Collaborative distances:

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

2011

Towards Robustness Analysis Using PVS.

Renaud Clavel, Laurence Pierre, Régis Leveugle

Proceedings of the Interactive Theorem Proving - Second International Conference, 2011

2009

Complementary Formal Approaches for Dependability Analysis.

Souheib Baarir, Cécile Braunstein, Renaud Clavel, Emmanuelle Encrenaz, Jean-Michel Ilié, Régis Leveugle, Isabelle Mounier, Laurence Pierre, Denis Poitrenaud

Proceedings of the 24th IEEE International Symposium on Defect and Fault Tolerance in VLSI Systems, 2009