AADL  Adaptation Sémantique.  Agilité  Alf  Allocation  Analyse d'impact  Architecture logicielle  Aspect  Calcul haute-performance  Chaine outillée  Choix de composants  Cohérence  Cohérence  Commande automatique  Comportement  Composants logiciels  Composition  Conception des systèmes embarqués  Conception d’architecture optimale  Consistances des modèles  Contraintes CSP  Coopération  Coopération entre entreprises  Coût  Critères de couverture  Csp  DSL  DSMLs  Description d'architecture  Design patterns  Distances de graphe  Dsml  Exigences  Exploration  Exploration de données  Exécution  FUML  Fiabilit?  Fiabilité  Formalisation  Gremlin  Génie logiciel  Générateurs  Génération de Modèles  Génération de tests  Génération de tests à partir de modèles  IDM  Identification des instances de composants  Identification des interfaces de composants  Idm  Informatique  Ing?nierie dirig?e par les mod?les  Ing?nierie dirig?e par les mod?les,IDM  Ingénierie des exigences  Ingénierie des systèmes  Ingénierie dirigée par les modèles  Ingénierie système  Intégration  Intégration des systèmes  Langage de modélisation dédié  Langage dedié  Langage dédié  Langages de coordination  Langages de programmation  Langages dédiés  Logiciels -- Développement  Logiciels -- R?utilisation  Logiciels -- Réutilisation  Logiciels -- Vérification  Logiciels -- Évaluation  Lois de probabilités usuelles  Mbse  Mesures de s?ret?  Modèle de Calcul  Modèles hétérogènes  Modèles mathématiques  Modélisation  Modélisation Multi-Paradigme  Modélisation par Composants  Multi-agents  Mémoire partagée répartie  Méta-Modèles  Méthodes formelles  NoSQL  OCL  OCL  Optimisation  Optimisation mathématique  PSCS  Papyrus  Passage à l’échelle  Performance  Profiles UML  Programmation générative  Programmation orientée aspects  Programmation par contraintes  Propriété formelle  Qualité de service  Redondance  Relations d’Horloges  Requêtage de modèle  Réutilisation  Réutilisation des logiciels  S?ret?  SOA  SOA dirigée par les modèles  Sciences appliquees  Simulation  Simulation numérique  Simulation par ordinateur  Socio-écosystèmes  SysML  SysML  Système sur puce  Systèmes complexes  Systèmes de grandes dimensions  Systèmes embarqués  Systèmes embarqués  Systèmes informatiques -- Mesures de sûreté  Systèmes sur puce  Systèmes à paramètres répartis  Sécurité des systèmes  Sémantique  Sémantique opérationnelle  Thèses et écrits académiques  Traitement réparti  Transformation  Transformation de modèle  Transformation de modèles  Traçabilité  UML  UML/Sys ML  Validation de système embarqués  Variabilité  Vérification de l’exécution  Vérification de propriété  Vérification formelle  

Jean-Michel Bruel a rédigé la thèse suivante :


Jean-Michel Bruel a dirigé la thèse suivante :


Jean-Michel Bruel a été président de jury des 2 thèses suivantes :


Jean-Michel Bruel a été rapporteur des 14 thèses suivantes :


Jean-Michel Bruel a été membre de jury des 2 thèses suivantes :