Algorithmes d'approximation  Analyse dynamique  Analyse statique  Applications distribuées  Approximation  Architecture SBC  Assistants de preuve  Attaques internes  Atteignabilité  Automate temporisé  Automate à pile temporisé  B  B  Bogue  Chaine outillée  Check-lists  Commande automatique  Compatibilité  Critères de couverture  Deadline  Design patterns  Données -- Compression  Event-B  Exigences  FRAMA-C  Fausse alarme  Génie logiciel  Génération de tests aléatoire  Génération de tests guidée par les alarmes  Génération de tests à partir de modèles  Incrémentation  Java  Java Card  Java Card  Langage B  Langages de programmation -- Sémantique  Logiciels -- Vérification  Logique temporelle  Logique temporelle linéaire  MIO Workbench  Model checking  Model-Checking  Model-checking  Model-cheking régulier  Modèles algébriques  Modélisation  Mutation  Mutation de spécification  Méthodes formelles  Méthodes formelles  Preuve  ProB  Programmation fonctionnelle  Programmation logique  Programmation parallèle  Promela/ SPIN  Propriétés LTL  Propriétés temporelles  Préservation  Ptolemy  Raffinement  Résolution de contraintes  SimGrid  Slicing  Spécification formelle  Spéciications SysML  Structures de Kripke  SysML  Systèmes de détection d'intrusion  Systèmes informatiques -- Mesures de sûreté  Systèmes temps réel  Sécurité  Temps réel  Test  Test d'intrusion  Test structurel, erreur à l’exécution  Test à base de modèle  Thèses et écrits académiques  Traitement réparti  Transformation de modèles  UML  UML/Sys ML  Validation de système embarqués  Verification modulaire  Vérification  Vérification  Vérification de code intermédiaire  Vérification de propriétés temporelles  Vérification dynamique formelle  

Jacques Julliand a dirigé les 12 thèses suivantes :


Jacques Julliand a été président de jury des 3 thèses suivantes :


Jacques Julliand a été rapporteur des 2 thèses suivantes :


Jacques Julliand a été membre de jury de la thèse suivante :