Yassmine Gara Hellal

According to our database, Yassmine Gara Hellal authored at least 4 papers between 2024 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

A formal approach for scalable applications in dynamic and constrained IoT-Cloud systems.

Yassmine Gara Hellal, Lazhar Hamel, Mohamed Graiet

Computing, April, 2025

2024

Towards a Model for Energy-Efficient and Flexible IoT Systems.

Yassmine Gara Hellal, Lazhar Hamel, Mohamed Graiet

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2024

An Event-B Based Approach for Horizontally Scalable IoT Applications.

Yassmine Gara Hellal, Lazhar Hamel, Mohamed Graiet

Proceedings of the Service-Oriented Computing - 22nd International Conference, 2024

A Formal Modeling and Verification Approach for IoT-Cloud Resource-Oriented Applications.

Yassmine Gara Hellal, Lazhar Hamel, Mohamed Graiet, Daniel Balouek

Proceedings of the 24th IEEE International Symposium on Cluster, 2024