VLDB 2026 Research / reviewers in the wild / expert
Christophe Gabreau
dblp:288/2158
· DBLP profile ↗
3ranked-venue papers
0as first author
3since 2021 · last 2024
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Software engineering, systems software and programming languages · 2 · 2 since 2021Security and privacy · 1 · 1 since 2021
| Year | Publication | Venue | Position |
|---|---|---|---|
| 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. | 2 |
| 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 |
FMICS | 3 |
| 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 | 3 |