Adaptabilité  Adressage calculé  Agents mobiles  Agents mobiles  Agents sociaux  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  Appareil de Golgi  Apprentissage artificiel  Apprentissage collaboratif  Apprentissage distribué  Approche "correct-par-construction"  Architecture  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 parallèles  Carte à puce  Cartes généralisées  Cartes à mémoire  Clusterisation  Conservation d'énergie  Conservation d’énergie  Contraintes temporelles  Contrôle de la topologie  Coq  Coq  Correction-Par-Construction  Cubes de donnéees  Design patterns  Diagnostic  Diagnosticabilité  Diamètre temporel  Distribution  Distribution automatique  Dynamiques  Débogage  Découvrir les service  Dépendance  Dépendances fonctionnelles  Détectabilité  Développement Logiciel  Enforcement à l’exécution  Ensemble dominant connexe  Entretien et réparations  Equité  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  IRM  Imagerie médicale  Imagerie par résonance magnétique  Implémentation  Infrastructure à clé publique  Infrastructures à clés publiques  Intelligence artificielle  Interconnexion de réseaux  Internet  Internet du futur  Intervalles d'incertitude  Jeux  Langage C  Langage d'assemblage AVR  Langage de Conception  Langage de la politique  Langage métier  Langages de programmation  Logiciels -- Développement  Logiciels -- Vérification  Logiciels  Logique mathématique  Maintenance aéronautique  Marche aléatoire  Matérialisation partielle  Mesures de sécurité  Mesures de sûreté  Meta-modèle  Microcontrôleurs  Middleware ZigZag  Modèle  Modèles géométriques  Modéles de calcul  Modélisation  Méthode B évènementielle  Méthodes formelles  Méthodes formelles  Objet à capacité restreinte  Ordonnancement  Ordonnancement de l'activité du nœud  Ordonnanceur probabiliste  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  Protections  Protocole d’interopérabilité  Protocoles de populations  Protocoles de réseaux d'ordinateurs  Prédiction des contacts  Prévision  Prévision de la maintenance  Raffinement  Reconfiguration  Reconfiguration dynamique  Rendez-vous randomisés  Routage  Routage  Routage géographique  Routage multi-chemin  Répartis  Réseau anonyme  Réseau sans-fil  Réseaux ad hoc  Réseaux ad hoc  Réseaux ad hoc de véhicules  Réseaux anonymes  Réseaux autonomes  Réseaux de capteurs  Réseaux de capteurs multimédia  Réseaux de capteurs sans fil  Réseaux dynamiques  Réseaux mobiles  Réseaux tolérant aux délais  Réseaux tolérants aux délais  Réécriture, Systèmes de  Segmentation d’images  Side channel attacks  Signature électronique  Signatures électroniques  Spécification  Structuration  Superfluité  Synchronisation  Systèmes  Systèmes Multi-Agents  Systèmes cognitifs  Systèmes de communication sans fil  Systèmes distribués  Systèmes embarqués  Systèmes enfouis  Systèmes informatiques -- Mesures de sûreté  Systèmes informatiques -- Mise en oeuvre  Systèmes informatiques -- Pannes  Systèmes à base d’agents mobiles  Systèmes à paramètres répartis  Systèmes à événements discrets  Systèmes échantillonnés  Systèmes, Analyse de  Sécurisation des communications véhiculaires  Sécurité  Séquences fréquentes  Sûreté de Fonctionnement  Technique du raffinement  Techniques formelles  Technologies de l'information et de la communication  Thèses et écrits académiques  Théorie des calculs locaux  Tolérance aux fautes  Tolérance aux pannes  Traitement réparti  

Mohamed Mosbah a dirigé les 17 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 7 thèses suivantes :


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


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