| 2007 |
|---|
| 6 | 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 |
| 5 | EE | Jean-Francois Couchot,
Stéphane Lescuyer:
Handling Polymorphism in Automated Deduction.
CADE 2007: 263-278 |
| 4 | EE | Jean-Francois Couchot,
Frédéric Dadeau:
Guiding the Correction of Parameterized Specifications.
IFM 2007: 176-194 |
| 2005 |
|---|
| 3 | EE | Jean-Francois Couchot,
Alain Giorgetti,
Nikolai Kosmatov:
A uniform deductive approach for parameterized protocol safety.
ASE 2005: 364-367 |
| 2004 |
|---|
| 2 | 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) |
| 1 | | 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) |
