Publications
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.