Algorithmes  Algorithmes parallèles  Algèbre de processus  Applications cloud  Architecture SBC  Architecture d'entreprise  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  Interaction homme-ordinateur  Interfaces utilisateur  Logiciels -- Maintenance  Logiciels -- Vérification  MIO Workbench  Maintenance modulaires  Modèle de composant  Modélisation  Multimodalité en sortie  Méthode B  Méthode formelle  Méthodes formelles  OpenAPI 3.0  Oracles  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 d'information -- Gestion  Systèmes d'information  Systèmes informatiques -- Mesures de sûreté  Systèmes, Analyse de  Systèmes, Conception de  Sûreté  Techniques de synthèse asynchrones  Thèses et écrits académiques  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 4 thèses suivantes :

Informatique
Soutenue le 16-12-2015
Thèse soutenue

Christian Attiogbé a été membre de jury de la thèse suivante :