|
 
|
Céline Bigot
|
Doctorant(e) Equipe SYS Parti depuis le 01/06/2005 Mail : celine.bigot  cnam.fr
Tel : (33)15880 Fax : (33)15880 http://cedric.cnam.fr/~bigot Directeur de thèse : Catherine Dubois |
Céline's Tag-Cloud : |
Publications
2005
- [BIG05] C. Bigot. "Une proposition de formalisme orienté composant, application de méthodes d’exécution symbolique pour la validation de systèmes à base de composants", Soutenue le: 01 January 2005,
Mémoire de Thèse
2004
-
[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,
Conférence Internationale avec comité de lecture
2003
- [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,
