. fUML  Adaptation Sémantique.  Adaptation sémantique  Approche collaborative  Architecture d’Entreprise  Assistant de preuve  Assistants de preuve  CCSL  CPS  Co-simulation  Cohérence  Concurrence  Consommation de puissance  Coordination  Dynamique holomorphe  Evaluation de la sûreté de fonctionnement basée sur les modèles  FMI  Génie logiciel  Hétérogénéité  Hétérogénéité des modèles  IDM  IEEE-42010  Informatique  Ingénierie des systèmes  Ingénierie dirigée par les modèles  Ingénierie système basée sur les modèles  Internet des objets  Intégration des systèmes  Isabelle/HOL  Langage de modélisation  Langages de modélisation dédiés  Langages de programmation -- Sémantique  MARTE  MoC  Modèle de Calcul  Modèle de traces  Modèles de concurrence  Modèles hétérogènes  Modèles linguistiques  Modèles mathématiques  Modélisation  Modélisation Multi-Paradigme  Modélisation hétérogène  Modélisation par Composants  Multi-vue  Métamodélisation exécutable  Méthodes formelles  Méthodes formelles  Opérateurs d’intégration  Relations d’Horloges  Réseaux électriques intelligents  Simulation  Simulation par ordinateur -- Logiciels  Simulation par ordinateur  Simulation, Méthodes de  Smart Grids  Surveillance  Synchronie  Synchronisation de modèles  SysM  SysML  SysML  SystemC-AMS  Système d’Information  Systèmes complexes  Systèmes d'information  Systèmes informatiques  Systèmes à base de composants  Sémantique  Sémantique opérationnelle  Test  Tests fonctionnels  Thèses et écrits académiques  UML  UML  VHDL-AMS  Évaluation du risque  

Frédéric Boulanger a rédigé les 2 thèses suivantes :


Frédéric Boulanger a dirigé les 4 thèses suivantes :


Frédéric Boulanger a été président de jury de la thèse suivante :

Sureté de Logiciel et Calcul à Haute Performance
Soutenue le 13-07-2016
Thèse soutenue

Frédéric Boulanger a été rapporteur de la thèse suivante :


Frédéric Boulanger a été membre de jury des 5 thèses suivantes :