5G  Apprentissage artificiel  Apprentissage automatique  Apprentissage par renforcement  Cloud computing  Confiance  Consommation d'énergie  Critères de couverture  Cyberdéfense  Detection de menaces  Energie  Femtocellules  Fonctions de croyance  Génie logiciel  Génération de cas de test  Handover  Informatique dans les nuages  Ingénierie des systèmes  Internet des objets  Isabelle/HOL  Localisation  Localisation par satellites, Systèmes de  Machine Learning  Menace internet  Meta Modèles  Mobilité spatiale  Modèles formels  Monitorage continu  Monitorage de réseaux distribués  Monitorage fonctionnel  Méthodes formelles  Méthodes formelles  Métriques logicielles  Plongements  Protocole MPL  Protocole extensible de présence et de messagerie  Protocoles de réseaux d'ordinateurs  Prédiction de la mobilité  Prévision, Théorie de la  Qualité d'expérience  Qualité de Service  Qualité de service  Qualité expérience  Radiotéléphonie  Réseaux Mobile  Réseaux ad hoc  Résolution de problème -- Informatique  SDL  SIP  Securité  Session Initiation Protocol  Smm  Systèmes de Transition Symbolique Temporisé avec des Entrées et Sorties  Systèmes de télécommunications  Systèmes distribués  Systèmes en ligne  Systèmes en-ligne  Systèmes informatiques -- Mesures de sûreté  Sémantique Formelles  Technologie 5G  Test  Test en-ligne  Test à base de modèles  Tests de conformité  Tests de performance  Tests distribués  Tests en ligne  Tests fonctionnels  Tests passifs  Théorèmes -- Démonstration automatique  Traitement réparti  UML  Vidéo  

Stéphane Maag a rédigé la thèse suivante :


Stéphane Maag a dirigé les 5 thèses suivantes :


Stéphane Maag a été président de jury des 3 thèses suivantes :


Stéphane Maag a été rapporteur de la thèse suivante :


Stéphane Maag a été membre de jury de la thèse suivante :

Informatique et communication
Soutenue le 06-11-2020
Thèse soutenue