Concepedia

Anne Pacalet

AP

3

Publications

43

Citations

3

H-Index

2003

Active since

Affiliations

Commissariat à l'Énergie Atomique et aux Énergies Alternatives(Current)

Laboratoire d'Intégration des Systèmes et des Technologies

Institut national de recherche en sciences et technologies du numérique

Anne Pacalet is an author at Commissariat à l'Énergie Atomique et aux Énergies Alternatives specializing in engineering, software design, and software validation.

Top concepts

Publications per year

2003–2013

3

Publications

3

Behind the scenes in SANTE: a combination of static and dynamic analyses

Omar Chebaro, Pascal Cuoq, Nikolaï Kosmatov et al. · Automated Software Engineering · 2013 · 19 citations

Caveat: a tool for software validation

Patrick Baudin, Anne Pacalet, J. Raguideau et al. · 2003 · 12 citations

, , +21

Functional dependencies of C functions via weakest pre-conditions

Pascal Cuoq, Benjamin Monate, Anne Pacalet et al. · International Journal on Software Tools for Technology Transfer · 2011 · 12 citations

, , +4

Rows per page

1–3 of 3