Julien Girard-Satabin Julien Girard-Satabin

Identifiants chercheurs

IdHAL :

julien-girard-satabin

ORCID :

0000-0001-6374-3694

IdRef :

258978252

arXiv :

girardsatabin_j_1

Présentation

Publications

Communication dans un congrès (9)

La confiance avec le contrôle : spécification et vérification d’hyperpropriétés sur réseaux de neurones Guilhem Ardouin,Michele Alberti,Julien Girard-Satabin JFLA 2026 – 37es Journées Francophones des Langages Applicatifs, Marie Kerjean; Yannick Zakowski, Jan 2026, Oberbronn, Alsace, France Communication dans un congrès hal-05428158v1
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 - 23rd International Conference on Artificial Intelligence in Medicine, Jun 2025, Pavie, Italy. pp.130-139, ⟨10.1007/978-3-031-95838-0_13⟩ Communication dans un congrès hal-05046326v2
A dive into formal explainable attributions for image classification Dorin Doncenco,Julien Girard-Satabin,Romain Xu-Darme,Zakaria Chihani European Conference on Artificial Inteligence 2025, Oct 2025, Bologna, Italy Communication dans un congrès hal-05219606v1
Composer une salade CAISAR avec des réseaux de neurones et de l'édition de graphe Michele Alberti,François Bobot,Julien Girard-Satabin,Alban Grastien,Aymeric Varasseet al. 36es Journées Francophones des Langages Applicatifs (JFLA 2025), Jan 2025, Roiffé, France Communication dans un congrès hal-04859530v1
Caractériser des propriétés de confiance d'IA avec Why3 Julien Girard-Satabin,Michele Alberti,François Bobot,Zakaria Chihani JFLA 2023 - 34èmes Journées Francophones des Langages Applicatifs, Jan 2023, Praz-sur-Arly, France. pp.291--295 Communication dans un congrès hal-03936881v1
Contextualised Out-of-Distribution Detection using Pattern Identification Romain Xu-Darme,Julien Girard-Satabin,Darryl Hond,Gabriele Incorvaia,Zakaria Chihani Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops, Sep 2023, Toulouse, France Communication dans un congrès cea-04254022v1
CAISAR: A platform for Characterizing Artificial Intelligence Safety and Robustness Julien Girard-Satabin,Michele Alberti,François Bobot,Zakaria Chihani,Augustin Lemesle AISafety, Jul 2022, Vienne, Austria Communication dans un congrès hal-03687211v2
Partitionnement en régions linéaires pour la vérification formelle de réseaux de neurones Julien Girard-Satabin,Aymeric Varasse,Guillaume Charpiat,Zakaria Chihani,Marc Schoenauer Journées Francophones des Langages Applicatifs, Apr 2021, Saint Médard d’Excideuil, France Communication dans un congrès hal-03127853v1
CAMUS: A Framework to Build Formal Specifications for Deep Perception Systems Using Simulators Julien Girard-Satabin,Guillaume Charpiat,Zakaria Chihani,Marc Schoenauer ECAI 2020 - 24th European Conference on Artificial Intelligence, Jun 2020, Santiago de Compostela, Spain. pp.2497-2504, ⟨10.3233/FAIA200383⟩ Communication dans un congrès hal-02440520v1

Pré-publication, Document de travail (4)

The CAISAR Platform: Extending the Reach of Machine Learning Specification and Verification Michele Alberti,François Bobot,Julien Girard-Satabin,Alban Grastien,Aymeric Varasseet al. 2026 Pré-publication, Document de travail hal-05086899v2
Interpretable Out-Of-Distribution Detection Using Pattern Identification Romain Xu-Darme,Julien Girard-Satabin,Darryl Hond,Gabriele Incorvaia,Zakaria Chihani 2023 Pré-publication, Document de travail cea-03951966v1
DISCO Verification: Division of Input Space into COnvex polytopes for neural network verification Julien Girard-Satabin,Aymeric Varasse,Marc Schoenauer,Guillaume Charpiat,Zakaria Chihani 2021 Pré-publication, Document de travail hal-03227439v1
CAMUS: A Framework to Build Formal Specifications for Deep Perception Systems Using Simulators Julien Girard-Satabin,Guillaume Charpiat,Zakaria Chihani,Marc Schoenauer 2019 Pré-publication, Document de travail hal-02374956v1

Rapport (1)

Logic and Neural Networks (Dagstuhl Seminar 25061) Vaishak Belle,Michael Benedikt,Dana Drachsler-Cohen,Daniel Neider,Tom Yuvileret al. Dagstuhl. 2025 Rapport (rapport de recherche) hal-05311341v1

Thèse (1)

Verification and validation of Machine Learning techniques Julien Girard-Satabin Artificial Intelligence [cs.AI]. Université Paris-Saclay, 2021. English. ⟨NNT : 2021UPASG080⟩ Thèse tel-03547545v1