AMDE, Méthode  Administration autonome  Analyses à la volée  Approche Incrémentale  Architecture -- Informatique  Architecture des réseaux d'ordinateurs  Architecture opérationnelle  Architectures de commande  Asbm  Automate Programmable Industriel  Automates communicants  Automates programmables  Automobile  Automobiles -- Conception et construction  BDMP Généralisés  Boitier papillon  Boucles d'asservissement de phase  Boucles de contrôle  Calcul intensif  Calcul sur des intervalles  Circuits logiques  Commande automatique  Commande intelligente  Conception collaborative  Contrôle-Commande  Contrôleurs logiques  Diagnostic de faute  Diagnosticabilité  Dispositifs logiques programmables  Détection de défaut  Fiabilité  Fractionnement des Intervalles de Temps  GRAFCET  Gestion des connaissances  Grafcet  Invariant de marquage  Logiciels -- Essais  Logiciels -- Validation  Logiciels -- Vérification  Logique mathématique  Machine de Mealy  Machine de Moore  Machines séquentielles, Théorie des  Model-checking  Modèle à base de composants  Modèles de systèmes bouclés  Modèles formels  Modèles mathématiques  Modèles temporisés  Mécatronique  Métaux  Optimisation multidisciplinaire  Ordinateurs -- Programmation  Petri, Réseaux de  Prise de décision  Processus de conception  Processus de test logiciel  Procédés de fabrication -- Automatisation  Programmation synchrone  Qualité logicielle  Recherche d'atteignabilité  Réseau de Petri labellisé  Réseaux de Petri  SIC-testabilité  Simulation fonctionnelle  Simulation par ordinateur  Stratégie de reconfiguration  Synthèse de contrôleur discret  Synthèse des contrôleurs  Système à événement discret  Systèmes aux événements discrets  Systèmes dynamiques  Systèmes dynamiques et réparables  Systèmes informatiques  Systèmes mécatroniques  Systèmes échantillonnés  Sécurité ferroviaire  TCP/IP  Test de conformité  Tolérance aux fautes  Tolérance aux fautes  Transformation de modèle  Travail collaboratif  Travail de la tôle  Validation en boucle fermée  Validation fonctionnelle  Vérification  Vérification et validation logicielle  Vérification formelle  Équivalence de modèles  États interdits  

Jean-Marc Faure a rédigé la thèse suivante :


Jean-Marc Faure a dirigé les 9 thèses suivantes :

Électronique Électrotechnique Automatique
Soutenue le 08-07-2011
Thèse soutenue

Jean-Marc Faure a été président de jury de la thèse suivante :


Jean-Marc Faure a été rapporteur de la thèse suivante :


Jean-Marc Faure a été membre de jury des 3 thèses suivantes :