VeriFog: A Generic Model-based Approach for Verifying Fog Systems at Design Time. - Hiba Awad; Abdelghani Alidra; Hugo Bruneliere; Thomas Ledoux; Étienne Leclercq; Jonathan Rivalan (SAC, 2024)

VeriFogOps: Automated Deployment Tool Selection and CI/CD Pipeline Generation for Verifying Fog Systems at Deployment Time. - Hiba Awad; Thomas Ledoux; Hugo Bruneliere; Jonathan Rivalan (SAC, 2025)

Quality of service assurance before deployment of fog systems with model-based engineering and DevOps. (Assurance de la qualité de service avant le déploiement des systèmes fog avec l'ingénierie basée sur des modèles et DevOps). - Hiba Awad (2025)