Adaptation  Analyse statistique  Application Web  Applications Web  Applications distribuées  Architecture  Architecture des ordinateurs  Architecture dirigée par les modèles  Architecture orientée service  Architecture à base de composants  Authentification  Base de données  Bases de données  Cloud IaaS  Cloud computing  Code source  Composants logiciels  Composition de langages  Composition logicielle  Consistances des modèles  Consommation d'énergie  Consommation de ressources de calcul  Consommation énergétique  DSL  DSMLs  Design patterns  Dimensionnement automatique  Droit à la vie privée  E/S disque  Environnement d'exécution adaptés  Exigence  Fog Computing  Gestion d'Identité  Gestion mémoire  Génie du logiciel  Génie logiciel  Générateurs  HDD  Hiérarchie mémoire  Informatique  Informatique autonome  Informatique autonomique  Informatique dans les nuages  Informatique en Nuage  Informatique et travail  Informatique omniprésente  Informatique pervasive  Ingenierie logiciel  Ingénierie des langages  Ingénierie des modèles  Ingénierie dirigée par les modèles  Ingénierie du logiciel  Interfaces de langages  Interfaces de programmation d'applications  Internet des objets  Interopérabilité de langages  Intégration des systèmes  JSON  JavaScript  Json  Langage dédié  Langages  Langages de coordination  Langages dédiés  Ligne de produit logiciel  Ligne de produits  Lignes de produits logiciels  Logiciels -- Développement  Logiciels -- Vérification  MAPE-K  MDE  Modèle de Composants  Modèle à composant  Modèle à l'exécution  Modèles de variabilité technique  Modèles hétérogènes  Modélisation  Modélisation de l'incertitude  Modélisation de la variabilité  Modélisation du temps  Mémoire flash  Mémoires flash  Méta-Heuristiques  Métaheuristiques  Métalangage  NFV  Optimisation  Patrons de reconfiguration  Placement de VM  Preuve électronique  Processus de configuration  Programmation  Programmation orientée aspects  Pré-chargement de données  Qualité logicielle  REST  Recommandation de la bibliothèque  Reconfiguration  Reconfiguration dynamique  Représentation de la connaissance  Représentation des connaissances  Rest  Risque de Sécurité  Réseaux d'ordinateurs -- Mesures de sûreté  Réseaux de capteurs  Réseaux de capteurs  Réseaux informatiques  SDN  SDN  SOA  SOA dirigée par les modèles  SSD  Sensibilité au contexte  Spécification  Stockage hybride  Supervision des ressources  Système de systèmes  Système logiciel  Systèmes adaptatifs  Systèmes auto-Adaptatifs  Systèmes configurables  Systèmes de communication sans fil  Systèmes distribués  Systèmes virtuels  Sécurité Informatique  Techniques d’implémentation traditionnelles  Test non-Fonctionnel  Traitement d'événements  Traitement des événements complexes  Traitement réparti  Transformations  Traçabilité de la variabilité  Tri  UML  VNF  Variabilité  Variabilité imparfaitement modulaire  Voix sur IP  Vérification  Vérification de la cohérence de la variabilité  Vérification de l’exécution  Vérification de modèles  Web  WebRTC  Élasticité  

Olivier Barais a rédigé la thèse suivante :


Olivier Barais a dirigé les 11 thèses suivantes :


Olivier Barais a été président de jury de la thèse suivante :


Olivier Barais a été rapporteur des 10 thèses suivantes :

Informatique
Soutenue le 05-02-2019
Thèse soutenue
Science et technologie de l'information et de la communication
Soutenue le 03-07-2017
Thèse soutenue

Olivier Barais a été membre de jury des 2 thèses suivantes :