Julien Girard-Satabin

According to our database, Julien Girard-Satabin authored at least 11 papers between 2020 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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, June, 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

Proceedings of the Programming Languages and Systems, 2025

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

Proceedings of the Artificial Intelligence in Medicine - 23rd International Conference, 2025

2024

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

Proceedings of the Joint Proceedings of the xAI 2024 Late-breaking Work, 2024

2023

Contextualised Out-of-Distribution Detection using Pattern Identication.

Romain Xu-Darme, Julien Girard-Satabin, Darryl Hond, Gabriele Incorvaia, Zakaria Chihani

CoRR, 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 Identification.

Romain Xu-Darme, Julien Girard-Satabin, Darryl Hond, Gabriele Incorvaia, Zakaria Chihani

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops, 2023

2022

CAISAR: A platform for Characterizing Artificial Intelligence Safety and Robustness.

Julien Girard-Satabin, Michele Alberti, François Bobot, Zakaria Chihani, Augustin Lemesle

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).

Julien Girard-Satabin

PhD thesis, 2021

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

2020

CAMUS: A Framework to Build Formal Specifications for Deep Perception Systems Using Simulators.

Julien Girard-Satabin, Guillaume Charpiat, Zakaria Chihani, Marc Schoenauer

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