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  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  Clusterisation  Collecte de données  Communication asynchrone  Composition  Composition de services  Conservation d'énergie  Conservation d’énergie  Contraintes temporelles  Contrôle de la topologie  Coq  Coq  Correction-Par-Construction  Cubes de donnéees  Cyberdéfense  Design patterns  Detection d'anomalies  Diagnostic  Diagnosticabilité  Diamètre temporel  Distribution  Distribution automatique  Dynamiques  Débogage  Décision multicritère  Découvrir les service  Dépendance  Dépendances fonctionnelles  Détectabilité  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  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 Description d'Attaque  Langage de la politique  Langage métier  Langages de programmation  Langages métiers  Logiciels -- Compatibilité  Logiciels -- Développement  Logiciels -- Vérification  Logiciels  Logique argumentative  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  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  Objet à capacité restreinte  Orchestration  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éponses à l'intrusion  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  Services Web  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  Énumération  

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


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

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 :