ATL  Agile  Architecture de modèles comportementaux  Architecture des réseaux d'ordinateurs  Assemblage de composants  Assistance  BPM  Compilation  Composants hétérogènes  Conception centrée sur l'utilisateur  Conception orientée objets  Conception à base de composants  Construction incrémentale  DSL  Design patterns  Détection  Développement incrémental  Environnement de processus centré sur l'utilisateur  Exigences de sûreté  Extension  Filtres numériques  Graphe d'acceptance  Génie logiciel  IDM  Industrie aéronautique  Inférence  Ingénierie dirigée par les modèles  Interconnexion de réseaux  Interopérabilité  Intégration des systèmes  Java  Langages de programmation  Langages dédiés  Logiciels -- Réingénierie  Logiciels -- Vérification  Machine d'états UML  Machines d'états  Model-checking  Modèle  Modélisation orientée domaine  Mécanisme d'exécution piloté par les données  Méthodes agiles  Ontologie  Oracles  Parallélisme  Patrons abîmés  Patrons de conception  Patrons de sécurité  Preuve  Processus  Programmation orientée objets  Programmation parallèle  Prolog  Propagation de faisceau, Méthode de  Qualification  Raffinement  Raisonnement à base de contrats  Relation de conformité  Revue de conception  Réduction  Smalltalk  Specware  Spécification algébrique  Structure logique  SysML  Systèmes avioniques  Systèmes critiques  Systèmes informatiques -- Mesures de sûreté  Systèmes ouverts  Systèmes temps-réel  Systèmes, Conception de  Temps réel  Test  Théorie des catégories  Traitement réparti  Transformation de graphe  Transformation de modèles  Triplet de Hoare  UML  UML  Uml  Vérification  Vérification compositionnell  Vérification de modèles  

Christian Percebois a rédigé la thèse suivante :


Christian Percebois a dirigé les 10 thèses suivantes :

Réseaux, Télécoms, Systèmes et Architecture
Soutenue le 16-07-2018
Thèse soutenue


Christian Percebois a été président de jury de la thèse suivante :


Christian Percebois a été rapporteur des 2 thèses suivantes :