Yassmine Gara Hellal
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2024–2024
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | CCGRID | A Formal Modeling and Verification Approach for IoT-Cloud Resource-Oriented Applications. | Yassmine Gara Hellal, Lazhar Hamel, Mohamed Graiet, Daniel Balouek |
| 2024 | ICSOC | An Event-B Based Approach for Horizontally Scalable IoT Applications. | Yassmine Gara Hellal, Lazhar Hamel, Mohamed Graiet |
| 2024 | VECoS | Towards a Model for Energy-Efficient and Flexible IoT Systems. | Yassmine Gara Hellal, Lazhar Hamel, Mohamed Graiet |