Philippe Ayrault

According to our database, Philippe Ayrault authored at least 3 papers between 2008 and 2012.

Collaborative distances:

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

2012

ML Dependency Analysis for Assessors.

Philippe Ayrault, Vincent Benayoun, Catherine Dubois, François Pessaux

Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012

2009

Development of a Generic Voter under FoCal.

Philippe Ayrault, Thérèse Hardin, François Pessaux

Proceedings of the Tests and Proofs - 3rd International Conference, 2009

2008

Development Life-cycle of Critical Software Under FoCaL.

Philippe Ayrault, Thérèse Hardin, François Pessaux

Proceedings of the 2nd International Workshop on Harnessing Theories for Tool Support in Software, 2008