. fUML  Adaptation Sémantique.  Adaptation sémantique  Approche collaborative  Architecture d’Entreprise  Assistant de preuve  Assistants de preuve  CCSL  CPS  Co-simulation  Cohérence  Comportement qualitatif  Concurrence  Consommation de puissance  Coordination  Dynamique holomorphe  Evaluation de la sûreté de fonctionnement basée sur les modèles  Exécution symbolique  FMI  Génie logiciel  Hétérogénéité  Hétérogénéité des modèles  IDM  IEEE-42010  Industrie 4.0  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  Logiciels  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  Simulation qualitative  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 dynamiques hybrides  Systèmes embarqués  Systèmes hybrides  Systèmes informatiques  Systèmes à base de composants  Sémantique  Sémantique opérationnelle  Test  Tests fonctionnels  Thèses et écrits académiques  Transformation de modèle  UML  UML  VHDL-AMS  Validation  Évaluation du risque  

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


Frédéric Boulanger a dirigé les 5 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 6 thèses suivantes :