Analyse comportemental  Analyse du programme  Analyse statique  Apprentissage automatique en ligne  Approche par Composants  Approche synchrone  Asynchronous systems  Backtrack  Chaos  Classification  Compilation  Compilation  Compilation recivable  Complexité  Construction d'arbre  Contracts  Contrôle distribué  Couverture de l’espace d’états  Criminalité informatique  DSA  Design à base de composants  Diagnostic  Débogage  Efficacité  Evaluation de Performance  Exécution symbolique  Formal methods  Fusion d'états  GAJE  Graphe décision binaire  Génération modèle minimal  Inference Statistique  Information systems  Informatique, automatique théorique, systèmes  Interpretation SSA  Interprétation abstraite  Jeux de tests  Just-In-Time  Langage de programmation  Logiciel malveillant  Logiciels -- Vérification  Manipulation numérique des données  Model-checking  Models  Modèle  Modèle synchrone  Méthode de Melnikov  Méthode formelles  Méthodes Formelles  Méthodes Hamiltoniennes  Optimisation mathématique  Parallel program  Parallélisme  Perturbation  Pire temps d'exécution  Polyèdre convexe  Program complexity  Program verification  Programme  Programme parallèle  Protocoles  Protocoles de réseaux d'ordinateurs  Protocols  Pré-conditions  Relation d'équivalence  Relation de bisimulation  Représentation intermédiaire  Représentation symbolique  Réduction de tests  Sciences appliquées  Sciences et techniques  Sdl  Simulation  Simulation par ordinateur  Solitons  Specification comportementale  Static analysis  Structures de données  Synthèse de propriétés  Systeme de transitions étiquetées  Systèmes Embarqués  Systèmes Stochastiques  Systèmes asynchrones  Systèmes de transitions étiquetées  Systèmes embarqués  Systèmes informatiques -- Mesures de sûreté  Tableaux  Test basé sur le modèle  Test combinatoire  Tests fonctionnels  Traitement du signal -- Techniques numériques -- Appareils et matériel  UML  Validation de systèmes temps réels  Verification formelle  Verification à la volée  Virus informatiques  Vérification compositionelle  Vérification de processus communicants  Vérification formelle  Vérification programme  Z  Équations aux dérivées partielles  

Jean-Claude Fernandez a rédigé la thèse suivante :


Jean-Claude Fernandez a dirigé les 14 thèses suivantes :


Jean-Claude Fernandez a été président de jury des 5 thèses suivantes :

Informatique
Soutenue le 04-10-2013
Thèse soutenue

Jean-Claude Fernandez a été rapporteur de la thèse suivante :