--  Algorithmes  Algorithmes parallèles  Algèbre de processus  Analyse temporelle  Applications cloud  Architecture SBC  Architecture d'entreprise  Architecture logicielle  Arcs de reset  B  Compatibilité  Contrats  Contrôle d’accès  Coordination  Correction-Par-Construction  Coût-efficacité  Design patterns  Dynamiques  Dépliage  Exigences  Gestionnaire autonome  Génie logiciel  Informatique  Informatique dans les nuages  Ingénierie dirigée par les modèles  Ingénierie dirigée par les modèles  Innovations technologiques  Interaction homme-ordinateur  Interfaces utilisateur  Langages de modélisation  Logiciels -- Maintenance  Logiciels -- Vérification  MIO Workbench  Maintenance modulaires  Modèle de composant  Modélisation  Modélisation des données  Multimodalité en sortie  Métadonnées  Méthode B  Méthode formelle  Méthodes formelles  OpenAPI 3.0  Oracles  Ordonnancement dynamique  Patrons de conception  Petri, Réseaux de  Politiques de sécurité  Preuve de théorème  Promela/ SPIN  Propriétés LTL  Protocoles de réseaux d'ordinateurs  Préconditions minimales  Ptolemy  Qualification  Raffinement  Refactoring  Répartis  Rétro-ingénierie  Rétro-ingénierie  Service  Services Web  Spéciications SysML  SysML  Systèmes  Systèmes critiques  Systèmes d'information -- Gestion  Systèmes d'information  Systèmes informatiques -- Mesures de sûreté  Systèmes à paramètres répartis  Systèmes, Analyse de  Systèmes, Conception de  Sûreté  Techniques de synthèse asynchrones  Temps réel  Thèses et écrits académiques  Tolérance aux fautes  Transformation de modèles  Transformation des programmes  Urbanisation des systèmes d'information  Vérification  Vérification formelle  

Christian Attiogbé dirige actuellement la thèse suivante :


Christian Attiogbé a dirigé les 4 thèses suivantes :


Christian Attiogbé a été président de jury des 3 thèses suivantes :


Christian Attiogbé a été rapporteur des 5 thèses suivantes :


Christian Attiogbé a été membre de jury des 2 thèses suivantes :