Adrien Gauffriau

According to our database, Adrien Gauffriau authored at least 11 papers between 2007 and 2023.

Collaborative distances:

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

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., September, 2023

Formal description of ML models for unambiguous implementation.

Adrien Gauffriau, Claire Pagetti

CoRR, 2023

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

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

Autonomous Drone Interception with Reinforcement Learning.

Adrien Gauffriau, Damien Grasset, David Bertoin, Jayant Sen Gupta

Proceedings of the Twelfth International Workshop on Agents in Traffic and Transportation co-located with the the 31st International Joint Conference on Artificial Intelligence and the 25th European Conference on Artificial Intelligence (IJCAI-ECAI 2022), 2022

ACETONE: Predictable Programming Framework for ML Applications in Safety-Critical Systems.

Iryna De Albuquerque Silva, Thomas Carle, Adrien Gauffriau, Claire Pagetti

Proceedings of the 34th Euromicro Conference on Real-Time Systems, 2022

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

Overestimation Learning with Guarantees.

Adrien Gauffriau, François Malgouyres, Mélanie Ducoffe

Proceedings of the Workshop on Artificial Intelligence Safety 2021 (SafeAI 2021) co-located with the Thirty-Fifth AAAI Conference on Artificial Intelligence (AAAI 2021), 2021

2019

Sheep in wolf's Clothing: Implementation Models for Dataflow Multi-Threaded Software.

Keryan Didier, Albert Cohen, Dumitru Potop-Butucaru, Adrien Gauffriau

Proceedings of the 19th International Conference on Application of Concurrency to System Design, 2019

2007

Hardware/Software Codesign for Embedded Implementation of Neural Networks.

César Torres-Huitzil, Bernard Girau, Adrien Gauffriau

Proceedings of the Reconfigurable Computing: Architectures, 2007