Analyse comportemental  Analyse du programme  Apprentissage automatique en ligne  Approche par Composants  Approche synchrone  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  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  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 de réseaux d'ordinateurs  Pré-conditions  Relation d'équivalence  Relation de bisimulation  Représentation intermédiaire  Représentation symbolique  Réduction de tests  Simulation par ordinateur  Solitons  Specification comportementale  Structures de données  Synthèse de propriétés  Systeme de transitions étiquetées  Systèmes Embarqués  Systèmes Stochastiques  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 :