Accident  Ada 83  Ada  Analyse du risque  Analyse statistique de code  Apprentissage automatique  Argumentaire de sécurité  Automate  Automates mathématiques, Théorie des  Automobile  Automobiles -- Industrie et commerce  Aéronautique -- Systèmes de communication  Calcul des prédicats  Causalité  Cohérence  Cohérence des modèles  Commande de processus  Conception orientée objets  Contrôle supervisé  DOLCE  Deepwater Horizon  Disponibilité  Exploration de données  Explosion de la plate-forme Deepwater Horizon et marée noire dans le golfe du Mexique  Fiabilite  Fiabilité  Genie logiciel  Gestion des crises  Gestion du risque  Grammaire  Guides  Génération de modèle  ISO 26262  Informatique, automatique theorique, systemes  Ingénierie dirigée par les modèles  Injection de fautes  Langage formel  Langages formels  Logiciels -- Vérification  Management des risques  Model checking  Monitoring de modèle  Métamodélisation  Ontologies  Ordinateurs -- Fiabilité  Petri, Réseaux de  Prise de décision  Programmation logique  Prévention de fautes  Règles de cohérence  Réécriture  Simulation, Méthodes de  Systeme informatique  Systemes de contrôle  Système critique  Systèmes Embarqués  Systèmes avioniques  Systèmes embarqués  Systèmes informatiques -- Mesures de sûreté  Sécurité  Sécurité fonctionnelle  Sûreté de fonctionnement  Temps entre défaillances, Analyse des  Temps réel  Théorie de Dempster-Shafer  Théorie des fonctions de croyance  Tolérance  Tolérance aux fautes  UML  Uml  Vérification  Évaluation de la confidence  Évaluation du risque  

Gilles Motet a dirigé les 9 thèses suivantes :


Gilles Motet a été président de jury des 2 thèses suivantes :