Julien Girard-Satabin

Julien Girard-Satabin
100 %
Libre accès
15
Documents
Affiliation actuelle
  • Laboratoire de Sûreté et de sécurité des Logiciels (LSL)
Contact

Présentation


Publications

7
5
2
1
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
6
4
4
4
3
3
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
6
5
2
2
2
1
1
1
1

Publications

Deposit thumbnail

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
Deposit thumbnail

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

23rd International Conference on Artificial Intelligence in Medicine (AIME), Jun 2025, Pavie, Italy. pp.130-139, ⟨10.1007/978-3-031-95838-0_13⟩

Communication dans un congrès hal-05046326v2
Deposit thumbnail

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 Varasse et al.

36es Journées Francophones des Langages Applicatifs (JFLA 2025), Jan 2025, Roiffé, France

Communication dans un congrès hal-04859530v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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