A New Linear Platoon Model Based on Reactive Multi-agent Systems. - Madeleine El-Zaher; Franck Gechter; Pablo Gruer; Mohammad Hajjar (ICTAI, 2011)

Echelon Platoon Organisation: A Distributed Approach Based on 2-Spring Virtual Links. - Madeleine El-Zaher; Jean-Michel Contet; Franck Gechter; Abderrafiaa Koukam (AIMSA, 2012)

Vehicle Platoon Control with Multi-configuration Ability. - Madeleine El-Zaher; Baudouin Dafflon; Franck Gechter; Jean-Michel Contet (ICCS, 2012)

Compositional verification for reactive multi-agent systems applied to platoon non collision verification. - Madeleine El-Zaher; Jean-Michel Contet; Pablo Gruer; Franck Gechter; Abderrafiaa Koukam (Stud. Inform. Univ., 2012)

Approche réactive pour la conduite en convoi des véhicules autonomes : Modélisation et vérification. (Reactive approach for autonomous vehicle platoon systems : modelling and verification). - Madeleine El-Zaher (2013)

A cyber-physical model for platoon system. - Madeleine El-Zaher; Baudouin Dafflon; Franck Gechter (SKIMA, 2015)

An agile development method for platoon system based on verification and validation. - Baudouin Dafflon; Madeleine El-Zaher (SKIMA, 2016)

FedGA-Meta: Federated Learning Framework using Genetic Algorithms and Meta-Learning for Aggregation in Industrial Cyber- Physical Systems. - Souhila Badra Guendouzi; Samir Ouchani; Hiba El Assaad; Madeleine El-Zaher (CSR, 2023)

A systematic review of federated learning: Challenges, aggregation methods, and development tools. - Souhila Badra Guendouzi; Samir Ouchani; Hiba El Assaad; Madeleine El-Zaher (J. Netw. Comput. Appl., 2023)

Improving Semantic Mapping with Prior Object Dimensions Extracted from 3D Models. - Abdessalem Achour; Hiba Al Assaad; Yohan Dupuis; Madeleine El-Zaher (ROBOVIS, 2024)

Ensuring the federation correctness: Formal verification of Federated Learning in industrial cyber-physical systems. - Souhila Badra Guendouzi; Samir Ouchani; Hiba Al Assaad; Madeleine El-Zaher (Future Gener. Comput. Syst., 2025)