Ryma Boumazouza

16 papers A 2C 1Journal 9Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
FAME: Formal Abstract Minimal Explanation for Neural Networks.
CoRR
Ryma Boumazouza, Raya Elsaleh, Melanie Ducoffe, Shahaf Bassan, Guy Katz
2025 A conf
Modeling and Explaining an Industrial Workforce Allocation and Scheduling Problem.
CP
Ignace Bleukx, Ryma Boumazouza, Tias Guns, Nadine Laage, Guillaume Povéda
2025 — conf
Robust Vision-Based Runway Detection through Conformal Prediction and Conformal mAP.
COPA
Alya Zouzou, Léo Andéol, Mélanie Ducoffe, Ryma Boumazouza
2025 J jnl
Robust Vision-Based Runway Detection through Conformal Prediction and Conformal mAP.
CoRR
Alya Zouzou, Léo Andéol, Mélanie Ducoffe, Ryma Boumazouza
2024 J jnl
Robustness Assessment of a Runway Object Classifier for Safe Aircraft Taxiing.
CoRR
Yizhak Yisrael Elboher, Raya Elsaleh, Omri Isac, Mélanie Ducoffe, Audrey Galametz, Guillaume Povéda, Ryma Boumazouza, Noémie Cohen, Guy Katz
2024 C conf
Surrogate Neural Networks Local Stability for Aircraft Predictive Maintenance.
FMICS
Mélanie Ducoffe, Guillaume Povéda, Audrey Galametz, Ryma Boumazouza, Marion-Cécile Martin, Julien Baris, Derk Daverschot, Eugene O'Higgins
2024 J jnl
Surrogate Neural Networks Local Stability for Aircraft Predictive Maintenance.
CoRR
Mélanie Ducoffe, Guillaume Povéda, Audrey Galametz, Ryma Boumazouza, Marion-Cécile Martin, Julien Baris, Derk Daverschot, Eugene O'Higgins
2024 J jnl
Trustworthy and Explainable Decision-Making for Workforce allocation.
CoRR
Guillaume Povéda, Ryma Boumazouza, Andreas Strahl, Mark Hall, Santiago Quintana-Amate, Nahum Álvarez, Ignace Bleukx, Dimos Tsouros, Hélène Verhaeghe, Tias Guns
2024 J jnl
Verification for Object Detection - IBP IoU.
CoRR
Noémie Cohen, Mélanie Ducoffe, Ryma Boumazouza, Christophe Gabreau, Claire Pagetti, Xavier Pucel, Audrey Galametz
2023 — conf
Symbolic Explanations for Multi-Label Classification.
ICAART (3)
Ryma Boumazouza, Fahima Cheikh Alili, Bertrand Mazure, Karim Tabia
2022 J jnl
A Model-Agnostic SAT-based Approach for Symbolic Explanation Enumeration.
CoRR
Ryma Boumazouza, Fahima Cheikh Alili, Bertrand Mazure, Karim Tabia
2022 J jnl
A Symbolic Approach for Counterfactual Explanations.
CoRR
Ryma Boumazouza, Fahima Cheikh Alili, Bertrand Mazure, Karim Tabia
2022 J jnl
ASTERYX : A model-Agnostic SaT-basEd appRoach for sYmbolic and score-based eXplanations.
CoRR
Ryma Boumazouza, Fahima Cheikh Alili, Bertrand Mazure, Karim Tabia
2022 — —
Predictive models & reasoning with explanations. (Modèles prédictifs & raisonnement avec les explications).
Ryma Boumazouza
2021 A conf
ASTERYX: A model-Agnostic SaT-basEd appRoach for sYmbolic and score-based eXplanations.
CIKM
Ryma Boumazouza, Fahima Cheikh Alili, Bertrand Mazure, Karim Tabia
2020 — conf
A Symbolic Approach for Counterfactual Explanations.
SUM
Ryma Boumazouza, Fahima Cheikh Alili, Bertrand Mazure, Karim Tabia