Publications

Partial list of publications I am involved with.

CAISAR: A platform for Characterizing Artificial Intelligence Safety and Robustness
Julien Girard-Satabin, Michele Alberti, François Bobot, Augustin Lemesle, Zakaria Chihani
PDF Code Slides
Vérification et Validation de Techniques d'apprentissage machine
Julien Girard-Satabin
PDF Slides
Partitionnement en régions linéaires pour la vérification formelle de réseaux de neurones
Aymeric Varasse, Julien Girard-Satabin, Guillaume Charpiat, Zakaria Chihani, Marc Schoenauer
PDF
CAMUS: A Framework to Build Formal Specifications for Deep Perception Systems Using Simulators
Julien Girard-Satabin, Guillaume Charpiat, Zakaria Chihani, Marc Schoenauer
PDF
Learning Finer-class Networks for Universal Representations
Julien Girard-Satabin, Youssef Tamaazousti, Hervé Le Borgne, Céline Hudelot
PDF
Automatic houseware registration system for informationally-structured environment
Kazuto Nakashima, Julien Girard, Yumi Iwashita, Ryo Kurazume
PDF