Jean-Philippe Babau
Jean-Philippe Babau a rédigé la thèse suivante :
Etude du comportement temporel des applications temps réel à contraintes strictes basée sur une analyse d'ordonnançabilité
par Jean-Philippe Babau sous la direction de Francis Cottet - Poitiers
Informatique
Soutenue en 1996
Jean-Philippe Babau a dirigé les 13 thèses suivantes :
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
Automatisation de la mise au point de lois de contrôle de systèmes cyber-physiques évoluant en environnement incertain
par Hamza El Baccouri sous la direction de Jean-Philippe Babau - Brest
Informatique
Soutenue le 17-12-2020
AMSA, un framework dédié à la simulation des lois de contrôle pour des voiliers de compétition
par Emilien Lavigne sous la direction de Jean-Philippe Babau - Brest
Informatique
Soutenue le 05-12-2019
Réutilisation de composants logiciels pour l'outillage de DSML dans le contexte des MPSoC
par Paola Vallejo sous la direction de Jean-Philippe Babau - Brest
Informatique
Soutenue le 15-12-2015
ORQA : un canevas logiciel pour la gestion de l'énergie dans les véhicules électriques
par Borjan Christophe-Tchakaloff sous la direction de Jean-Philippe Babau - Brest
Sciences et technologies de l'information et de la communication
Soutenue le 13-01-2015
Techniques d'analyse et d'optimisation pour la synthèse architecturale de systèmes temps réel embarqués distribués : problèmes de placement, de partitionnement et d'ordonnancement
par Asma Mehiaoui sous la direction de Jean-Philippe Babau - Brest
Informatique
Soutenue le 16-06-2014
Rétro-ingénierie des plateformes pour le déploiement des applications temps-réel
par Rania Mzid sous la direction de Jean-Philippe Babau et de Mohamed Abid . - Brest
Informatique
Soutenue le 12-05-2014
Autonomie et reconfiguration des systèmes de systèmes tactiques
par Marie Ludwig sous la direction de Jean-Philippe Babau - Brest
Informatique
Soutenue le 24-10-2013
Une infrastructure pour l'optimisation de systèmes embarqués évolutifs à base de composants logiciels
par Juan F. Navas sous la direction de Jean-Philippe Babau - Brest
Sciences et technologies de l’information et de la communication
Soutenue en 2011
Architecture de gestion et de contrôle des ressources pour les applications multimédia dans le réseau local domestique
par Maxime Louvel sous la direction de Jean-Philippe Babau - Brest
Informatique
Soutenue en 2011
Analyse temporelle des systèmes d'acquisition de données : une approche à base d'automates temporisés communicants et d'observateurs
par Belgacem Ben Hedia sous la direction de Jean-Philippe Babau et de Riadh Robbana . - Lyon, INSA
Informatique
Soutenue en 2008
Saia
par Julien De Antoni sous la direction de Jean-Philippe Babau - Lyon, INSA
Informatique
Soutenue en 2007
Validation temporelle des applications multitâches temps réel basée sur les automates temporisés communicants
par Mostefa Belarbi sous la direction de Jean-Jacques Schwarz et de Jean-Philippe Babau . - Lyon, INSA
Informatique
Soutenue en 2003
Jean-Philippe Babau a été président de jury des 8 thèses suivantes :
A hierarchical model for semantic trajectories and event extraction in indoor and outdoor spaces
par Hassan Noureddine sous la direction de Christophe Claramunt et de Cyril Ray . - Brest
Géomatique
Soutenue le 16-09-2022
Une approche holistique combinant flux temps-réel et données archivées pour la gestion et le traitement d'objets mobiles : application au trafic maritime
par Loïc Salmon sous la direction de Christophe Claramunt et de Cyril Ray . - Brest
Géomatique
Soutenue le 17-01-2019
Utilisation de l'ingénierie dirigée par les modèles pour l'agrégation continue de données hétérogènes : application à la supervision de réseaux de gaz
par Ahmed Ahmed sous la direction de Lionel Roucoules et de Mathias Kleiner . - Paris, ENSAM
Informatique-traitement du signal
Soutenue le 17-12-2018
A development process for building adaptative software architectures
par Ngoc Tho Huynh sous la direction de Antoine Beugnard - Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire
Informatique
Soutenue le 30-11-2017
Un modèle spatio-temporel sémantique pour la modélisation de mobilités en milieu urbain
par Meihan Jin sous la direction de Christophe Claramunt - Brest
Géomatique
Soutenue le 18-09-2017
A qualitative spatio-temporal modelling and reasoning approach for the representation of moving entities
par Jing Wu sous la direction de Christophe Claramunt et de Min Deng . - Brest
Géomatique
Soutenue le 14-09-2015
Contribution à l'extraction et à la représentation des connaissances de l'environnement maritime : proposition d'une architecture dédiée aux applications de navigation
par Dieudonné Tsatcha sous la direction de Christophe Claramunt - Brest
Informatique
Soutenue le 11-12-2014
Contribution à la prise en compte des plates-formes logicielles d'exécution dans une ingénierie générative dirigée par les modèles
par Frédéric Thomas sous la direction de François Terrier - Evry-Val d'Essonne
Informatique
Soutenue le 21-11-2008
Jean-Philippe Babau a été rapporteur des 9 thèses suivantes :
Un environnement unifié pour le développement sur puce à cœurs asymétriques
par Roy Jamil sous la direction de Emmanuel Grolleau - Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique
Informatique et applications
Soutenue le 04-03-2022
Latency verification in execution traces of HW/SW partitioning model
par Maysam Zoor sous la direction de Ludovic Apvrille et de Renaud Pacalet . - Institut polytechnique de Paris
Informatique
Soutenue le 08-12-2021
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
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
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
Méthode et outils de coévolution des profils UML et de leurs modèles : pour une meilleure prise en compte de leurs impacts par les concepteurs
par Fadoi Lakhal sous la direction de Dominique Rieu - Paris 11
Informatique
Soutenue le 22-04-2014
Contribution à la considération du comportement des plates-formes d'exécution logicielles temps réel
par Cédrick Lelionnais sous la direction de Olivier Henri Roux - Ecole Centrale de Nantes
Informatique et applications
Soutenue en 2014
Methodology for a Model-based Timing Analysis Process for Automotive Systems
par Saoussen Rekik (Anssi) sous la direction de François Terrier - Paris 11
Informatique
Soutenue le 09-11-2011
Déploiement multiplateforme d'applications multitâche par la modélisation
par Wassim El Hajj Chehade sous la direction de François Terrier - Paris 11
Informatique
Soutenue le 04-04-2011
Jean-Philippe Babau a été membre de jury de la thèse suivante :
Vers une émergence des systèmes d'information géographique maritime fondés sur la connaissance : application aux systèmes d'aide à la navigation
par Wissame Laddada sous la direction de Eric Saux - Brest
Géomatique
Soutenue le 04-12-2018
