Christophe Gabreau

According to our database, Christophe Gabreau authored at least 9 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

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., April, 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

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

Verification for Object Detection - IBP IoU.

Noémie Cohen, Mélanie Ducoffe, Ryma Boumazouza, Christophe Gabreau, Claire Pagetti, Xavier Pucel, Audrey Galametz

CoRR, 2024

2022

Formal Monotony Analysis of Neural Networks with Mixed Inputs: An Asset for Certification.

Guillaume Vidot, Mélanie Ducoffe, Christophe Gabreau, Ileana Ober, Iulian Ober

Proceedings of the Formal Methods for Industrial Critical Systems, 2022

2021

Certification of embedded systems based on Machine Learning: A survey.

Guillaume Vidot, Christophe Gabreau, Ileana Ober, Iulian Ober

CoRR, 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, 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

CoRR, 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

Proceedings of the Computer Safety, Reliability, and Security, 2021

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

Proceedings of the Workshop on Artificial Intelligence Safety 2021 co-located with the Thirtieth International Joint Conference on Artificial Intelligence (IJCAI 2021), 2021