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


Les stages de la promotion 2003-2004

MlleAdela RamonaDima Compagnie Générale Géophysique Gestion de données issues de fichiers de configuration.
MlleZinebEl-Fethouni Clearsy - System Engineering Modèles formels et sûreté de fonctionnement.
MlleLamiaeEloifi Galilée Système de Navigation Virtuelle.
MVincentHow Kit LaBRI/MVTsi Développements autour des outils AltaRica.
MJérémyMartin Thales Avionics Couverture Structurelle en validation du code embarqué du Head-up Flight Display System (HFDS).
MGuy-RogerNgatcha TOTAl S.A.
MlleMeriemOuali-Alami CRCI Aquitaine
MLaurentSagaspe CERT ONERA Méthodes formelles pour l'analyse de propriétés d'indépendance en sûreté de fonctionnement.
MCédricVandenelsken LaBRI/MVTsi Développements autour des outils AltaRica.

Les projets de la promotion 2003-2004

LaBRI/MVTsi PSL : Property Specification Language.
LaBRI/MVTsi Simulateur AltaRica.

Les mémoires de recherche de la promotion 2003-2004

MlleStéphanieGaudan LaBRI/MVTsi Abstraction par prédicats de systèmes temps-réel
MThe QuangTran LaBRI/MVTsi Dépliages de systèmes de transitions infinis
MJosephTylutki LaBRI/MVTsi Manipulation de contraintes dans le formalisme AltaRica



Veuillez reporter toute erreur ou omission à Alain Griffault.

Dernière mise à jour effectuée le 24 novembre 2004.