One Paper Has Been Accepted at Journal ACM SIGAPP Applied Computing Review, 2024 -
VeriFog: A Generic Model-based Approach for Verifying Fog Systems at Design Time and Generating Deployment Configurations
- Hiba Awad, Abdelghani Alidra, Hugo Bruneliere, Thomas Ledoux, Jonathan Rivalan *