A Symbolic Approach for Counterfactual Explanations. - Ryma Boumazouza; Fahima Cheikh Alili; Bertrand Mazure; Karim Tabia (SUM, 2020)

ASTERYX: A model-Agnostic SaT-basEd appRoach for sYmbolic and score-based eXplanations. - Ryma Boumazouza; Fahima Cheikh Alili; Bertrand Mazure; Karim Tabia (CIKM, 2021)

A Model-Agnostic SAT-based Approach for Symbolic Explanation Enumeration. - Ryma Boumazouza; Fahima Cheikh Alili; Bertrand Mazure; Karim Tabia (CoRR, 2022)

Predictive models & reasoning with explanations. (Modèles prédictifs & raisonnement avec les explications). - Ryma Boumazouza (2022)

Symbolic Explanations for Multi-Label Classification. - Ryma Boumazouza; Fahima Cheikh Alili; Bertrand Mazure; Karim Tabia (ICAART (3), 2023)

Surrogate Neural Networks Local Stability for Aircraft Predictive Maintenance. - Mélanie Ducoffe; Guillaume Povéda; Audrey Galametz; Ryma Boumazouza; Marion-Cécile Martin; Julien Baris; Derk Daverschot; Eugene O'Higgins (FMICS, 2024)

Robustness Assessment of a Runway Object Classifier for Safe Aircraft Taxiing. - Yizhak Yisrael Elboher; Raya Elsaleh; Omri Isac; Mélanie Ducoffe; Audrey Galametz; Guillaume Povéda; Ryma Boumazouza; Noémie Cohen; Guy Katz (CoRR, 2024)

Verification for Object Detection - IBP IoU. - Noémie Cohen; Mélanie Ducoffe; Ryma Boumazouza; Christophe Gabreau; Claire Pagetti; Xavier Pucel; Audrey Galametz (CoRR, 2024)

Trustworthy and Explainable Decision-Making for Workforce allocation. - Guillaume Povéda; Ryma Boumazouza; Andreas Strahl; Mark Hall 004; Santiago Quintana-Amate; Nahum Álvarez; Ignace Bleukx; Dimos Tsouros; Hélène Verhaeghe; Tias Guns (CoRR, 2024)

Robust Vision-Based Runway Detection through Conformal Prediction and Conformal mAP. - Alya Zouzou; Léo Andéol; Mélanie Ducoffe; Ryma Boumazouza (COPA, 2025)

Modeling and Explaining an Industrial Workforce Allocation and Scheduling Problem. - Ignace Bleukx; Ryma Boumazouza; Tias Guns; Nadine Laage; Guillaume Povéda (CP, 2025)