Madeleine El Zaher

12 papers B 1Misc 3Journal 4Unranked 3
YearRankTypeTitle / Venue / Authors
2025 J jnl
Collaborative semantic mapping for updating the digital twin in controlled indoor environment.
Intell. Serv. Robotics
Abdessalem Achour, Madeleine El Zaher, Hiba Al Assaad, Yohan Dupuis
2025 J jnl
Ensuring the federation correctness: Formal verification of Federated Learning in industrial cyber-physical systems.
Future Gener. Comput. Syst.
Souhila Badra Guendouzi, Samir Ouchani, Hiba Al Assaad, Madeleine El Zaher
2024 — conf
Improving Semantic Mapping with Prior Object Dimensions Extracted from 3D Models.
ROBOVIS
Abdessalem Achour, Hiba Al Assaad, Yohan Dupuis, Madeleine El Zaher
2023 J jnl
A systematic review of federated learning: Challenges, aggregation methods, and development tools.
J. Netw. Comput. Appl.
Souhila Badra Guendouzi, Samir Ouchani, Hiba El Assaad, Madeleine El Zaher
2023 Misc conf
FedGA-Meta: Federated Learning Framework using Genetic Algorithms and Meta-Learning for Aggregation in Industrial Cyber- Physical Systems.
CSR
Souhila Badra Guendouzi, Samir Ouchani, Hiba El Assaad, Madeleine El Zaher
2016 — conf
An agile development method for platoon system based on verification and validation.
SKIMA
Baudouin Dafflon, Madeleine El Zaher
2015 — conf
A cyber-physical model for platoon system.
SKIMA
Madeleine El Zaher, Baudouin Dafflon, Franck Gechter
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
2012 J jnl
Compositional verification for reactive multi-agent systems applied to platoon non collision verification.
Stud. Inform. Univ.
Madeleine El Zaher, Jean-Michel Contet, Pablo Gruer, Franck Gechter, Abderrafiaa Koukam
2012 Misc conf
Echelon Platoon Organisation: A Distributed Approach Based on 2-Spring Virtual Links.
AIMSA
Madeleine El Zaher, Jean-Michel Contet, Franck Gechter, Abderrafiaa Koukam
2012 Misc conf
Vehicle Platoon Control with Multi-configuration Ability.
ICCS
Madeleine El Zaher, Baudouin Dafflon, Franck Gechter, Jean-Michel Contet
2011 B conf
A New Linear Platoon Model Based on Reactive Multi-agent Systems.
ICTAI
Madeleine El Zaher, Franck Gechter, Pablo Gruer, Mohammad Hajjar