. fUML  Adaptation Sémantique.  Adaptation sémantique  Agda  Algorithme maître  Alpha-variogramme  Approche collaborative  Approche synchrone  Architecture d’Entreprise  Co-simulation  Coordination  Exécution symbolique  FMI  Génie logiciel  IDM  Ingénierie dirigée par les modèles  Internet des objets  Langages de programmation -- Sémantique  Modèles hétérogènes  Modèles mathématiques  Modélisation  Modélisation hétérogène  Méthodes formelles  Méthodes formelles  Réseaux électriques intelligents  Simulation  Simulation par ordinateur  Simulation, Méthodes de  SysML  SysML  Systèmes complexes  Systèmes informatiques  Test  UML  UML  Vérification formelle  

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

Integration de modules syndhrones dans la programmation par objets

par Frédéric Boulanger sous la direction de Guy Vidal-Naquet - Paris 11

Sciences appliquées

Soutenue en 1993

Modelisation et simulation de variables regionalisees par des fonctions aleatoires stables

par Frédéric Boulanger sous la direction de Pierre Chauvet - Paris, ENMP

Sciences et techniques communes

Soutenue en 1990

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

Méthodes Formelles pour les Langages de Programmation Quantiques

par Dongho Lee sous la direction de Frédéric Boulanger - université Paris-Saclay

Mathématiques et Informatique

En préparation depuis le 31-10-2018

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

Automotive embedded software design using formal methods

par Vassil Todorov sous la direction de Frédéric Boulanger - université Paris-Saclay

Informatique

Soutenue le 09-12-2020

Application de l'ingénierie dirigée par les modèles à la conception de Smart Grids : approche par cosimulation avec FMI

par David Oudart sous la direction de Sophie Chabridon et de Frédéric Boulanger . - Institut polytechnique de Paris

Informatique

Soutenue le 07-05-2020

Analyse formelle de spécifications hybrides à partir de modèles SysML pour la validation fonctionnelle des systèmes embarqués

par Slim Medimegh sous la direction de Frédéric Boulanger - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 20-12-2018

Modélisation et simulation d’une architecture d’entreprise - Application aux Smart Grids

par Rachida Seghiri sous la direction de Frédéric Boulanger - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 04-07-2016

Multi-level modeling for verification and synthesis of complex systems in a multi-physics context.

par Daniel Chaves Café sous la direction de Frédéric Boulanger - CentraleSupélec

Informatique (STIC)

Soutenue le 10-07-2015

Modélisation explicite de l'adaptation sémantique entre modèles de calcul.

par Ayman Dogui sous la direction de Frédéric Boulanger - Supélec

Informatique (STIC)

Soutenue le 18-12-2013

Composition de modèles pour la modélisation multi-paradigme du comportement des systèmes

par Cécile Hardebolle sous la direction de Guy Vidal-Naquet , Frédéric Boulanger et de Dominique Marcadet . - Paris 11

Informatique

Soutenue en 2008

Frédéric Boulanger a été président de jury des 2 thèses suivantes :

Co-simulation de systèmes complexes avec le framework CoSim20 : pour des co-simulations distribuées performantes et fidèles

par Giovanni Liboni sous la direction de Frédéric Mallet - Université Côte d'Azur

Informatique

Soutenue le 21-04-2021

Systematic use of models of concurrency in executable domain-specific modelling languages

par Florent Latombe sous la direction de Yamine Aït-Ameur et de Xavier Crégut . - Toulouse, INPT

Sureté de Logiciel et Calcul à Haute Performance

Soutenue le 13-07-2016

Frédéric Boulanger a été rapporteur des 2 thèses suivantes :

Conception de systèmes de reconnaissance d’activités humaines

par Ines Sarray sous la direction de Sabine Moisan - Université Côte d'Azur (ComUE)

Informatique

Soutenue le 21-03-2019

Une approche multi-vue pour la modélisation système de propriétés fonctionnelles et non-fonctionnelles

par Carlos Ernesto Gómez Cárdenas sous la direction de Frédéric Mallet - Nice

Informatique

Soutenue le 20-12-2013

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

A formal framework for heterogeneous systems semantics

par Mathieu Montin sous la direction de Yamine Aït-Ameur et de Marc Pantel . - Toulouse, INPT

Informatique et Télécommunication

Soutenue le 14-09-2020

Tests automatisés dirigés par les exigences pour systèmes cyber-physiques

par Martial Chabot sous la direction de Laurence Pierre - Université Grenoble Alpes (ComUE)

Informatique

Soutenue le 30-10-2018

Formalizing Time and Causality in Polychronous Polytimed Models

par Hai Nguyen Van sous la direction de Burkhart Wolff - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 27-09-2018

Ingénierie système et Sûreté de fonctionnement : Méthodologie de synchronisation des modèles d'architecture et d'analyse de risques

par Anthony Legendre sous la direction de Antoine Rauzy et de Agnès Lanusse . - Université Paris-Saclay (ComUE)

Sciences et technologies industrielles

Soutenue le 15-12-2017

Model-driven co-simulation of Cyber-Physical Systems

par Sahar Guermazi sous la direction de Sébastien Gérard - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 28-09-2017

Model-based Testing of Operating System-Level Security Mechanisms

par Yakoub Nemouchi sous la direction de Burkhart Wolff - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 30-03-2016

Modeling and testing of component-based systems

par Bilal Kanso sous la direction de Marc Aiguier - Châtenay-Malabry, Ecole centrale de Paris

Informatique

Soutenue le 21-11-2011