Analyse comportemental  Analyse du programme  Analyse statique  Apprentissage automatique en ligne  Approche par Composants  Approche synchrone  Architecture -- Informatique  Asynchronous systems  Backtrack  Chaos  Classification  Compilation  Compilation  Compilation recivable  Complexité  Construction d'arbre  Contracts  Contrôle distribué  Couverture de l’espace d’états  Cybercriminalité  DSA  Design à base de composants  Diagnostic  Débogage  Efficacité  Evaluation de Performance  Experimentation  Expo  Expérimentation  Exécution symbolique  Formal methods  Fusion d'états  GAJE  Graphe décision binaire  Grid  Informatique, automatique théorique, systèmes  

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

Aldebaran : un système de vérification par réduction de processus communicants

par Jean-Claude Fernandez sous la direction de Jacques Voiron - Université Joseph Fourier (Grenoble ; 1971-2015)

Informatique

Soutenue en 1988

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

Behavior based malware classification using online machine learning

par Abdurrahman Pektaş sous la direction de Jean-Claude Fernandez - Université Grenoble Alpes (ComUE)

Informatique

Soutenue le 10-12-2015

TIREX : une représentation textuelle intermédiaire pour un environnement d'exécution virtuel, échanger des informations du compilateur et d'analyse du programme

par Artur Pietrek sous la direction de Jean-Claude Fernandez - Grenoble

Informatique

Soutenue le 02-10-2012

Calcul du pire temps d'exécution : méthode formelle s'adaptant à la sophistication croissante des architectures matérielles

par Bilel Benhamamouch sous la direction de Jean-Claude Fernandez et de Bruno Monsuez . - Grenoble

Informatique

Soutenue le 02-05-2011

Implémentations Centralisée et Répartie de Systèmes Corrects par construction à base des Composants par Transformations Source-à-source dans BIP

par Mohamad Jaber sous la direction de Joseph Sifakis et de Jean-Claude Fernandez . - Grenoble

Informatique

Soutenue en 2010

Étude et mise en oeuvre de techniques de validation à l'exécution

par Yliès Carlo Falcone sous la direction de Jean-Claude Fernandez , Laurent Mounier et de Jean-Luc Richier . - Université Joseph Fourier (Grenoble ; 1971-2015)

Informatique

Soutenue en 2009

Le débogage de code optimisé dans le contexte des systèmes embarqués

par Hugo Venturini sous la direction de Jean-Claude Fernandez - Université Joseph Fourier (Grenoble ; 1971-2015)

Informatique

Soutenue en 2008

Contrôle de qualité optimal d'applications multimédia

par Loïc Strus sous la direction de Jean-Claude Fernandez - Université Joseph Fourier (Grenoble ; 1971-2015)

Informatique

Soutenue en 2008

Modélisation d'architectures DSP pour le reciblage de compilateurs

par Thomas Deruyter sous la direction de Marie-Laure Potet et de Jean-Claude Fernandez . - Grenoble INPG

Système et logiciel

Soutenue en 2007

Une approche basée sur les modèles pour le test de robustesse

par Cyril Alexandre Pachon sous la direction de Jean-Claude Fernandez et de Dorel Marius Bozga . - Université Joseph Fourier (Grenoble ; 1971-2015)

Informatique

Soutenue en 2005

Génération automatique de tests de conformité pour les protocoles de télécommunication

par Constantin Lucian Ghirvu sous la direction de Jean-Claude Fernandez - Université Joseph Fourier (Grenoble ; 1971-2015)

Informatique

Soutenue en 2002

Vérification symbolique pour les protocoles de communication

par Dorel Marius Bozga sous la direction de Jean-Claude Fernandez - Université Joseph Fourier (Grenoble ; 1971-2015)

Informatique

Soutenue en 1999

Méthodes symboliques pour la vérification de processus communicants : étude et mise en oeuvre

par Alain Kerbrat sous la direction de Jean-Claude Fernandez - Université Joseph Fourier (Grenoble ; 1971-2015)

Informatique

Soutenue en 1994

Méthodes de vérification de spécifications comportementales : étude et mise en oeuvre

par Laurent Mounier sous la direction de Jean-Claude Fernandez - Université Joseph Fourier (Grenoble ; 1971-2015)

Informatique

Soutenue en 1992

Ordre et désordre dans un milieu non linéaire perturbé : le cas de "Sine-Gordon"

par Abdelmajid Taki sous la direction de Jean-Claude Fernandez - Nice

Physique

Soutenue en 1987

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

Rigorous System-level Modeling and Performance Evaluation for Embedded System Design

par Ayoub Nouri sous la direction de Saddek Bensalem , Dorel Marius Bozga et de Axel Legay . - Université Grenoble Alpes (ComUE)

Informatique

Soutenue le 08-04-2015

Filtering and reduction techniques of combinatorial tests

par Taha Triki sous la direction de Yves Ledru et de Lydie du Bousquet . - Grenoble

Informatique

Soutenue le 04-10-2013

Analyse statique de programmes manipulant des tableaux

par Valentin Perrelle sous la direction de Nicolas Halbwachs - Grenoble

Informatique

Soutenue le 21-02-2013

Spécification et animation de modèles de conception de la sécurité avec Z

par Muhammad Nafees Qamar sous la direction de Yves Ledru et de Akram Idani . - Grenoble

Informatique

Soutenue le 02-12-2011

Systèmes à base de composants : du design à l'implémentation

par Imane Ben Hafaiedh sous la direction de Susanne Graf - Grenoble

Informatique

Soutenue le 03-02-2011

Expérimentation sur les nouvelles architectures : des processeurs multi-cœurs aux grilles de calcul

par Brice Videau sous la direction de Jean-François Méhaut et de Olivier Richard . - Université Joseph Fourier (Grenoble ; 1971-2015)

Informatique

Soutenue en 2009

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

Génération automatique de jeux de tests avec analyse symbolique des données pour les systèmes embarqués

par Mariem Abdelmoula sous la direction de Michel Auguin et de Daniel Gaffé . - Nice

Informatique

Soutenue le 18-12-2014