C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Fateh Boudardara
ORCID
Publication Activity (10 Years)
Years Active: 2019-2023
Publications (10 Years): 4
Top Topics
Text To Speech
Global Exponential Stability
Hardware Designs
Artificial Bee Colony
Top Venues
Int. J. Reason. based Intell. Syst.
SAFECOMP Workshops
Appl. Intell.
VECoS
</>
Publications
</>
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)