Mes Recherches
Activités de recherche
Participation à à des projets
- 2007-2010
- Participation au projet ANR WebMov où collaborent le ???(Bordeaux), l'????? (Evry) et les partenaires industriels ???? et ????
- 2006-2008
- Participation au sous-projet MoDriVal du projet Usine Logicielle du pôle de compétitivité SYSTEM@TIC où collaborent entre autres les industriels MBDA, Dassault Aviation et Hispano-Suiza
- 2004-2005
- Participation au projet RNTL CASTLES sur la Conception d'Analyses Statiques et de Tests pour le Logiciel Embarqué Sécurisé où collaborent
l'IRISA (Rennes), l'INRIA Sophia-Antipolis et les partenaires industriels AQL et Oberthur
- 2001-2002
- Participation à un projet national sur le Test de Robustesse (AS STIC No23) où ont collaboré le LRI (Orsay), l'IRISA (Rennes), le LAAS (Toulouse), le Labri (Bordeaux) et l'Imag (Grenoble)
Développement
- AuGuSTe (Automated Generation of Statistical Testing)
- logiciel de génération de tests statistiques, développé essentiellement en OCaml et utilisant des modules développés en C, Prolog, MuPAD et Java
- SiReMa (Simulateur de Réseau Manhattan)
- logiciel de simulation et de visualisation d'un réseau Manhattan de communications, développé en Java au sein d'une équipe de 3 personnes
http://www.lri.fr/~gouraud/sirema/version3.0/Reseau.html
Séminaires
- 2005
-
- Séminaire de l'équipe VASCO du LSR, Grenoble
- Séminaire 68NQRT de l'IRISA, Rennes
- Séminaire du laboratoire IGM, Marne-La-Vallée
- 2003
- Séminaire d'équipe du projet Lande à l'IRISA
Exposés et participation à des colloques
- 2007
- A COMPLETER
- 2006
-
-
Exposé à the 8th International Symposium on Practical Aspects of Declarative
Languages (PADL), Charleston (U.S.A.) (version
PPT, version
PDF)
-
Participation à the 33rd Annual ACM SIGPLAN - SIGACT Symposium
on Principles of Programming Languages (POPL), Charleston (U.S.A)
- 2005
- Exposé aux Journées Francophones de Programmation
par Contraintes (JFPC), Lens
- 2004
-
- Exposé à the 15th IEEE International Symposium on Software Reliability
Engineering (ISSRE), Saint Malo (version
PPT, version
PDF)
- Exposé à l'atelier Approches Formelles dans
l'Assistance au Développement de Logiciels (AFADL),
Besançon
- Exposé au MuPAD-Combinat first Developers and Users Meeting, Rouen
- 2002
- Participation à the International Symposium on Software
Testing and Analysis (ISSTA), Rome (Italie)
Lauréate d'une des bourses d'inscription financées par
Microsoft.
- 2001
-
- Exposé à the 16th IEEE International
Conference Automated Software Engineering (ASE), San Diego (U.S.A.)
- Exposé à l'atelier AFADL, Nancy
- Exposé aux rencontres d'ALéA, Marseille
Relecture d'articles
- 2007
-
- Relecture pour les Journées Francophones de Programmation par Contraintes (JFPC)
- Relecture pour the 2nd Workshop on Random Testing (RT)
- 2006
-
Relecture pour la Manifestation des Jeunes Chercheurs en Sciences et Technologies de l'Information et de la Communication (MajeSTIC)
- 2005
-
- Relecture pour JFPC
- Relecture pour MajeSTIC
- Relecture pour the 1st Workshop on Bytecode Semantics, Verification, Analysis and Transformation (BYTECODE)
Dernière mise à jour: vendredi 16 mai 2008
