Recherche
-
Vers la vérification de propriétés de sûreté pour des systèmes infinis communicants : décidabilité et raffinement des abstractions
(Bordeaux 1, 2011-06-27)Thèses de doctorat -
Exploiter la structure des modèles pour la vérification par la méthode CEGAR
(Bordeaux 1, 2012-11-27)Thèses de doctorat -
Extraction des utilisations typiques à partir de données hétérogènes en vue d'optimiser la maintenance d'une flotte de véhicules
(Bordeaux 1, 2012-07-06)Thèses de doctorat -
Optimisation des protocoles de routage dans les réseaux multi-sauts sans fil à contraintes.
(Bordeaux 1, 2012-10-10)Thèses de doctorat -
Développement et test d'applications d'informatique ubiquitaire : une méthodologie outillée
(Bordeaux 1, 2012)Thèses de doctorat -
Abstractions pour les automates temporisés
(Bordeaux 1, 2012)Thèses de doctorat -
Méthode de décomposition de domaine pour les équations du transport simplifié en neutronique
(Bordeaux 1, 2010-02-09)Thèses de doctorat -
Vérification d’anomalies dans les services réseau NFV externalisés vers le cloud
(Bordeaux, 2022-03-18)Thèses de doctorat -
Apprentissage profond auto-supervisé de métriques : application à la prédiction d'assemblage de fragments de papyrus
(Bordeaux, 2022-03-28)Thèses de doctorat -
Modélisation du réseau neuronal responsable de l'apprentissage du chant chez l'oiseau chanteur
(Bordeaux, 2021-03-25)Thèses de doctorat