Yassmine Gara Hellal

According to our database, Yassmine Gara Hellal authored at least 5 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

On Guaranteeing Trustworthiness and Better Outcomes in Internet of Things Environments.

Yassmine Gara Hellal, Lazhar Hamel, Mohamed Graiet

Concurr. Comput. Pract. Exp., 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