| Caisar: A platform for characterizing artificial intelligence safety and robustness J Girard-Satabin, M Alberti, F Bobot, Z Chihani, A Lemesle arXiv preprint arXiv:2206.03044, 2022 | 10 | 2022 |
| CAMUS: A framework to build formal specifications for deep perception systems using simulators J Girard-Satabin, G Charpiat, Z Chihani, M Schoenauer arXiv preprint arXiv:1911.10735, 2019 | 8 | 2019 |
| Learning finer-class networks for universal representations J Girard, Y Tamaazousti, HL Borgne, C Hudelot arXiv preprint arXiv:1810.02126, 2018 | 6 | 2018 |
| Contextualised Out-of-Distribution Detection Using Pattern Identification R Xu-Darme, J Girard-Satabin, D Hond, G Incorvaia, Z Chihani International Conference on Computer Safety, Reliability, and Security, 423-435, 2023 | 3 | 2023 |
| Verification and validation of Machine Learning techniques J Girard-Satabin Université Paris-Saclay, 2021 | 2 | 2021 |
| DISCO Verification: Division of Input Space into COnvex polytopes for neural network verification J Girard-Satabin, A Varasse, M Schoenauer, G Charpiat, Z Chihani arXiv preprint arXiv:2105.07776, 2021 | 1 | 2021 |
| Automatic houseware registration system for informationally-structured environment K Nakashima, J Girard, Y Iwashita, R Kurazume 2016 IEEE/SICE International Symposium on System Integration (SII), 337-342, 2016 | 1 | 2016 |
| Contextualised Out-of-Distribution Detection using Pattern Identication R Xu-Darme, J Girard-Satabin, D Hond, G Incorvaia, Z Chihani arXiv preprint arXiv:2311.12855, 2023 | | 2023 |
| Caractériser des propriétés de confiance d'IA avec Why3 J Girard-Satabin, M Alberti, F Bobot, Z Chihani JFLA 2023-34èmes Journées Francophones des Langages Applicatifs, 291--295, 2023 | | 2023 |
| Partitionnement en régions linéaires pour la vérification formelle de réseaux de neurones J Girard-Satabin, A Varasse, G Charpiat, Z Chihani, M Schoenauer Journées Francophones des Langages Applicatifs, 2021 | | 2021 |
Zakaria ChihaniCEAVerified email at cea.fr
