Anne Pacalet
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
1999–2009
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2009 | ICFEM | Implementing a Direct Method for Certificate Translation. | Gilles Barthe, Benjamin Grgoire, Sylvain Heraud, Csar Kunz, Anne Pacalet |
| 2002 | DSN | CAVEAT: A Tool for Software Validation. | Patrick Baudin, Anne Pacalet, Jacques Raguideau, Dominique Schoen, Nicky Williams |
| 1999 | FM | Applying Formal Proof Techniques to Avionics Software: A Pragmatic Approach. | Famantanantsoa Randimbivololona, Jean Souyris, Patrick Baudin, Anne Pacalet, Jacques Raguideau, Dominique Schoen |