Philippe Ayrault

Trusted Software within Focal

François Pessaux, Damien Doligez, Charles Morisset, 2008 .

Development of a Generic Voter under FoCal

François Pessaux, Thérèse Hardin, Philippe Ayrault, 2009, TAP@TOOLS.

Secure Software within Focal

François Pessaux, Damien Doligez, Charles Morisset, 2008 .

Development Life-cycle of Critical Software Under FoCaL

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

ML Dependency Analysis for Assessors

François Pessaux, Catherine Dubois, Philippe Ayrault, 2012, SEFM.