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  Applications Web  Apprentissage artificiel  Apprentissage collaboratif  Apprentissage distribué  Approche "correct-par-construction"  Architecture  Architecture cloud/Edge  Architecture des réseaux d'ordinateurs  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  Cloud-Natif  Clusterisation  Collecte de données  Communication asynchrone  Communications ITS  Commutation de paquets  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é  Cycle d’activation  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  Efficacité énergétique  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é  Fiabilité et résilience.  Fonctions de hachage  GPU  Gestion des clés  Grammaires de graphes  Graphe  Graphes dynamiques  Graphes orientés  Graphes topologiques, Théorie des  Graphes, Théorie des  Grilles informatiques  Groupe tolérant aux délais  Génération de Code  Homomorphismes  Hybridation de technologies réseaux  Hybridation des réseaux  IRM  Imagerie médicale  Imagerie par résonance magnétique  Implémentation  Incremental Learning  Industrie  Informatique dans les nuages  Infrastructure Intermittente  Infrastructure à clé publique  Infrastructures à clés publiques  Intelligence artificielle  Interconnexion de réseaux  Internet  Internet d'objet  Internet des Objets  Internet des Vehicules  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 floue  Logique mathématique  Machine Learning  Maintenance aéronautique  Management Cloud  Marche aléatoire  Matérialisation partielle  Mesure  Mesures de sécurité  Mesures de sûreté  Meta-modèle  Microcontrôleurs  Microservices  Middleware ZigZag  Mise sous boîtier  Mode de transfert asynchrone  Modèle  Modèles géométriques  Modèles mathématiques  Modéles de calcul  Modélisation  Méthodes formelles  Méthodes formelles  Orchestration  Placement et Chaînage  Probabilités  Prévision  Qualité de Service  Raffinement  Routage  Routage  Réseaux ad hoc  Réseaux ad hoc de véhicules  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 a rédigé la thèse suivante :


Mohamed Mosbah dirige actuellement les 6 thèses suivantes :

Informatique
En préparation depuis le 06-03-2022
Thèse en préparation

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


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


Mohamed Mosbah a été rapporteur des 8 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 :