Anne Pacalet

According to our database, Anne Pacalet authored at least 6 papers between 1999 and 2014.

Collaborative distances:

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

2014

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

2012

Testing Static Analyzers with Randomly Generated Programs.

Pascal Cuoq, Benjamin Monate, Anne Pacalet, Virgile Prevosto, John Regehr, Boris Yakobowski, Xuejun Yang

Proceedings of the NASA Formal Methods, 2012

2011

Functional dependencies of C functions via weakest pre-conditions.

Pascal Cuoq, Benjamin Monate, Anne Pacalet, Virgile Prevosto

Int. J. Softw. Tools Technol. Transf., 2011

2009

Implementing a Direct Method for Certificate Translation.

Gilles Barthe, Benjamin Grégoire, Sylvain Heraud, César Kunz, Anne Pacalet

Proceedings of the Formal Methods and Software Engineering, 2009

2002

CAVEAT: A Tool for Software Validation.

Patrick Baudin, Anne Pacalet, Jacques Raguideau, Dominique Schoen, Nicky Williams

Proceedings of the 2002 International Conference on Dependable Systems and Networks (DSN 2002), 2002

1999

Applying Formal Proof Techniques to Avionics Software: A Pragmatic Approach.

Famantanantsoa Randimbivololona, Jean Souyris, Patrick Baudin, Anne Pacalet, Jacques Raguideau, Dominique Schoen

Proceedings of the FM'99 - Formal Methods, 1999