Publications
2025
Conference papers
VeriFogOps: Automated Deployment Tool Selection and CI/CD Pipeline Generation for Verifying Fog Systems at Deployment Time
Hiba Awad, Thomas Ledoux, Hugo Bruneliere, Jonathan Rivalan. The 40th ACM/SIGAPP Symposium on Applied Computing (SAC’25), Mar. 2025, Catania, Italy
2024
Journal articles
OMAHA: Opportunistic Message Aggregation for pHase-based Algorithms
Célia Mahamdi, Jonathan Lejeune, Julien Sopena, Pierre Sens, Mesaac Makpangou. Formal Aspects of Computing, Volume 36, Issue 4, December 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. ACM SIGAPP Applied Computing Review, Volume 24, Issue 3, October 2024
Conference papers
VeriFog: A Generic Model-based Approach for Verifying Fog Systems at Design Time
Hiba Awad, Abdelghani Alidra, Hugo Bruneliere, Thomas Ledoux, Etienne Leclerq, Jonathan Rivalan. The 39th ACM/SIGAPP Symposium on Applied Computing (SAC ’24), Apr. 2024, Avila, Spain.
Fast Choreography of Cross-DevOps Reconfiguration with Ballet: A Multi-Site OpenStack Case Study
Jolan Philippe, Antoine Omond, Hélène Coullon, Charles Prud’Homme, Issam Raïs. SANER 2024 - IEEE International Conference on Software Analysis, Evolution and Reengineering, March 2024, Rovaniemi, Finland.
2023
Journal articles
A feature-based survey of Fog modeling languages
Abdelghani Alidra, Hugo Bruneliere, Thomas Ledoux. Future Generation Computer Systems, 2023, 138, pp.104-119.
Conference papers
OMAHA: Opportunistic Message Aggregation for pHase-based Algorithms
Célia Mahamdi, Jonathan Lejeune, Julien Sopena, Pierre Sens, Mesaac Makpangou. IEEE 28th Pacific Rim International Symposium on Dependable Computing (PRDC), pp.150-160, Singapore, 24-27 October 2023.
SeMaFoR - Self-Management of Fog Resources with Collaborative Decentralized Controllers
Abdelghani Alidra, Hugo Bruneliere, Hélène Coullon, Thomas Ledoux, Charles Prud’Homme, Jonathan Lejeune, Pierre Sens, Julien Sopena, Jonathan Rivalan. SEAMS 2023 - IEEE/ACM 18th Symposium on Software Engineering for Adaptive and Self-Managing Systems, May 2023, Melbourne, Australia. pp.25-31.
2022
Conference papers
Alternating MPR: a balanced broadcast algorithm for MANETs
Aymeric Agon-Rambosson, Jonathan Lejeune, Julien Sopena, Pierre Sens. IEEE 21st International Symposium on Network Computing and Applications (NCA), Dec 2022, Boston, MA, United States. pp.19-26.
MPR alternant : un algorithme de diffusion MANET équilibré.
Aymeric Agon-Rambosson, Jonathan Lejeune, Julien Sopena, Pierre Sens. COMPAS 2022 - Conférence francophone d’informatique en Parallélisme, Architecture et Système, Jul 2022, Amiens, France.