Aide à la décision  Amélioration des performances  Analyse  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  Coût-efficacité  Design patterns  EPC  Efficacité de l'organisation  Efficience  Entreprise intégration  Entreprise virtuelle  Evaluation  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  Hospitalisation  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  Parcours de soins coordonnés  Parcours-patient  Patron de spécification  Petri  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  SI  Simulation  Spéciications SysML  Symétrie  Symétries  SysML  Système Produit-Service  Système d'entreprise  Systèmes d'information  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  Ville-hôpital  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
Automatique. ProductiqueAutomatique. Productique
Soutenue en 2001
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 3 thèses suivantes :