| Intitulé | Titre | Auteurs | Pgs | Année | ||
| Revue | TSI | Génération automatique de cas de | B. Botella, A. Gotlieb, | 26 | 2002 | |
| test structurels avec les techniques | C. Michel, M. Rueher, | |||||
| de programmation par contraintes | P. Taillibert | |||||
| Conférences | AMAI | Exact projection functions for | Claude Michel | 11 | 2002 | |
| Internationales | floating point number constraints | |||||
| CP2001 | Solving constraints over | C. Michel, M. Rueher, | 15 | 2001 | ||
| floating point numbers | Y. Lebbah | |||||
| Conférences | LMO99 | Support linguistique à la constitution | Claude Michel, | 14 | 1999 | |
| Nationales | de bibliothèques de méta-composants | J.P. Regourd | ||||
| IAD& | Un exemple de raisonnement | Claude Michel, | 12 | 1993 | ||
| SMA | distribué: DEMACT | J.P. Regourd | ||||
| SEIGE | Représentation des connaissances | Claude Michel, | 12 | 1992 | ||
| et programmation par acteurs | J.P. Regourd |
| Matières | Cursus | Années | Nb Heures |
| Contraintes | Maîtrise UNSA | 2002 | 12h |
| Assembleur | IUT GTR 1ère année | 2002 | 30h |
| Java | IUT GTR 1ère année | 2002 | 36h |
| Unix | IUT GTR 1ère année | 2000-2001 | 60h |
| Réflexivité | DEA | 2002 & 2001 & 1998 | 9h |
| Excel | DEUG B 2ème année | 1994-1995 & 1992-1993 | 128h |
| Pascal | DEUG A 2ème année | 1993-1994 | 64h |
| C | Formation Professionnelle | 1991 | 30h |
| Total | 369h | ||
| Intitulé | Années |
| Participation à la gestion du RNTL | 2001-2002 |
| Membre du comité d'organisation des JFPLC'2002 et JNPC'2002 | 2001-2002 |
| Fonctions d'ingénieur système | 2000-2002 |
| Administration de l'enseignement d'Excel (DEUG 2B) | 1994-1995 |
| Intitulé | Années |
| Participation aux travaux liés à une convention de | 2001-2002 |
| recherche passée entre AMADEUS et l'I3S | |
| Participation à l'encadrement d'un stage de DEA | 1994-1995 |