. fUML  Actionneurs  Adaptabilité  Adaptation de modèle  Adaptation dynamique Cohérente  Agrégation continue de données  Algorithme maître  Algorithmique combinatoire  Analyse de la trace d'exécution  Analyse de temps  Analyse des temps de réponse  Analyse d’ordonnancement  Analyse temporelle  Application automobiles  Architecture  Architecture des réseaux d'ordinateurs  Architecture logicielle  Automates  Bases de données spatio-temporelles  Bateaux à voiles  CPS  Capteurs  Cartographie marine  Circulation urbaine  Classification d'impact  Clustering  Co-simulation  Co-évolution  Commande automatique  Comportement de plate-forme  Comportement qualitatif  Composants logiciels  Conception  Coordination  Démarche d’Architecture  Dépendance transactionnelle  Déploiement  Développement dirigé par les modèles  Entités dynamiques  Evolution de profil UML  Exploration de l’espace des architectures  Exécution multitâche  Exécution symbolique  FMI  Fonctionnement multitâche  Gestion  Gestion de transaction  Gestion des ressources  Gestion d’énergie  Grammaires de graphes  Graphes de dépendance  Génie logiciel  Géomatique  Géométrie combinatoire  Hétérogénéité  Industrie 4.0  Informatique  Ingénierie Dirigée par les Modèles  Ingénierie dirigée par les modèles  Ingénierie dirigée par les modèles  Ingénierie système  Intelligence  Intelligence artificielle  Internet des objets  Interopérabilité  Langage de Description d’Architecture  Langage de modélisation relié  Langage de modélisation spécifique à un domaine  Langages de coordination  Langages de modélisation  Langages de programmation  Ligne de produit  Logiciels -- Développement  Logiciels -- Exactitude  Logiciels -- Évaluation  Logiciels  Logiciels médiateurs  MARTE  Mesure dynamique  Middleware  Migration de modèles  Mobilité spatiale  Modèle de Plate-forme  Modèle de description de plate-forme  Modèle formel  Modèles hétérogènes  Modèles mathématiques  Modélisation  Modélisation de variabilité  Modélisation des données  Modélisation spatio-temporelle  Multimédia  Multimédias  Multiprocesseurs  Multiprocesseurs hétérogènes  Méthodes formelles  Objets coopérants  Objets mobiles  Ontologie  Optimisation  Opérateur d'évolution  Ordonnancement  Outils d’analyse d’ordonnancement  Patron d'évolution  Pilote automatique  Processus d’analyse temporelle dirigé par les modèles  Programmation linéaire en nombres entiers  Qualité de service  Raisonnement qualitatif  Reconfiguration  Représentation spatio-temporelle  Routage maritime  Réduction de dimensionnalité  Réglage des contrôleurs  Régression  Réifications  Réseau local domestique  Réseaux de Petri Temporels  Réseaux locaux domestiques  Réutilisation  Sciences appliquees  Sciences de l'information géographique  Simulation  Simulation de modèles  Simulation qualitative  Simulation, Méthodes de  Syntaxe abstraite  SysML  SysML  System Workbench for Linux  Système de système  Système distribué  Systèmes adaptatifs  Systèmes complexes  Systèmes d'exploitation temps réel  Systèmes d'information  Systèmes d'information géographique  Systèmes de gestion de bases de données  Systèmes dynamiques hybrides  Systèmes d’exploitation temps réel  Systèmes embarqués  Systèmes embarqués  Systèmes hybrides  Systèmes sur puce  Systèmes temps réel critiques distribués  Systèmes temps réel embarqués  Systèmes, Conception de  Sémantique comportementale  Temps réel  Traitement automatique du langage  Traitement réparti  Traitement temps-réel  Trajectoires  Trajectoires urbaines  Transformation de modèle  Transformation de modèles  UML  UML  Variables  Véhicule électrique  Véhicules électriques  Vérification temps réel  Énergie  Évolution  

Jean-Philippe Babau a rédigé la thèse suivante :


Jean-Philippe Babau a dirigé les 13 thèses suivantes :

Sciences et technologies de l'information et de la communication
Soutenue le 13-01-2015
Thèse soutenue
Sciences et technologies de l’information et de la communication
Soutenue en 2011
Thèse soutenue
Informatique
Soutenue en 2007
Thèse soutenue


Jean-Philippe Babau a été président de jury des 7 thèses suivantes :


Jean-Philippe Babau a été rapporteur des 9 thèses suivantes :