A Formal Modeling and Verification Approach for IoT-Cloud Resource-Oriented Applications. - Yassmine Gara Hellal; Lazhar Hamel; Mohamed Graiet; Daniel Balouek (CCGrid, 2024)

An Event-B Based Approach for Horizontally Scalable IoT Applications. - Yassmine Gara Hellal; Lazhar Hamel; Mohamed Graiet (ICSOC (1), 2024)

Towards a Model for Energy-Efficient and Flexible IoT Systems. - Yassmine Gara Hellal; Lazhar Hamel; Mohamed Graiet (VECoS, 2024)

A formal approach for scalable applications in dynamic and constrained IoT-Cloud systems. - Yassmine Gara Hellal; Lazhar Hamel; Mohamed Graiet (Computing, 2025)