--  ...  Algorithme de dépliage  Algorithmes  Analyse informatique  Analyse statique  Analyse symbolique  Architecture Orientée-Services  Automates  Automates mathématiques, Théorie des  Automates programmables  Automates temporisés  Balayage synchronisé  Biomecanique  Biomécanique  Bornitude  Boucles inobservables  CFSM  Calculs côté client  Chiffrement  Chiffrement  Cohérence  Commande robuste  Confidentialité  Configurations et schémas combinatoires  Contraintes de ressources multi-dimensionelles  Contraintes temporelles paramétrisées  Contrat de niveau de service  Contrats informatiques  Couplage faible  Cryptographie  Cumulatif  Dimensionnement automatique  Drones terrestres  Décidabilité  Défense  Dépliages avec contraintes  Elasticité  Estimation de paramètres  Expressions rationnelles  Expressions régulières  Feinte  Flux de travail  Fragmentation  Gestion de capacité  Génie logiciel  Générateurs de code source  Génération de code  Génération symbolique de test  HMSC  Idéaux  Informatique  Informatique dans les nuages  Informatique en nuage  Interopérabilité  Interprétation abstraite  Invariants linéaires et non-Linéaires  Joueurs de rugby  Langage  Logiciels -- Développement  Logiciels -- Validation  Logiciels -- Vérification  Lois algébriques  Markov, Processus de  Modèle de passation de messages  Modélisation des données  Méthodes formelles  Méthodes formelles  Objets combinatoires paramétrés  Observations partielles  Orc  Ordonnancement  Ordonnancement  Ordre partiel  Parallélisme  Passage à l’échelle  Perception / action  Perception visuelle du mouvement  Performances  Petri, Réseaux de  Planification -- Informatique  Planification de capacité  Point fixe  Probabilités  Produit synchronisé  Programmation orientée objets  Programmation par contraintes  Programmation par objet  Prototypes  Préfixe fini  Préordre  Qualité de Service  Quasi-vivacité  Robustesse  Rugby  Réduction  Réseaux  Réseaux Workflows  Réseaux d'automates temporisés  Réseaux d'ordinateurs  Réseaux de Petri temporels  Scénarios  Services Web  Simulation par ordinateur  Solveurs de contraintes  Sous-typage  Spécifications modales  Stabilité  Structure d'événements  Supervision  Synthèse  Système infini  Systèmes de télécommunications  Systèmes distribués  Systèmes informatiques -- Mesures de sûreté  Systèmes informatiques  Systèmes linéaires invariants  Systèmes répartis temps réel  Systèmes temps-réel  Systèmes à paramètres répartis  Sémantique opérationnelle  Séries temporelles  Tau  Technique  Temps réel  Terminaison  Test  Tests de programmes  Traces, Théorie des  Traitement réparti  Transducteurs  Télécommunication  UML  Vie privée  Vérification  Web sémantique  

Claude Jard a dirigé les 17 thèses suivantes :

Informatique
Soutenue le 20-10-2017
Thèse soutenue


Claude Jard a été président de jury des 7 thèses suivantes :


Claude Jard a été rapporteur des 2 thèses suivantes :


Claude Jard a été membre de jury des 2 thèses suivantes :