Christophe Gabreau

Publication Activity (10 Years)

Years Active: 2021-2024
Publications (10 Years): 9

Top Topics

Embedded Systems

Technical Challenges

Object Detection

Top Venues

Int. J. Softw. Tools Technol. Transf.

J. Aerosp. Inf. Syst.

Publications

Mélanie Ducoffe, Christophe Gabreau, Ileana Ober, Iulian Ober, Guillaume Vidot
Certification of avionic software based on machine learning: the case for formal monotony analysis. Int. J. Softw. Tools Technol. Transf. 26 (2) (2024)
Guillaume Vidot, Christophe Gabreau, Ileana Ober, Iulian Ober
Qualification of Avionic Software Based on Machine Learning: Challenges and Key Enabling Domains. J. Aerosp. Inf. Syst. 21 (5) (2024)
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
How to design a dataset compliant with an ML-based system ODD? CoRR (2024)
Noémie Cohen, Mélanie Ducoffe, Ryma Boumazouza, Christophe Gabreau, Claire Pagetti, Xavier Pucel, Audrey Galametz
Verification for Object Detection - IBP IoU. CoRR (2024)
Guillaume Vidot, Mélanie Ducoffe, Christophe Gabreau, Ileana Ober, Iulian Ober
Formal Monotony Analysis of Neural Networks with Mixed Inputs: An Asset for Certification. FMICS (2022)
Christophe Gabreau, Béatrice Pesquet-Popescu, Fateh Kaakai, Baptiste Lefèvre
Artificial Intelligence for Future Skies: On-going Standardization Activities to Build the Next Certification/Approval Framework for Airborne and Ground Aeronautic Products. AISafety@IJCAI (2021)
Mathieu Damour, Florence De Grancey, Christophe Gabreau, Adrien Gauffriau, Jean-Brice Ginestet, Alexandre Hervieu, Thomas Huraux, Claire Pagetti, Ludovic Ponsolle, Arthur Clavière
Towards Certification of a Reduced Footprint ACAS-Xu System: A Hybrid ML-Based Solution. SAFECOMP (2021)
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, Sylvain Pasquet, Kevin Delmas, Claire Pagetti, Jean-Marc Gabriel, Camille Chapdelaine, Sylvaine Picard, Mathieu Damour, Cyril Cappi, Laurent Gardès, Florence De Grancey, Eric Jenn, Baptiste Lefèvre, Grégory Flandin, Sébastien Gerchinovitz, Franck Mamalet, Alexandre Albore
White Paper Machine Learning in Certified Systems. CoRR (2021)
Guillaume Vidot, Christophe Gabreau, Ileana Ober, Iulian Ober
Certification of embedded systems based on Machine Learning: A survey. CoRR (2021)