4g/5g  Acquisition automatique des données  Adaptabilité  Adressage calculé  Agents mobiles  Agents mobiles  Agents sociaux  Airs  Algorithme distribué  Algorithme probabiliste  Algorithmes  Algorithmes Distribués  Algorithmes distribués  Algorithmes parallèles  Algorithmique distribuée  AltaRica  AltaRica  Analyse  Analyse de complexité  Analyse fonctionnelle  Analyse informatique  Anti-Corrélation  Appareil de Golgi  Apprentissage artificiel  Apprentissage collaboratif  Apprentissage distribué  Approche "correct-par-construction"  Architecture  Architecture cloud/Edge  Asic  Assembleurs  Assistant de preuve  Assistants de preuve  Assistants de preuves  Attaques  Attaques par canaux cachés  Authentification de la source dans les RCSFs  Auto-Stabilisation  Auto-adaptation  Automates  Automates temporisés  Avionique  Aéronefs  Calculs Locaux  Calculs locaux  Calculs parallèles  Carte à puce  Cartes généralisées  Cartes à mémoire  Circulation  Clusterisation  Collecte de données  Communication asynchrone  Composition  Composition de services  Conservation d'énergie  Conservation d’énergie  Consommation d'énergie des drones  Contraintes temporelles  Contrôle de la topologie  Contrôle d’accès  Coq  Coq  Correction-Par-Construction  Cubes de donnéees  Cyberdéfense  Cybersécurité  Deep Learning  Design patterns  Detection d'anomalies  Diagnostic  Diagnosticabilité  Diamètre temporel  Distribution  Distribution automatique  Drones  Dynamiques  Débogage  Décision multicritère  Découvrir les service  Dépendance  Dépendances fonctionnelles  Détectabilité  Détection d'intrusions  Détection de Terminaison,  Détection des anomalies  Développement Logiciel  Enforcement à l’exécution  Ensemble dominant connexe  Entretien et réparations  Equité  Event-B  Exploration de données  Extraction  Extraction de dépendances  Fenêtre glissante  Fiabilité  Fonctions de hachage  GPU  Gestion des clés  Graphe  Graphes dynamiques  Graphes topologiques, Théorie des  Graphes, Théorie des  Grilles informatiques  Groupe tolérant aux délais  Génération de Code  Hybridation de technologies réseaux  IRM  Ict  Imagerie médicale  Imagerie par résonance magnétique  Implémentation  Incremental Learning  Infrastructure à clé publique  Infrastructures à clés publiques  Intelligence artificielle  Interconnexion de réseaux  Internet  Internet d'objet  Internet des Objets  Internet des Vehicles  Internet des objets  Internet du futur  Intervalles d'incertitude  IoT  Jeux  Langage C  Langage d'assemblage AVR  Langage de Conception  Langage de Description d'Attaque  Langage de la politique  Langage métier  Langages de programmation  Langages métiers  Liaisons LTE  Logiciels -- Compatibilité  Logiciels -- Développement  Logiciels -- Vérification  Logiciels  Logique argumentative  Logique mathématique  Machine Learning  Maintenance aéronautique  Marche aléatoire  Matérialisation partielle  Mesures de sécurité  Mesures de sûreté  Meta-modèle  Microcontrôleurs  Microservices  Middleware ZigZag  Mode de transfert asynchrone  Modèle  Modèles géométriques  Modèles mathématiques  Modéles de calcul  Modélisation  Multi-Criteria Decision Making  Méthode B évènementielle  Méthodes Formelles  Méthodes formelles  Méthodes formelles  Network Slicing  Objet à capacité restreinte  Optimisation  Orchestration  Ordonnancement  Ordonnancement de l'activité du nœud  Ordonnanceur probabiliste  Pare-feu  Placement et Chaînage  Placement et déplacement des drones  Plan de connaissance  Politique de sécurité  Preuve formelle  Probabilités  Profil UML  Programmation logique  Programmation logique inductive  Propriété stable  Propriétés non-fonctionnelles  Protection  Prévision  Qualité de Service  Raffinement  Routage  Réseaux ad hoc  Réseaux de capteurs  Réseaux de capteurs sans fil  Résilience des Réseaux  Systèmes de détection d'intrusion  Systèmes distribués  Systèmes embarqués  Systèmes informatiques -- Mesures de sûreté  Systèmes à paramètres répartis  Sécurité  Tolérance aux pannes  Traitement réparti  Virtualisation de Fonction Réseau  Énumération  

Mohamed Mosbah dirige actuellement les 5 thèses suivantes :

Informatique
En préparation depuis le 26-02-2020
Thèse en préparation

Informatique
En préparation depuis le 21-01-2020
Thèse en préparation

Déploiement des réseaux de capteurs dans le contexte des villes intelligentes

par Chahrazed Ksouri sous la direction de Mohamed Mosbah et de Abdelfettah Belghith . - Bordeaux

Informatique
En préparation depuis le 03-04-2017
Thèse en préparation


Mohamed Mosbah a dirigé les 20 thèses suivantes :

Informatique
Soutenue le 08-01-2014
Thèse soutenue
Informatique
Soutenue le 04-07-2012
Thèse soutenue

Informatique
Soutenue le 15-12-2008
Thèse soutenue
Informatique et mathématiques
Soutenue en 2007
Thèse soutenue

Informatique et mathématiques
Soutenue en 2006
Thèse soutenue

Informatique et mathématiques
Soutenue en 2004
Thèse soutenue


Mohamed Mosbah a été président de jury des 10 thèses suivantes :


Mohamed Mosbah a été rapporteur des 6 thèses suivantes :

Informatique et Télécommunications
Soutenue le 05-12-2019
Thèse soutenue
Sûreté de Logiciel et Calcul à Haute Performance
Soutenue le 22-11-2017
Thèse soutenue

Mohamed Mosbah a été membre de jury des 4 thèses suivantes :