Adrien Gauffriau

18 papers A 1B 2Journal 11Unranked 4
YearRankTypeTitle / Venue / Authors
2025 J jnl
Challenges of neural network accelerators for aeronautics - position paper.
Real Time Syst.
Benjamin Lesage, Adrien Gauffriau, Claire Pagetti, Nicolas Valot
2025 J jnl
Open-source Stand-Alone Versatile Tensor Accelerator.
CoRR
Anthony Faure-Gignoux, Kevin Delmas, Adrien Gauffriau, Claire Pagetti
2024 A conf
A Predictable SIMD Library for GEMM Routines.
RTAS
Iryna De Albuquerque Silva, Thomas Carle, Adrien Gauffriau, Victor Jégu, Claire Pagetti
2024 J jnl
How to design a dataset compliant with an ML-based system ODD?
CoRR
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
2024 J jnl
Methodology for Formal Verification of Hardware Safety Strategies Using SMT.
IEEE Embed. Syst. Lett.
Anthony Faure-Gignoux, Kevin Delmas, Adrien Gauffriau, Claire Pagetti
2024 J jnl
Towards the Certification of Hybrid Architectures: Analysing Interference on Hardware Accelerators through PML.
CoRR
Benjamin Lesage, Frédéric Boniol, Kevin Delmas, Adrien Gauffriau, Alfonso Mascareñas González, Claire Pagetti
2023 J jnl
Extending a predictable machine learning framework with efficient gemm-based convolution routines.
Real Time Syst.
Iryna De Albuquerque Silva, Thomas Carle, Adrien Gauffriau, Claire Pagetti
2023 J jnl
Formal description of ML models for unambiguous implementation.
CoRR
Adrien Gauffriau, Claire Pagetti
2023 J jnl
LARD - Landing Approach Runway Detection - Dataset for Vision Based Landing.
CoRR
Mélanie Ducoffe, Maxime Carrere, Léo Féliers, Adrien Gauffriau, Vincent Mussot, Claire Pagetti, Thierry Sammour
2022 J jnl
ACETONE: Predictable Programming Framework for ML Applications in Safety-Critical Systems (Artifact).
Dagstuhl Artifacts Ser.
Iryna De Albuquerque Silva, Thomas Carle, Adrien Gauffriau, Claire Pagetti
2022 B conf
ACETONE: Predictable Programming Framework for ML Applications in Safety-Critical Systems.
ECRTS
Iryna De Albuquerque Silva, Thomas Carle, Adrien Gauffriau, Claire Pagetti
2022 — conf
Autonomous Drone Interception with Reinforcement Learning.
ATT@IJCAI
Adrien Gauffriau, Damien Grasset, David Bertoin, Jayant Sen Gupta
2021 — conf
Overestimation Learning with Guarantees.
SafeAI@AAAI
Adrien Gauffriau, François Malgouyres, Mélanie Ducoffe
2021 J jnl
Overestimation learning with guarantees.
CoRR
Adrien Gauffriau, François Malgouyres, Mélanie Ducoffe
2021 B conf
Towards Certification of a Reduced Footprint ACAS-Xu System: A Hybrid ML-Based Solution.
SAFECOMP
Mathieu Damour, Florence de Grancey, Christophe Gabreau, Adrien Gauffriau, Jean-Brice Ginestet, Alexandre Hervieu, Thomas Huraux, Claire Pagetti, Ludovic Ponsolle, Arthur Clavière
2021 J jnl
White Paper Machine Learning in Certified Systems.
CoRR
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
2019 — conf
Sheep in wolf's Clothing: Implementation Models for Dataflow Multi-Threaded Software.
ACSD
Keryan Didier, Albert Cohen, Dumitru Potop-Butucaru, Adrien Gauffriau
2007 — conf
Hardware/Software Codesign for Embedded Implementation of Neural Networks.
ARC
César Torres-Huitzil, Bernard Girau, Adrien Gauffriau