BELHADJ Abderrahim
BELHADJ Abderrahim
  1. A. Belhadj
  2. Research
  3. Projects
Projects
Projet sur: Formal modeling and quantitative analysis of security using attack- defense trees
Université Mohammed Ier
Period: from 20-07-2021 to 20-07-2024
Projet sur: Graceful Degradation and Speculation for Robots in Highly Dynamic Environments
Ecole Supérieure d'Electronique de l'Ouest
Period: from 23-06-2021 to 23-06-2024
Projet sur: Finding inductive invariants using satisfiability modulo theories and convex optimization
Institut National Polytechnique de Toulouse
Period: from 03-06-2020 to 03-06-2024
Projet sur: Supporting multiple data stores based applications in cloud environments
Ecole Nationale d'Architecture
Period: from 24-02-2020 to 24-02-2025