Ryma Boumazouza

According to our database, Ryma Boumazouza authored at least 11 papers between 2020 and 2025.

Collaborative distances:

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

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