Fateh Boudardara

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 5

Top Topics

Artificial Bee Colony

Training Algorithm

Global Exponential Stability

Top Venues

ACM Trans. Embed. Comput. Syst.

Int. J. Reason. based Intell. Syst.

SAFECOMP Workshops

Publications

Fateh Boudardara, Abderraouf Boussif, Pierre-Jean Meyer, Mohamed Ghazel
A Review of Abstraction Methods Toward Verifying Neural Networks. ACM Trans. Embed. Comput. Syst. 23 (4) (2024)
Fateh Boudardara, Abderraouf Boussif, Mohamed Ghazel
A Sound Abstraction Method Towards Efficient Neural Networks Verification. VECoS (2023)
Fateh Boudardara, Abderraouf Boussif, Pierre-Jean Meyer, Mohamed Ghazel
Interval Weight-Based Abstraction for Neural Network Verification. SAFECOMP Workshops (2022)
Fateh Boudardara, Beyza Görkemli
Solving artificial ant problem using two artificial bee colony programming versions. Appl. Intell. 50 (11) (2020)
Taha Zerrouki, Mohammed M. Abu Shquier, Amar Balla, Nabila Bousbia, Imededdine Sakraoui, Fateh Boudardara
Adapting eSpeak to Arabic language: converting Arabic text to speech language using eSpeak. Int. J. Reason. based Intell. Syst. 11 (1) (2019)