Fateh Boudardara
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2022–2024
Best venue rank
C
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2024 | VECoS | Monitoring of Neural Network Classifiers Using Neuron Activation Paths. | Fateh Boudardara, Abderraouf Boussif, Pierre-Jean Meyer, Mohamed Ghazel |
| 2023 | VECoS | A Sound Abstraction Method Towards Efficient Neural Networks Verification. | Fateh Boudardara, Abderraouf Boussif, Mohamed Ghazel |
| 2022 | SAFECOMP | Interval Weight-Based Abstraction for Neural Network Verification. | Fateh Boudardara, Abderraouf Boussif, Pierre-Jean Meyer, Mohamed Ghazel |