CAMUS: A Framework to Build Formal Specifications for Deep Perception Systems Using Simulators. - Julien Girard-Satabin; Guillaume Charpiat; Zakaria Chihani; Marc Schoenauer (ECAI, 2020)

DISCO Verification: Division of Input Space into COnvex polytopes for neural network verification. - Julien Girard-Satabin; Aymeric Varasse; Marc Schoenauer; Guillaume Charpiat; Zakaria Chihani (CoRR, 2021)

Verification and validation of Machine Learning techniques. (Vérification et validation de techniques d'apprentissage machine). - Julien Girard-Satabin (2021)

CAISAR: A platform for Characterizing Artificial Intelligence Safety and Robustness. - Julien Girard-Satabin; Michele Alberti; François Bobot; Zakaria Chihani; Augustin Lemesle (AISafety@IJCAI, 2022)

Contextualised Out-of-Distribution Detection Using Pattern Identification. - Romain Xu-Darme; Julien Girard-Satabin; Darryl Hond; Gabriele Incorvaia; Zakaria Chihani (SAFECOMP Workshops, 2023)

Interpretable Out-Of-Distribution Detection Using Pattern Identification. - Romain Xu-Darme; Julien Girard-Satabin; Darryl Hond; Gabriele Incorvaia; Zakaria Chihani (CoRR, 2023)

Contextualised Out-of-Distribution Detection using Pattern Identication. - Romain Xu-Darme; Julien Girard-Satabin; Darryl Hond; Gabriele Incorvaia; Zakaria Chihani (CoRR, 2023)

CaBRNet, An Open-Source Library For Developing And Evaluating Case-Based Reasoning Models. - Romain Xu-Darme; Aymeric Varasse; Alban Grastien; Julien Girard-Satabin; Zakaria Chihani (xAI (Late-breaking Work, Demos, Doctoral Consortium), 2024)

Evaluating the Confidentiality of Synthetic Clinical Texts Generated by Language Models. - Foucauld Estignard; Sahar Ghannay; Julien Girard-Satabin; Nicolas Hiebel; Aurélie Névéol (AIME (1), 2025)

Neural Network Verification is a Programming Language Challenge. - Lucas C. Cordeiro; Matthew L. Daggitt; Julien Girard-Satabin; Omri Isac; Taylor T. Johnson; Guy Katz; Ekaterina Komendantskaya; Augustin Lemesle; Edoardo Manino; Artjoms Sinkarovs; Haoze Wu 001 (ESOP (1), 2025)

The CAISAR Platform: Extending the Reach of Machine Learning Specification and Verification. - Michele Alberti; François Bobot; Julien Girard-Satabin; Alban Grastien; Aymeric Varasse; Zakaria Chihani (CoRR, 2025)