Julien Girard-Satabin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
8
Venues
7
Active years
2020–2026
Best venue rank
A*
Where they publish
Papers
8 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | AAAI | Formal Abductive Latent Explanations for Prototype-Based Networks. | Jules Soria, Zakaria Chihani, Julien Girard-Satabin, Alban Grastien, Romain Xu-Darme, Daniela Cancila |
| 2025 | AIME | Evaluating the Confidentiality of Synthetic Clinical Texts Generated by Language Models. | Foucauld Estignard, Sahar Ghannay, Julien Girard-Satabin, Nicolas Hiebel, Aurlie Nvol |
| 2025 | ECAI | A Dive into Formal Explainable Attributions for Image Classification. | Dorin Doncenco, Julien Girard-Satabin, Romain Xu-Darme, Zakaria Chihani |
| 2025 | ESOP | 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 |
| 2025 | IFM | The CAISAR Platform: Extending the Reach of Machine Learning Specification and Verification. | Michele Alberti, Franois Bobot, Julien Girard-Satabin, Alban Grastien, Aymeric Varasse, Zakaria Chihani |
| 2023 | SAFECOMP | Contextualised Out-of-Distribution Detection Using Pattern Identification. | Romain Xu-Darme, Julien Girard-Satabin, Darryl Hond, Gabriele Incorvaia, Zakaria Chihani |
| 2022 | IJCAI | CAISAR: A platform for Characterizing Artificial Intelligence Safety and Robustness. | Julien Girard-Satabin, Michele Alberti, Franois Bobot, Zakaria Chihani, Augustin Lemesle |
| 2020 | ECAI | CAMUS: A Framework to Build Formal Specifications for Deep Perception Systems Using Simulators. | Julien Girard-Satabin, Guillaume Charpiat, Zakaria Chihani, Marc Schoenauer |