. fUML  Adaptation Sémantique.  Adaptation sémantique  Agda  Algorithme maître  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 -- Recherche  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  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 coordination  Langages de modélisation dédiés  Langages de programmation -- Sémantique  Langages de programmation  Logiciels  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 hétérogène  Modélisation par Composants  Modélisation système  Multi-vue  Métamodélisation exécutable  Méthodes formelles  Méthodes formelles  Objets coopérants  Opérateurs d’intégration  Preuve déductive  Processus arma  Programmation quantique  Raisonnement qualitatif  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  Spécification formelle  Surveillance  Synchronie  Synchronisation de modèles  Synchroniseur  SysM  SysML  SysML  SystemC-AMS  Système d’Information  Systèmes complexes  Systèmes critiques  Systèmes d'information  Systèmes dynamiques hybrides  Systèmes embarqués  Systèmes hybrides  Systèmes hétérogènes  Systèmes informatiques  Systèmes informatiques hétérogènes  Systèmes à base de composants  Sémantique  Sémantique comportementale  Sémantique de traces  Sémantique opérationnelle  Sémantiques  Test  Tests fonctionnels  Théorie des catégories  Transformation de modèle  UML  UML  VHDL-AMS  Validation  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 :

Raisonnement qualitatif et conception de systèmes complexes

par Baptiste Gueuziec sous la direction de Frédéric Boulanger et de Jean-Pierre Gallois . - université Paris-Saclay

Informatique
En préparation depuis le 03-05-2021
Thèse en préparation

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 des 2 thèses suivantes :

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 7 thèses suivantes :

Informatique et Télécommunication
Soutenue le 14-09-2020
Thèse soutenue