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 -
Algorithmique et applications pour les flottes hétérogènes multiniveaux de matériels mobiles communicants autonomes
(Bordeaux, 2016-10-03)Thèses de doctorat -
Découverte de services et collaboration au sein d'une flotte hétérogène et hautement dynamique d'objets mobiles communicants autonomes
(Bordeaux, 2015-10-26)Thèses de doctorat -
Analyse symbolique et inférence de modèles métaboliques
(Bordeaux, 2015-07-10)Thèses de doctorat -
Étude de l’effet de la réplication de fichiers d’entrée sur l’efficacité et la robustesse d’un ensemble de calculs
(Bordeaux, 2017-09-08)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 -
SN cartésien massivement parallèle pour la simulation neutronique
(Bordeaux, 2015-12-15)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 -
Services e-santé sensibles au contexte dans les espaces intelligents
(Bordeaux, 2017-04-24)Thèses de doctorat