Accès -- Contrôle  Agents mobiles  Agents mobiles  Arbre régulier  Arbres  Architecture des réseaux d'ordinateurs  Assistant de preuve  Automates mathématiques, Théorie des  Automates temporisés  B  BIP  Calcul parallèle  Co-induction  Composition  Contrôle d'accès  DSL  Dmp  Dossier médical personnel  Décomposition formelle  Event-B  Gestion électronique de documents  Grille de calcul  Grilles informatiques  Génie logicie  Génie logiciel  Génération de code  IDM  Implémentation  Ingénierie dirigée par les modèles  Langage Fiacre  Langage de description d'architecture  Logiciels -- Développement  Logiciels -- Validation  Logiciels -- Vérification  Logique déontique  Logique informatique  Logique temporelle  Logiques temporelles et temporisées  Model checking  Model-checking  Multiprocesseur  Médical  Méthode B  Méthode des tableaux temporisés  Méthodes Formelles  Méthodes formelles  Méthodes formelles  OpenAPI 3.0  Ordonnancement  Ordonnancement  Parallélisme  Pi-calcul  Politique de sécurité  Programmation par aspects  Prolog  Protection de l'information  Raffinement  Raffinement automatique  Services Web  Simulation  Simulation par ordinateur  Spécification  Spécifications formelles  Synthèse du contrôleur  Système réparti  Systèmes autonomes distribués  Systèmes distribués  Systèmes dynamiques hybrides  Systèmes embarqués  Systèmes informatiques -- Mesures de sûreté  Systèmes informatiques -- Évaluation  Systèmes temporisés  Sémantique  Temps réel  Temps réel  Terme cyclique  Thèses et écrits académiques  Tolérance aux fautes  Traitement réparti  Transducteur d'arbres  Transducteurs  Transputers  Uppaal  Vérification  Web Services  

Jean-Paul Bodeveix a rédigé la thèse suivante :


Jean-Paul Bodeveix a dirigé les 8 thèses suivantes :


Jean-Paul Bodeveix a été rapporteur des 3 thèses suivantes :