Projets

Projets

Projet sur: Apprentissage automatique avec verification formelle

Institut National Supérieur de Formation Agro-Alimentaire

Période: du 22-04-2021 à 22-04-2026

H. Bachir (Responsable)

Projet sur: Information Flow Security in Component-Based Models : From verification to Implementation

Institut Supérieur d'Agriculture Lille

Période: du 01-02-2021 à 01-02-2025

H. Bachir (Responsable)

Projet sur: A Reproducible Research Methodology for Designing and Conducting Faithful Simulations of Dynamic HPC Applications

Université de Montpellier I

Période: du 08-05-2019 à 08-05-2023

H. Bachir (Responsable)