Aide à la décision  Amélioration des performances  Analyse formelle  Angage spécifique à un domaine  Architecture SBC  Architecture/Ingénierie/Construction  Ateliers de construction mécanique  Automatisation  Avionique  Cimosa  Compatibilité  Conception Transdisciplinaire  Conception et construction  Design patterns  Efficacité de l'organisation  Efficience  Entreprise intégration  Entreprise virtuelle  Exigences  Flot de donnees  Gestion d'entreprise -- Systèmes d'information  Gestion de la performance  Gestion de projet  Gestion des compétences  Gestion des connaissances  Génie industriel  Génie mécanique  Génération d'Espace d'États  Industries manufacturières  Ingénierie des Exigences  Ingénierie des connaissances  Ingénierie des exigences  Ingénierie des systèmes  Intelligence artificielle répartie  Interpretation abstrait  Langage d’exigences  Logiciels -- Vérification  Logiciels de groupe  MIO Workbench  Machines-outils -- Commande numérique  Mathématiques de l'ingénieur  Mesure de la performance  Model checking  Model-checking  Modélisation  Modélisation d’entreprise  Modélisation formelle  Méthodes formelles  Observateurs  Optimisation  Organisation de l'entreprise  Patron de spécification  Petri, Réseaux de  Phase Conceptuelle  Pilotage d'ateliers  Planification opérationnelle  Production -- Gestion -- Logiciels  Production -- Gestion  Production -- Planification  Productique  Programmation Architecturale  Programmation heuristique  Projet CAS  Promela/ SPIN  Propriétés LTL  Ptolemy  Raffinement  Recherche opérationnelle  Réingénierie organisationnelle  Réseau de Petri temporel  Réseaux de Petri  Réseaux de Petri Temporels  Spéciications SysML  Symétrie  Symétries  SysML  Système Produit-Service  Système d'entreprise  Systèmes embarques  Systèmes embarqués  Systèmes industriels  Systèmes multi-Agents  Systèmes multi-agents  Systèmes temps réel  Temps réel  Thèses et écrits académiques  Théorie des ressources  Travail -- Automatisation  Validation formelle  Vérification formelle  Évolution des organisations  

François B. Vernadat a dirigé les 14 thèses suivantes :

Sûreté logicielle et calcul de haute performance
Soutenue le 11-12-2012
Thèse soutenue


François B. Vernadat a été président de jury des 3 thèses suivantes :


François B. Vernadat a été membre de jury des 2 thèses suivantes :