Abdelghani Alidra
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2020–2024
Best venue rank
Multiconference
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | SAC | 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 |
| 2023 | SEAMS | SeMaFoR - Self-Management of Fog Resources with Collaborative Decentralized Controllers. | Abdelghani Alidra, Hugo Bruneliere, Hlne Coullon, Thomas Ledoux, Charles Prud'homme, Jonathan Lejeune, Pierre Sens, Julien Sopena, Jonathan Rivalan |
| 2020 | MODELS | A language agnostic approach to modeling requirements: specification and verification. | Abdelghani Alidra, Antoine Beugnard, Hubert Godfroy, Pierre Kimmel, Gurvan Le Guernic |