Mes travaux de recherche rentrent dans le cadre de la recherche de solutions analytiques pour les problèmes de dimensionnement de systèmes complexes. L’objectif est de développer des méthodes formelles et des outils pour l’analyse de la sûreté de fonctionnement (MBSA ou Model-Based Safety Assessment) de systèmes industriels. Je m’intéresse en particulier à des approches qui permettent, entre autres, une plus grande expressivité, une structuration hiérarchique des modèles en fonction des composants du système, et une modélisation supportée par une sémantique formelle.
Doctorants
- Perla Hajjar, Approches de gestion dynamique de la mobilité pour les systèmes de transports autonomes et leurs usages [2021-…]
- Anas Hossini, Predictive maintenance for smart building [2022-…]
- Anne Fernet, Stratégies de maintenance prévisionnelle pour une meilleure résilience des réseaux de distribution d’eau [2024-…]
Anciens doctorants [2010-2024]
- Yassamina Berkane, Organisation du temps pour la décongestion des mobilités urbaines, approche systémique et interdisciplinaire des bureaux de temps, 20/12/2023
- Tatiana Babicheva, Machine learning for the distributed and dynamic management of a fleet of autonomous taxis and shuttles, 10/03/2021
- Wei Chen, Formal modelling and automatic generation of test cases for the autonomous vehicle, 24/09/2020
- Walid Bennaceur, Formal models for safety analysis of a data center system, 21/11/2019
- Huixing Meng, Modelling patterns for performance analysis of production and safety systems in process industry, 17/11/2017
- Melissa Issad, Reverse engineering of system specifications: application to the railway systems of Siemens, 26/04/2017
- Amira Choutri, Gestion des ressources et de la consommation énergétique dans les réseaux mobiles hétérogènes, 1/07/2016
- Samire Bellahsène, Algorithmes et techniques de prédiction des performances pour un réseau IP à deux noeuds, 09/2012
