Equipe Modélisation et Vérification des Systèmes Parallèles (MOVES)

Domaines d’intérêt :

Vérification des systèmes, Évaluation des performances, Tolérance aux fautes, Quantum Computing, Cloud Computing.

Axes de Recherche

  1. Vérification des systèmes et évaluation des performances
  2. Tolérance aux fautes et résilience
  3. MCDM
  4. Sécurité
  5. Architectures IoT
  6. Routage intelligent
  7. Architectures logicielles reconfigurables
  8. Web Services
  9. Quantum Computing

Projets

IntituléResponsableDates
PRFURoutage optimisé pour la découverte de services pour une architecture IoT sécurisée et tolérante aux fautesAbdelli2022-2025
PRFUIntégration du Cloud dans l’Internet des ObjetsAbdelli2018-2021
PRFUAnalyse formelle de la sureté de fonctionnement des systèmes cyber-physiques distribués et auto-adaptatifsHammal2022-2025
PRFUModélisation, Vérification et Développement des Systèmes logiciels Complexes Auto-adaptatifsHammal2018-2021

Statistiques

20182019202020212022Total
Publications1143312
Communication4532923
Soutenance Doctorat000112
PFE Master7777735