Ryma Boumazouza

According to our database, Ryma Boumazouza authored at least 12 papers between 2020 and 2026.

Collaborative distances:

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

2026

FAME: Formal Abstract Minimal Explanation for Neural Networks.

Ryma Boumazouza, Raya Elsaleh, Melanie Ducoffe, Shahaf Bassan, Guy Katz

CoRR, March, 2026

2025

Modeling and Explaining an Industrial Workforce Allocation and Scheduling Problem.

Ignace Bleukx, Ryma Boumazouza, Tias Guns, Nadine Laage, Guillaume Povéda

Proceedings of the 31st International Conference on Principles and Practice of Constraint Programming, 2025

Robust Vision-Based Runway Detection through Conformal Prediction and Conformal mAP.

Alya Zouzou, Léo Andéol, Mélanie Ducoffe, Ryma Boumazouza

Proceedings of the Fourteenth Symposium on Conformal and Probabilistic Prediction with Applications, 2025

2024

Trustworthy and Explainable Decision-Making for Workforce allocation.

Guillaume Povéda, Ryma Boumazouza, Andreas Strahl, Mark Hall, Santiago Quintana-Amate, Nahum Álvarez, Ignace Bleukx, Dimos Tsouros, Hélène Verhaeghe, Tias Guns

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

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

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

Proceedings of the Formal Methods for Industrial Critical Systems, 2024

2023

Symbolic Explanations for Multi-Label Classification.

Ryma Boumazouza, Fahima Cheikh Alili, Bertrand Mazure, Karim Tabia

Proceedings of the 15th International Conference on Agents and Artificial Intelligence, 2023

2022

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

Ryma Boumazouza

PhD thesis, 2022

A Model-Agnostic SAT-based Approach for Symbolic Explanation Enumeration.

Ryma Boumazouza, Fahima Cheikh Alili, Bertrand Mazure, Karim Tabia

CoRR, 2022

2021

ASTERYX: A model-Agnostic SaT-basEd appRoach for sYmbolic and score-based eXplanations.

Ryma Boumazouza, Fahima Cheikh Alili, Bertrand Mazure, Karim Tabia

Proceedings of the CIKM '21: The 30th ACM International Conference on Information and Knowledge Management, Virtual Event, Queensland, Australia, November 1, 2021

2020

A Symbolic Approach for Counterfactual Explanations.

Ryma Boumazouza, Fahima Cheikh Alili, Bertrand Mazure, Karim Tabia

Proceedings of the Scalable Uncertainty Management - 14th International Conference, 2020