Julien Girard-Satabin

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

Présentation


Publications

2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
5
4
4
2
2
2
1
1
1
1
1
1
4
2
1
1
1
1
1

Publications

Image document

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
Communication dans un congrès hal-05046326 v1
Image document

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-03936881 v1
Image document

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-03687211 v2
Image document

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-03127853 v1
Image document

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
Communication dans un congrès hal-02440520 v1