Solving artificial ant problem using two artificial bee colony programming versions F Boudardara, B Gorkemli Applied Intelligence 50 (11), 3695-3717, 2020 | 20 | 2020 |
Adapting espeak to Arabic language: Converting Arabic text to speech language using espeak T Zerrouki, MMA Shquier, A Balla, N Bousbia, I Sakraoui, F Boudardara International Journal of Reasoning-based Intelligent Systems 11 (1), 76-89, 2019 | 11 | 2019 |
Application of artificial bee colony programming to two trails of the artificial ant problem F Boudardara, B Gorkemli 2018 2nd International Symposium on Multidisciplinary Studies and Innovative …, 2018 | 7 | 2018 |
Interval weight-based abstraction for neural network verification F Boudardara, A Boussif, PJ Meyer, M Ghazel International Conference on Computer Safety, Reliability, and Security, 330-342, 2022 | 6 | 2022 |
A review of abstraction methods towards verifying neural networks F Boudardara, A Boussif, PJ Meyer, M Ghazel ACM Transactions on Embedded Computing Systems, 2023 | 3 | 2023 |
A sound abstraction method towards efficient neural networks verification F Boudardara, A Boussif, M Ghazel International Conference on Verification and Evaluation of Computer and …, 2023 | 1 | 2023 |
INNAbstract: An INN-Based Abstraction Method for Large-Scale Neural Network Verification F Boudardara, A Boussif, PJ Meyer, M Ghazel IEEE Transactions on Neural Networks and Learning Systems, 2023 | 1 | 2023 |
Confiance. ai Days 2022. Booklet of articles & posters P Aknin, B Braunschweig, L Cantat, F Chamroukhi, G Hebrail, F Jurie, ... | | 2023 |
Deep Neural Networks Abstraction using An Interval Weights Based Approach F Boudardara, A Boussif, PJ Meyer, M Ghazel Confiance. ai Days, 2022 | | 2022 |