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  Co-évolution  Cohérence  Cohérence  Commande automatique  Comportement  Composants logiciels  Composition  Conception des systèmes embarqués  Conception d’architecture optimale  Conception orientée objets  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  Développement sans faille  Eiffel  Exigences  Exigences compréhensibles  Exigences expressives  Exigences orientées objet  Exigences réutilisables  Exigences sans faille  Exigences vérifiables  Exploration  Exploration de données  Exécution  FUML  Failles  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 des exigences  Ingénierie des systèmes  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  Justification  Langage de modélisation dédié  Langage de modélisation spécifique à un domaine  Langage dedié  Langage dédié  Langages de coordination  Langages de programmation  Langages dédiés  Langages formels  Liens  Logiciels -- Développement  Logiciels -- Réutilisation  Logiciels -- Vérification  Logiciels -- Évaluation  Lois de probabilités usuelles  Mbse  Mesures de sûreté  Migration de modèles  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  Outils  PSCS  Papyrus  Passage à l’échelle  Patrons de sécurité  Performance  Principes de sécurité  Profiles UML  Progiciels -- Développement  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  SOA  SOA dirigée par les modèles  Sciences appliquees  Simulation  Simulation numérique  Simulation par ordinateur  Socio-écosystèmes  Spécification formelle  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  Sûreté  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  Validation de système embarqués  Variabilité  Vérification  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é les 2 thèses suivantes :


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


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


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