 | 2009 |
|---|
| 11 |       | Jean-François Couchot,
Alain Giorgetti,
Nicolas Stouls:
Graph Based Reduction of Program Verification Conditions
CoRR abs/0907.1357: (2009) |
| 2008 |
|---|
| 10 | | Alain Giorgetti,
Julien Groslambert,
Jacques Julliand,
Olga Kouchnarenko:
Verification of class liveness properties with java modelling language.
IET Software 2(6): 500-514 (2008) |
| 2007 |
|---|
| 9 | | Fabrice Bouquet,
Jean-François Couchot,
Frédéric Dadeau,
Alain Giorgetti:
Instantiation of Parameterized Data Structures for Model-Based Testing.
B 2007: 94-108 |
| 2006 |
|---|
| 8 | | Alain Giorgetti,
Julien Groslambert:
JAG: JML Annotation Generation for Verifying Temporal Properties
FASE 2006: 373-376 |
| 2005 |
|---|
| 7 | | Jean-François Couchot,
Alain Giorgetti,
Nikolai Kosmatov:
A uniform deductive approach for parameterized protocol safety.
ASE 2005: 364-367 |
| 2004 |
|---|
| 6 | | Jean-François 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-François 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 | | Alain Giorgetti:
An asymptotic study for path reversal.
Theor. Comput. Sci. 1-3(299): 585-602 (2003) |
| 2000 |
|---|
| 3 | | 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 | | Didier Arquès,
Alain Giorgetti:
Counting rooted maps on a surface.
Theor. Comput. Sci. 234(1-2): 255-272 (2000) |
| 1999 |
|---|
| 1 | | 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) |
