Projets

Projets

Projet sur: Formal modeling and quantitative analysis of security using attack- defense trees

Université Mohammed Ier

Période: du 20-07-2021 à 20-07-2024

A. Belhadj (Responsable)

Projet sur: Graceful Degradation and Speculation for Robots in Highly Dynamic Environments

Ecole Supérieure d'Electronique de l'Ouest

Période: du 23-06-2021 à 23-06-2024

A. Belhadj (Responsable)

Projet sur: Finding inductive invariants using satisfiability modulo theories and convex optimization

Institut National Polytechnique de Toulouse

Période: du 03-06-2020 à 03-06-2024

A. Belhadj (Responsable)

Projet sur: Supporting multiple data stores based applications in cloud environments

Ecole Nationale d'Architecture

Période: du 24-02-2020 à 24-02-2025

A. Belhadj (Responsable)