Fateh Boudardara

According to our database, Fateh Boudardara authored at least 5 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of six.
• Erdős number of five.

2024

A Review of Abstraction Methods Toward Verifying Neural Networks.

Fateh Boudardara, Abderraouf Boussif, Pierre-Jean Meyer, Mohamed Ghazel

ACM Trans. Embed. Comput. Syst., July, 2024

2023

A Sound Abstraction Method Towards Efficient Neural Networks Verification.

Fateh Boudardara, Abderraouf Boussif, Mohamed Ghazel

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2023

2022

Interval Weight-Based Abstraction for Neural Network Verification.

Fateh Boudardara, Abderraouf Boussif, Pierre-Jean Meyer, Mohamed Ghazel

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2022 Workshops, 2022

2020

Solving artificial ant problem using two artificial bee colony programming versions.

Fateh Boudardara, Beyza Görkemli

Appl. Intell., 2020

2019

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