| 2007 |
|---|
| 9 | EE | Fabrice Bouquet,
Jean-Francois Couchot,
Frédéric Dadeau,
Alain Giorgetti:
Instantiation of Parameterized Data Structures for Model-Based Testing.
B 2007: 94-108 |
| 2006 |
|---|
| 8 | EE | Alain Giorgetti,
Julien Groslambert:
JAG: JML Annotation Generation for Verifying Temporal Properties
FASE 2006: 373-376 |
| 2005 |
|---|
| 7 | EE | Jean-Francois Couchot,
Alain Giorgetti,
Nikolai Kosmatov:
A uniform deductive approach for parameterized protocol safety.
ASE 2005: 364-367 |
| 2004 |
|---|
| 6 | EE | Jean-Francois Couchot,
Frédéric Dadeau,
David Déharbe,
Alain Giorgetti,
Silvio Ranise:
Proving and Debugging Set-Based Specifications.
Electr. Notes Theor. Comput. Sci. 95: 189-208 (2004) |
| 5 | | Jean-Francois Couchot,
David Déharbe,
Alain Giorgetti,
Silvio Ranise:
Scalable Automated Proving and Debugging of Set-Based Specifications.
J. Braz. Comp. Soc. 9(2): 17-36 (2004) |
| 2003 |
|---|
| 4 | EE | Alain Giorgetti:
An asymptotic study for path reversal.
Theor. Comput. Sci. 1-3(299): 585-602 (2003) |
| 2000 |
|---|
| 3 | EE | Didier Arquès,
Alain Giorgetti:
Une bijection géométrique entre une famille d'hypercartes et une famille de polygones énumérées par la série de Schröder.
Discrete Mathematics 217(1-3): 17-32 (2000) |
| 2 | EE | Didier Arquès,
Alain Giorgetti:
Counting rooted maps on a surface.
Theor. Comput. Sci. 234(1-2): 255-272 (2000) |
| 1999 |
|---|
| 1 | EE | Didier Arquès,
Alain Giorgetti:
Énumération des cartes pointées sur une surface orientable de genre quelconque en fonction des nombres de sommets et de faces.
J. Comb. Theory, Ser. B 77(1): 1-24 (1999) |
