. fUML  Adaptation Sémantique.  Adaptation sémantique  Alpha-variogramme  Approche collaborative  Approche synchrone  Architecture d’Entreprise  Assistant de preuve  Assistants de preuve  Automobiles -- Systèmes d'aide à la conduite  Bandes tournantes  CCSL  CPS  Co-simulation  Cohérence  Comportement qualitatif  Concurrence  Consommation de puissance  Coordination  Cosimulation  Dynamique holomorphe  Estimation  Evaluation de la sûreté de fonctionnement basée sur les modèles  Exécution symbolique  FMI  Fonction aleatoire stable  Fonction d'autocorrelation experimentale  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  Intelligence Artificielle  Internet des objets  Interprétation abstraite  Intégration des systèmes  Isabelle/HOL  Jetons aleatoires  Langage de description d’activités  Langage de modélisation  Langage de programmation  Langages de modélisation dédiés  Langages de programmation -- Sémantique  Logiciels  Logique formelle  MARTE  Mathematiques  MoC  Model checking  Modèle d'activité  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 des données  Modélisation et Simulation  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  Preuve déductive  Processus arma  Programmation quantique  Reconnaissance de l'activité humaine  Reconnaissance d’activités  Relations d’Horloges  Réseaux électriques intelligents  Sciences et techniques communes  Simulation  Simulation par ordinateur  Simulation qualitative  Simulation, Méthodes de  Smart Grid  Smart Grids  Surveillance  Synchronie  Synchronisation de modèles  Synchroniseur  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  Sémantiques  Test  Tests fonctionnels  Transformation de modèle  UML  UML  VHDL-AMS  Validation  Vérification  Vérification de logiciel  Vérification de modèles  Vérification formelle  Évaluation du risque  

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


Frédéric Boulanger dirige actuellement les 2 thèses suivantes :

Informatique
En préparation depuis le 01-10-2019
Thèse en préparation

Méthodes Formelles pour les Langages de Programmation Quantiques

par Dongho Lee sous la direction de Frédéric Boulanger , Benoit Valiron et de Valentin Perrelle . - université Paris-Saclay

Mathématiques et Informatique
En préparation depuis le 31-10-2018
Thèse en préparation


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


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