AADL  Adaptation Sémantique.  Agilité  Alf  Allocation  Analyse d'impact  Architecture logicielle  Aspect  Attaques  Automatisation  Calcul haute-performance  Certification  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  Cycle de vie  DSL  DSMLs  Description d'architecture  Design patterns  Distances de graphe  Domaines critiques  Dsml  Exigences  Exploration  Exploration de données  Exécution  FUML  Failles  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  Justification  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  Normalisation  OCL  OCL  Optimisation  Optimisation mathématique  PSCS  Papyrus  Passage à l’échelle  Patrons de sécurité  Performance  Principes de sécurité  Profiles UML  Programmation générative  Programmation orientée aspects  Programmation par contraintes  Propriété formelle  Qualité -- Contrôle  Qualité de service  Redondance  Relations d’Horloges  Requêtage de modèle  Ré-Ingénierie  Rétro-Ingénierie  Rétro-ingénierie  Réutilisation  Réutilisation des logiciels  Réutilisation logicielle  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  Test de sécurité  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 des modèles  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 17 thèses suivantes :


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