researcher / Mohamed Mosbah

Mohamed Mosbah

at_id:

orcid_id:

Disciplines:

Computer sciences
Edit Merge See Links

Thesis:

Constructions d'algorithmes pour les graphes structurés par des méthodes algébriques et logiques

Directed Thesis:

Smart Mobility and Routing in Intermittent Infrastructure-based Internet of Vehicles
Détection et prévention des intrusions pour les systèmes IoT en utilisant des techniques d’apprentissage
Service Function Placement and Chaining in Network Function Virtualization Environments
Runtime Enforcement of (Timed) Properties with Uncontrollable Events
Preuves d'algorithmes distribués par composition et raffinement.
Computing models for networks of tiny objects
Securing wireless sensor and vehicular networks
Dépendances fonctionnelles : extraction et exploitation
Une étude formelle de la théorie des calculs locaux à l'aide de l'assistant de preuve Coq
Extraction des utilisations typiques à partir de données hétérogènes en vue d'optimiser la maintenance d'une flotte de véhicules
Preuves d’algorithmes distribués par raffinement
Implantations cryptographiques sécurisées et outils d’aide à la validation des contremesures contre les attaques par canaux cachés
Codage d’algorithmes distribués d’agents mobiles à l’aide de calculs locaux
Approche formelle pour la spécification, la vérification et le déploiement des politiques de sécurité dynamiques dans les systèmes à base d’agents mobiles
Outils d'aide à la recherche de vulnérabilités dans l'implantation d'applications embarquées sur carte à puce
Clusterisation et conservation d’énergie dans les réseaux ad hoc hybrides à grande échelle
Une architecture logicielle et un langage métier pour la sécurité à base de politiques dans les systèmes distribués
Distributed calculations using mobile agents
Distributed fault-tolerance techniques for local computations
Local aspects in distributed algorithms
Des calculs locaux aux algorithmes distribués