Frédéric Boulanger
Frédéric Boulanger a rédigé les 2 thèses suivantes :
Integration de modules synchrones 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 la thèse suivante :
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
Frédéric Boulanger a dirigé les 9 thèses suivantes :
La logique des incohérences : un modèle formel pour l'analyse de l'erreur humaine
par Valentin Fouillard sous la direction de Nicolas Sabouret , Frédéric Boulanger et de Safouan Taha . - université Paris-Saclay
Informatique
Soutenue le 02-12-2022
Formal Methods for Quantum Programming Languages
par Dongho Lee sous la direction de Frédéric Boulanger , Benoit Valiron et de Valentin Perrelle . - université Paris-Saclay
Mathématiques et Informatique
Soutenue le 21-07-2022
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 3 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
ModelRun, une méthode de transformations de modèles pour la vérification de propriétés de modèles de systèmes complexes par simulation
par Christophe Duhil sous la direction de Jean-Philippe Babau - Brest
Informatique
Soutenue le 07-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
