Adapting eSpeak to Arabic language: converting Arabic text to speech language using eSpeak. - Taha Zerrouki; Mohammed M. Abu Shquier; Amar Balla; Nabila Bousbia; Imededdine Sakraoui; Fateh Boudardara (Int. J. Reason. based Intell. Syst., 2019)

Solving artificial ant problem using two artificial bee colony programming versions. - Fateh Boudardara; Beyza Görkemli (Appl. Intell., 2020)

Interval Weight-Based Abstraction for Neural Network Verification. - Fateh Boudardara; Abderraouf Boussif; Pierre-Jean Meyer; Mohamed Ghazel (SAFECOMP Workshops, 2022)

A Sound Abstraction Method Towards Efficient Neural Networks Verification. - Fateh Boudardara; Abderraouf Boussif; Mohamed Ghazel (VECoS, 2023)

Monitoring of Neural Network Classifiers Using Neuron Activation Paths. - Fateh Boudardara; Abderraouf Boussif; Pierre-Jean Meyer; Mohamed Ghazel (VECoS, 2024)

Contributions to the Verification and Monitoring of Neural Network Systems. (Contributions à la vérification et au monitoring des systèmes de réseaux de neurones). - Fateh Boudardara (2024)

A Review of Abstraction Methods Toward Verifying Neural Networks. - Fateh Boudardara; Abderraouf Boussif; Pierre-Jean Meyer; Mohamed Ghazel (ACM Trans. Embed. Comput. Syst., 2024)

INNAbstract: An INN-Based Abstraction Method for Large-Scale Neural Network Verification. - Fateh Boudardara; Abderraouf Boussif; Pierre-Jean Meyer; Mohamed Ghazel (IEEE Trans. Neural Networks Learn. Syst., 2024)