Soutenances de stage du Master Recherche en
Informatique
25-27 juin 2007
Remarques :
La présence de l'encadreur est vivement souhaitée. En cas d'impossibilité,
il peut envoyer un suppléant ou en dernier recours envoyer un courrier
donnant son avis sur le travail effectué et le rapport.
(Pour information, voici la fiche d'évaluation
du stage).
Présentation : 20 minutes,
Questions : 10 minutes
Délibérations : à la fin de chaque session
Les salles sont situées à l’IFSIC (Jersey, Guernesey et I60) sur le campus de Beaulieu. Pour les extérieurs, vous trouverez toutes les informations nécessaires concernant les moyens d’accéder au campus sur la page suivante : http://www.irisa.fr/irisa/venir
Programme des soutenances
Lundi 25 juin
Session : Filière 2
- Salle Guernesey
jury : B. Arnaldi et
B. Baudry
9h-10h30
Brice MORIN Modélisation par aspects de lignes de
produits
Etienne ANDRE Handling Theories
in Logic Functors for Recomposing Description Logics
Tejeddine MOUELHI Application des techniques de test à la
modélisation des failles de sécurité
10h30-11h : délibération
11h – 11h15 : pause café
11h15-12h15
Freddy MUNOZ RAMIREZ Contracts for Aspect-Oriented
Software Development
Baptiste POIRRIEZ Méthodes de sous-domaines pour calculer le
flux dans des milieux poreux hétérogènes
12h15-12h45 : délibération
Session
: Filière 1 - Salle Jersey
jury : C . Pérez
et F. Charot
9h-10h30
Julien BIGOT Composants logiciels parallèles et
communication collective
Sylvain LEROY Transformation de codes sources pour l'amélioration de performance des
programmes Java
Mohamad EL ABED Le scrutin électronique
10h30-11h : délibération
11h – 11h15 : pause café
11h15-12h15
Intesab HUSSAIN Study of Secure Auto Stabilizing Algorithms
in
Nicolas LE SCOUARNEC Vers
une grille chimique pour l'exécution autonome des applications réparties
12h15-12h45 : délibération
Session
: Filière 1 - Salle Jersey
jury : F. Bodin et M. Molnar
14h-15h30
Alexandru
Mihai URDAREANU Réseau de 4ème génération
Jean-Baptiste BILLAUX Décision
automatique de résultat d'impossibilité
Vincent LEROY Improving distributed computing efficiency using
affinity in P2P
15h30-16h : délibération
16h – 16h15 : pause café
16h15-17h15
Ricardo ASENCIO Analyse des génomes sur GPU
Van Minh NGUYEN Self-organisation for WiMAX
networks
17h15-17h45 : délibération
Session : Filière 4 - Salle I60
jury : S. Donikian et D. Pichardie
10h45-12h15
Christophe AVENEL Suivi de courbes
fermées déformables.
Benjamin CANOU Analyse de bornes de tableaux dans le cadre
du code porteur de preuve par interprétation abstraite
Pierre BOURHIS Incremental View Maintenance
for Active Documents
12h15-12h45 : délibération
Session :
Filière 3 - Salle I60
jury : S. Donikian et P. Sébillot
14h30-16h30
Gwenolé LECORVE Peut-on utiliser Google pour adapter un
système de transcription automatique ?
Sébastien HILLAIRE Rendu graphique basé sur la perception
visuelle et le suivi du regard en réalité virtuelle
Ludovic HOYET Adaptation dynamique de mouvements de sauts
pour des personnages de synthèse
Alban MOUTON Agents Adaptatifs de Recherche d'Information
sur Internet
16h30-17h : délibération
Mercredi 27 juin
Session : Filière
1 - Salle Guernesey
jury : E. Anceaume et R. Andonov
9h30-11h30
Nicolas CURT Transformation du code pour en améliorer la prévisibilité temporelle
Julien THOMAS Détection de la malveillance et réaction dans les réseaux ad hoc
Jérôme GALLARD Ordonnancement
de tâches dans des grappes de calculateurs
Antoine FLOC'H Compilation pour architectures
reconfigurables
11h30-12h : délibération
Session :
Filière 1 - Salle Guernesey
jury : I. Puaut et T.
Duval
14h-15h30
Malik HASSAN Explicit Multicast Routing
Nizar KHEIR Gestion des mises en quarantaine par
politique de sécurité
Waël
KANOUN Evaluation des risques dans un processus de
supervision de la sécurité
15h30-16h : délibération
Session :
Filière 2 - Salle Jersey
jury : J.M. Jézequel
et E. Badouel
9h-10h30
Damien HARDY Pagination en contexte temps réel embarqué
Mateus
DE OLIVEIRA OLIVEIRA Synthèse de réseaux de Pétri à partir de
scénarios
Mickael DELAHAYE Instrumentation de code Java multithreads
pour l'analyse des goulots d'étranglement
10h30-11h : délibération
Session : Filières 3 & 4 – Salle Jersey
jury : S. Donikian et L. Bougé
14h-15h30
Emmanuel CARUYER Physique de la formation des images d'IRM de
diffusion
Amine RAJI Synthèse des machines à états `a partir des diagrammes de séquences d'UML et génération de code
Hung CAO Evaluation et nouvelle approche de la
sélection d’unités en synthèse vocale
15h30-16h : délibération
16h – 16h15 : pause café
16h15-17h15
François MARCQ Influence de profils d'utilisateur sur la
production et l'utilisation de résumé de masses de données
Jonathan CHEVELU Optimisation d'un corpus textuel
17h15-17h45 : délibération