Hardware/Software Codesign for Embedded Implementation of Neural Networks. - César Torres-Huitzil; Bernard Girau; Adrien Gauffriau (ARC, 2007)

Sheep in wolf's Clothing: Implementation Models for Dataflow Multi-Threaded Software. - Keryan Didier; Albert Cohen 001; Dumitru Potop-Butucaru; Adrien Gauffriau (ACSD, 2019)

Overestimation Learning with Guarantees. - Adrien Gauffriau; François Malgouyres; Mélanie Ducoffe (SafeAI@AAAI, 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, 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; et al. (CoRR, 2021)

ACETONE: Predictable Programming Framework for ML Applications in Safety-Critical Systems. - Iryna De Albuquerque Silva; Thomas Carle; Adrien Gauffriau; Claire Pagetti (ECRTS, 2022)

Autonomous Drone Interception with Reinforcement Learning. - Adrien Gauffriau; Damien Grasset; David Bertoin; Jayant Sen Gupta (ATT@IJCAI, 2022)

ACETONE: Predictable Programming Framework for ML Applications in Safety-Critical Systems (Artifact). - Iryna De Albuquerque Silva; Thomas Carle; Adrien Gauffriau; Claire Pagetti (Dagstuhl Artifacts Ser., 2022)

LARD - Landing Approach Runway Detection - Dataset for Vision Based Landing. - Mélanie Ducoffe; Maxime Carrere; Léo Féliers; Adrien Gauffriau; Vincent Mussot; Claire Pagetti; Thierry Sammour (CoRR, 2023)

Formal description of ML models for unambiguous implementation. - Adrien Gauffriau; Claire Pagetti (CoRR, 2023)

Extending a predictable machine learning framework with efficient gemm-based convolution routines. - Iryna De Albuquerque Silva; Thomas Carle; Adrien Gauffriau; Claire Pagetti (Real Time Syst., 2023)

A Predictable SIMD Library for GEMM Routines. - Iryna De Albuquerque Silva; Thomas Carle; Adrien Gauffriau; Victor Jégu; Claire Pagetti (RTAS, 2024)

Towards the Certification of Hybrid Architectures: Analysing Interference on Hardware Accelerators through PML. - Benjamin Lesage; Frédéric Boniol; Kevin Delmas; Adrien Gauffriau; Alfonso Mascareñas González; Claire Pagetti (CoRR, 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)

Methodology for Formal Verification of Hardware Safety Strategies Using SMT. - Anthony Faure-Gignoux; Kevin Delmas; Adrien Gauffriau; Claire Pagetti (IEEE Embed. Syst. Lett., 2024)

Challenges of neural network accelerators for aeronautics - position paper. - Benjamin Lesage; Adrien Gauffriau; Claire Pagetti; Nicolas Valot (Real Time Syst., 2025)