Madeleine El-Zaher

According to our database, Madeleine El-Zaher authored at least 11 papers between 2011 and 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

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

2024

Improving Semantic Mapping with Prior Object Dimensions Extracted from 3D Models.

Abdessalem Achour, Hiba Al Assaad, Yohan Dupuis, Madeleine El-Zaher

Proceedings of the Robotics, Computer Vision and Intelligent Systems, 2024

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., November, 2023

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

Proceedings of the IEEE International Conference on Cyber Security and Resilience, 2023

2016

An agile development method for platoon system based on verification and validation.

Baudouin Dafflon, Madeleine El-Zaher

Proceedings of the 10th International Conference on Software, 2016

2015

A cyber-physical model for platoon system.

Madeleine El-Zaher, Baudouin Dafflon, Franck Gechter

Proceedings of the 9th International Conference on Software, 2015

2013

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

PhD thesis, 2013

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

Vehicle Platoon Control with Multi-configuration Ability.

Madeleine El-Zaher, Baudouin Dafflon, Franck Gechter, Jean-Michel Contet

Proceedings of the International Conference on Computational Science, 2012

Echelon Platoon Organisation: A Distributed Approach Based on 2-Spring Virtual Links.

Madeleine El-Zaher, Jean-Michel Contet, Franck Gechter, Abderrafiaa Koukam

Proceedings of the Artificial Intelligence: Methodology, Systems, and Applications, 2012

2011

A New Linear Platoon Model Based on Reactive Multi-agent Systems.

Madeleine El-Zaher, Franck Gechter, Pablo Gruer, Mohammad Hajjar

Proceedings of the IEEE 23rd International Conference on Tools with Artificial Intelligence, 2011