Julien Girard-Satabin
According to our database1,
Julien Girard-Satabin
authored at least 8 papers
between 2020 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
CaBRNet, An Open-Source Library For Developing And Evaluating Case-Based Reasoning Models.
Proceedings of the Joint Proceedings of the xAI 2024 Late-breaking Work, 2024
2023
Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops, 2023
2022
Proceedings of the Workshop on Artificial Intelligence Safety 2022 (AISafety 2022) co-located with the Thirty-First International Joint Conference on Artificial Intelligence and the Twenty-Fifth European Conference on Artificial Intelligence (IJCAI-ECAI-2022), 2022
2021
Verification and validation of Machine Learning techniques. (Vérification et validation de techniques d'apprentissage machine).
PhD thesis, 2021
DISCO Verification: Division of Input Space into COnvex polytopes for neural network verification.
CoRR, 2021
2020
CAMUS: A Framework to Build Formal Specifications for Deep Perception Systems Using Simulators.
Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020