Christine Choppy a dirigé les 8 thèses suivantes :
Approches pour la modernisation et vérification des systèmes temporisés en utilisant les diagrammes états-transitions et les réseaux de Pétri colorés
par Mohamed Benmoussa sous la direction de Christine Choppy - Sorbonne Paris Cité
Informatique
Soutenue le 06-12-2016
Reconnaissance de comportements complexes par traitement en ligne de flux d’événements
par Ariane Piel sous la direction de Christine Choppy - Paris 13
Informatique
Soutenue le 27-10-2014
Rigorous and formal approaches for modelling and designing service systems
par Khanh Dung Tran sous la direction de Christine Choppy - Paris 13
Inforamtique
Soutenue en 2013
Méthodologie de conception des modèles exprimés en réseaux Petri : Raffinement des réseaux de Petri colorés
par Alfred Sanogo sous la direction de Laure Petrucci et de Christine Choppy . - Paris 13
Informatique
Soutenue en 2012
Détection d'activités par un système de reconnaissance de chroniques et application au cas des simulations distribuées HLA
par Olivier Bertrand sous la direction de Christine Choppy - Paris 13
Informatique
Soutenue en 2009
Topos, un modèle pour l'informatique
par Elena Sendroiu sous la direction de Christine Choppy - Paris 7
Informatique
Soutenue en 2004
Korrigan : un formalisme et une methode pour la specification formelle et structuree de systemes mixtes
par Pascal Poizat sous la direction de Christine Choppy - Nantes
Sciences et techniques
Soutenue en 2000
Retro-ingenierie de programmes fortran utilisant les specifications algebriques
par SOPHIE CHERKI sous la direction de Christine Choppy - Paris 11
Sciences appliquées
Soutenue en 1998
Christine Choppy a été rapporteur de la thèse suivante :
Orchestration et vérification de fonctions de sécurité pour des environnements intelligents
par Nicolas Schnepf sous la direction de Stephan Merz et de Rémi Badonnel . - Université de Lorraine
Informatique
Soutenue le 30-09-2019
Christine Choppy a été membre de jury des 3 thèses suivantes :
Modélisation et analyse de la sécurité dans un système de stockage pair-à-pair
par Samira Chaou sous la direction de Franck Pommereau - Evry-Val d'Essonne
Informatique
Soutenue le 11-01-2013
Analyse algorithmique des réseaux de Petri : vérification d'espace d'accueil, systèmes de réécriture
par Colette Johnen sous la direction de Gérard Berthelot - Paris 11
Informatique
Soutenue en 1987
Asspegique : un environnement d'exceptions : une sémantique opérationnelle des E, R-algèbres, formalisme prenant en compte les exceptions : un environnement integré de spécification algébrique
par Francis Capy sous la direction de Marie-Claude Gaudel - Paris 11
Informatique
Soutenue en 1987
