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  Composants logiciels  Composition  Conception des systèmes embarqués  Conception d’architecture optimale  Consistances des modèles  Coopération  Coopération entre entreprises  Coût  Critères de couverture  Csp  DSL  DSMLs  Description d'architecture  Design patterns  Exigences  Exploration  Exécution  FUML  Fiabilité  Formalisation  Gremlin  Génie logiciel  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 des exigences  Ingénierie dirigée par les modèles  Ingénierie dirigée par les modèles,IDM  Ingénierie système  Intégration  Intégration des systèmes  Langage de modélisation dédié  Langage dédié  Langages de coordination  Langages de programmation  Logiciels -- Développement  Logiciels -- Réutilisation  Logiciels -- Vérification  Logiciels -- Évaluation  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  Mémoire partagée répartie  NoSQL  OCL  OCL  Optimisation  Optimisation mathématique  PSCS  Papyrus  Passage à l’échelle  Performance  Profiles UML  Programmation générative  Programmation orientée aspects  Qualité de service  Redondance  Relations d’Horloges  Requêtage de modèle  Réutilisation  Réutilisation des logiciels  SOA  SOA dirigée par les modèles  Sciences appliquees  Simulation  Simulation numérique  Simulation par ordinateur  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ûreté  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 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 12 thèses suivantes :


Jean-Michel Bruel a été membre de jury de la thèse suivante :