Christophe Gabreau
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
2021–2022
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | FMICS | Formal Monotony Analysis of Neural Networks with Mixed Inputs: An Asset for Certification. | Guillaume Vidot, Mlanie Ducoffe, Christophe Gabreau, Ileana Ober, Iulian Ober |
| 2021 | IJCAI | Artificial Intelligence for Future Skies: On-going Standardization Activities to Build the Next Certification/Approval Framework for Airborne and Ground Aeronautic Products. | Christophe Gabreau, Batrice Pesquet-Popescu, Fateh Kaakai, Baptiste Lefvre |
| 2021 | SAFECOMP | 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 Clavire |