Université Bordeaux 1 - Master S&T Informatique - Spécialité Ingénierie des Systèmes Critiques


Les projets ISC 2004-2005

Quelques repères

DébutLundi 31 janvier
Remise des rapportsVendredi 25 mars
SoutenanceJeudi 31 mars
Nombre d'étudiantsTrois ou Quatre (+ 1 Master 2 GL)

Les propositions et les attributions

André ArnoldVérification de programmes.
Jean-PhilippeCamon
BabacarDiop
FrédéricPauze


FabriceRochambeau (GL)
Jyl-CristoffZobeide (GL)
Jean-Michel Couvreur
Pascal Weil
Dépliage de réseaux de Petri généraux.
YannickBatbie
ChristopheChaligne
AlainMyo-Nganjip


RaphaelMartin (GL)
Alain GriffaultPlateforme pour jeux avec stratégies.
RomainBernard
NicolasDupouy
SébastienLegendarme
NicolasMarrou


YashvinNababsing (GL)
JulienTestut (GL)
Nicolas HanusseÉtude algorithmique et amélioration de la robustesse du réseau marégraphique.
MorganMonblanc


CharlesDe Quay(SDRP)
ClementMaignien (SDRP)
SandyRabiaza (SDRP)


JeanDarracq (GL)
Frédéric HerbreteauUn environnement de simulation pour les programmes ELECTRE.
CyrilBaillou
AndyChenon
Jean-PhilippeFerraz-Gomez
HichamSatoura


SamuelBardalou (GL)
Kaninda MusumbuConstruction automatique de systèmes abstraits au moyen des prédicats.



Veuillez reporter toute erreur ou omission à Alain Griffault.

Dernière mise à jour effectuée le 16 février 2005.