Français Anglais
Accueil Annuaire Plan du site
Accueil > Présentation > Personnel > TIXEUIL Sébastien
Présentation
M. TIXEUIL Sébastien

ATTENTION : ce membre a quitté le laboratoire le 01/09/2007
 
TIXEUIL Professeur 2nde classe
unknown
Parallélisme

Tel : (01691)54238
Fax :
Bureau :

Page personnelle : http://www.lri.fr/perso/~tixeuil
Courrier électronique : tixeuil@lri.fr

Activités de recherche
   - Théorie des jeux
   - Model-Checking
   - Algorithmique répartie
   - Autostabilisation
   - Réseaux de capteurs
   - Algorithmes probabilistes
   - Théorie des graphes
   - Réseaux ad hoc
   - Réseaux sans fil
   - Complexité
   - Interaction sur dispositifs mobiles

Publications





Responsabilités de contrats
   - SR2I
   - FRAGILE
   - SHAMAN


Logiciels et brevets
   - FAIL-FCI : Langage d'injection de fautes

Collaborations
   - Université d'Osaka (Japon)
   - Université de Kent State (Etats unis)

Thèses et habilitations
Doctorat   - Auto-stabilisation efficace
Habilitation à diriger des recherches   - Vers l'auto-stabilisation des systèmes à grande échelle

Participations à des contrats
   - SOGEA