Recherche

Rechercher

Accueil CEDRIC > Laboratoire > Membre > View >

Alain Faivre

Publications

2004

Revue Nationale avec comité de lecture

[BDF04] K. Berkani, C. Dubois, A. Faivre, J. Falampin. "Validation des rÃ¨gles de base de l'Atelier B", TSI, Technique et Science Informatiques, vol. 23(7), pp. 855-878, 2004

Conférence Internationale avec comité de lecture

[BFG04] C. Bigot, A. Faivre, J. Gallois, M. Aponte, V. Viguie Donzeau-Gouge. " Semantics for UML specifications to be validated by Agatha", Second Europeen Congress on Embedded Realtime Software (ERTS 04)., January 2004,

2003

Conférence Internationale avec comité de lecture

[BFG03] C. Bigot, A. Faivre, J. Gallois, A. Lapitre, D. Lugato, J. Pierron, N. Rapin. "Automatic test generation with AGATHA,", January 2003, Vol. 2619, pp.591-596, Series LNCS,

Conférence Nationale avec comité de lecture

[BDF03] K. Berkani, C. Dubois, A. Faivre, J. Falampin. " Validation des rÃ¨gles de base de l'Atelier B", AFADL'03, January 2003,