Julien Girard-Satabin
- Laboratoire de Sûreté et de sécurité des Logiciels (LSL)
Présentation
Publications
Publications
|
|
La confiance avec le contrôle : spécification et vérification d’hyperpropriétés sur réseaux de neuronesJFLA 2026 – 37es Journées Francophones des Langages Applicatifs, Marie Kerjean; Yannick Zakowski, Jan 2026, Oberbronn, Alsace, France |
|
|
Evaluating the Confidentiality of Synthetic Clinical Texts Generated by Language Models23rd International Conference on Artificial Intelligence in Medicine (AIME), Jun 2025, Pavie, Italy. pp.130-139, ⟨10.1007/978-3-031-95838-0_13⟩ |
|
|
Composer une salade CAISAR avec des réseaux de neurones et de l'édition de graphe36es Journées Francophones des Langages Applicatifs (JFLA 2025), Jan 2025, Roiffé, France |
|
|
A dive into formal explainable attributions for image classificationEuropean Conference on Artificial Inteligence 2025, Oct 2025, Bologna, Italy |
|
|
Caractériser des propriétés de confiance d'IA avec Why3JFLA 2023 - 34èmes Journées Francophones des Langages Applicatifs, Jan 2023, Praz-sur-Arly, France. pp.291--295 |
|
|
Contextualised Out-of-Distribution Detection using Pattern IdentificationComputer Safety, Reliability, and Security. SAFECOMP 2023 Workshops, Sep 2023, Toulouse, France |
|
|
CAISAR: A platform for Characterizing Artificial Intelligence Safety and RobustnessAISafety, Jul 2022, Vienne, Austria |
|
|
Partitionnement en régions linéaires pour la vérification formelle de réseaux de neuronesJournées Francophones des Langages Applicatifs, Apr 2021, Saint Médard d’Excideuil, France |
|
|
CAMUS: A Framework to Build Formal Specifications for Deep Perception Systems Using SimulatorsECAI 2020 - 24th European Conference on Artificial Intelligence, Jun 2020, Santiago de Compostela, Spain. pp.2497-2504, ⟨10.3233/FAIA200383⟩ |
|
|
The CAISAR Platform: Extending the Reach of Machine Learning Specification and Verification2026 |
|
|
Interpretable Out-Of-Distribution Detection Using Pattern Identification2023 |
|
|
DISCO Verification: Division of Input Space into COnvex polytopes for neural network verification2021 |
|
|
CAMUS: A Framework to Build Formal Specifications for Deep Perception Systems Using Simulators2019 |
|
|
Logic and Neural Networks (Dagstuhl Seminar 25061)Dagstuhl. 2025 |
|
|
Verification and validation of Machine Learning techniquesArtificial Intelligence [cs.AI]. Université Paris-Saclay, 2021. English. ⟨NNT : 2021UPASG080⟩ |