Artificial Intelligence for Future Skies: On-going Standardization Activities to Build the Next Certification/Approval Framework for Airborne and Ground Aeronautic Products. - Christophe Gabreau; Béatrice Pesquet-Popescu; Fateh Kaakai; Baptiste Lefèvre (AISafety@IJCAI, 2021)

Towards Certification of a Reduced Footprint ACAS-Xu System: A Hybrid ML-Based Solution. - Mathieu Damour; Florence de Grancey; Christophe Gabreau; Adrien Gauffriau; Jean-Brice Ginestet; Alexandre Hervieu; Thomas Huraux; Claire Pagetti; Ludovic Ponsolle; Arthur Clavière (SAFECOMP, 2021)

White Paper Machine Learning in Certified Systems. - Hervé Delseny; Christophe Gabreau; Adrien Gauffriau; Bernard Beaudouin; Ludovic Ponsolle; Lucian Alecu; Hugues Bonnin; Brice Beltran; Didier Duchel; Jean-Brice Ginestet; Alexandre Hervieu; Ghilaine Martinez; et al. (CoRR, 2021)

Certification of embedded systems based on Machine Learning: A survey. - Guillaume Vidot; Christophe Gabreau; Ileana Ober; Iulian Ober (CoRR, 2021)

Formal Monotony Analysis of Neural Networks with Mixed Inputs: An Asset for Certification. - Guillaume Vidot; Mélanie Ducoffe; Christophe Gabreau; Ileana Ober; Iulian Ober (FMICS, 2022)

Verification for Object Detection - IBP IoU. - Noémie Cohen; Mélanie Ducoffe; Ryma Boumazouza; Christophe Gabreau; Claire Pagetti; Xavier Pucel; Audrey Galametz (CoRR, 2024)

How to design a dataset compliant with an ML-based system ODD? - Cyril Cappi; Noémie Cohen; Mélanie Ducoffe; Christophe Gabreau; Laurent Gardes; Adrien Gauffriau; Jean-Brice Ginestet; Franck Mamalet; Vincent Mussot; Claire Pagetti; David Vigouroux (CoRR, 2024)

Qualification of Avionic Software Based on Machine Learning: Challenges and Key Enabling Domains. - Guillaume Vidot; Christophe Gabreau; Ileana Ober; Iulian Ober (J. Aerosp. Inf. Syst., 2024)

Certification of avionic software based on machine learning: the case for formal monotony analysis. - Mélanie Ducoffe; Christophe Gabreau; Ileana Ober; Iulian Ober; Guillaume Vidot (Int. J. Softw. Tools Technol. Transf., 2024)