Applying Formal Proof Techniques to Avionics Software: A Pragmatic Approach. - Famantanantsoa Randimbivololona; Jean Souyris; Patrick Baudin; Anne Pacalet; Jacques Raguideau; Dominique Schoen (World Congress on Formal Methods, 1999)

CAVEAT: A Tool for Software Validation. - Patrick Baudin; Anne Pacalet; Jacques Raguideau; Dominique Schoen; Nicky Williams (DSN, 2002)

Implementing a Direct Method for Certificate Translation. - Gilles Barthe; Benjamin Grégoire; Sylvain Heraud; César Kunz; Anne Pacalet (ICFEM, 2009)

Functional dependencies of C functions via weakest pre-conditions. - Pascal Cuoq; Benjamin Monate; Anne Pacalet; Virgile Prevosto (Int. J. Softw. Tools Technol. Transf., 2011)

Testing Static Analyzers with Randomly Generated Programs. - Pascal Cuoq; Benjamin Monate; Anne Pacalet; Virgile Prevosto; John Regehr; Boris Yakobowski; Xuejun Yang (NASA Formal Methods, 2012)

Behind the scenes in SANTE: a combination of static and dynamic analyses. - Omar Chebaro; Pascal Cuoq; Nikolai Kosmatov; Bruno Marre; Anne Pacalet; Nicky Williams; Boris Yakobowski (Autom. Softw. Eng., 2014)