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)

AIMOS: Metamorphic Testing of AI - An Industrial Application. - Augustin Lemesle; Aymeric Varasse; Zakaria Chihani; Dominique Tachet (SAFECOMP Workshops, 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)

CaBRNet, an open-source library for developing and evaluating Case-Based Reasoning Models. - Romain Xu-Darme; Aymeric Varasse; Alban Grastien; Julien Girard; Zakaria Chihani (CoRR, 2024)

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)