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


Les projets ISC 2005-2006

Quelques repères

DébutLundi 30 janvier
Remise des rapportsLundi 27 mars
SoutenanceVendredi 31 mars, 14 heures, salle 075 (LaBRI)
Nombre d'étudiantsTrois ou Quatre

Les propositions et les attributions

Emmanuel FleuryVérification de code via les front-ends du compilateur gcc.
AbdeljalilAyar
JulienBonichon
ZahraLahlali
Alain GriffaultExpertise d'un régulateur de vitesse automobile.
IvanChristophe
BabacarFaye
RuijuanLi
Kaninda MusumbuConstruction automatique de systèmes abstraits au moyen des prédicats.
Aymeric VincentVisualisation de treillis et calculs de points fixes.
Marc ZeitounVérification LTL pour AltaRica.
Pierrick-ArnaudBordron
FaycalMahcer
YadjmaRochemont



Veuillez reporter toute erreur ou omission à Alain Griffault.

Dernière mise à jour effectuée le 29 mars 2006.