Follow
Adrien Gauffriau
Adrien Gauffriau
Verified email at airbus.com
Title
Cited by
Cited by
Year
Identifying challenges to the certification of machine learning for safety critical systems
E Jenn, A Albore, F Mamalet, G Flandin, C Gabreau, H Delseny, ...
European congress on embedded real time systems (ERTS 2020), 2020
212020
Hardware/software codesign for embedded implementation of neural networks
C Torres-Huitzil, B Girau, A Gauffriau
International Workshop on Applied Reconfigurable Computing, 167-178, 2007
202007
White paper machine learning in certified systems
H Delseny, C Gabreau, A Gauffriau, B Beaudouin, L Ponsolle, L Alecu, ...
arXiv preprint arXiv:2103.10529, 2021
172021
Towards certification of a reduced footprint acas-xu system: A hybrid ml-based solution
M Damour, F De Grancey, C Gabreau, A Gauffriau, JB Ginestet, A Hervieu, ...
Computer Safety, Reliability, and Security: 40th International Conference …, 2021
122021
White paper machine learning in certified systems
F Mamalet, E Jenn, G Flandin, H Delseny, C Gabreau, A Gauffriau, ...
IRT Saint Exupéry; ANITI, 2021
122021
Method and device for aiding the airport navigation
A Gauffriau, E Albert
US Patent 8,346,464, 2013
122013
ACETONE: Predictable Programming Framework for ML Applications in Safety-Critical Systems
IDA Silva, T Carle, A Gauffriau, C Pagetti
24th Euromicro Conference on Real-Time Systems (ECRTS 2022) 8 (2), 2022
72022
Sheep in wolf's clothing: Implementation models for dataflow multi-threaded software
K Didier, A Cohen, D Potop-Butucaru, A Gauffriau
2019 19th International Conference on Application of Concurrency to System …, 2019
42019
LARD--Landing Approach Runway Detection--Dataset for Vision Based Landing
M Ducoffe, M Carrere, L Féliers, A Gauffriau, V Mussot, C Pagetti, ...
arXiv preprint arXiv:2304.09938, 2023
22023
Autonomous drone interception with Deep Reinforcement Learning
D Bertoin, A Gauffriau, D Grasset, JS Gupta
12th International Workshop on Agents in Traffic and Transportation (ATT …, 2022
22022
Automatic predictable C code generation of machine learning models for avionics systems
IDA Silva, T Carle, A Gauffriau, C Pagetti
ETR 20, 5, 2021
22021
Overestimation learning with guarantees
A Gauffriau, F Malgouyres, M Ducoffe
arXiv preprint arXiv:2101.11717, 2021
12021
Extending a predictable machine learning framework with efficient gemm-based convolution routines
I De Albuquerque Silva, T Carle, A Gauffriau, C Pagetti
Real-Time Systems 59 (3), 408-437, 2023
2023
Formal description of ML models for unambiguous implementation
A Gauffriau, C Pagetti
arXiv preprint arXiv:2307.12713, 2023
2023
ERTS 2022 proceedings
P Cuenot, M de Roquemaurel, K Delmas, JM Gabriel, A Gauffriau, ...
2022
Toward the certification of safety-related systems using ML techniques: the ACAS-Xu experience
C Gabreau, A Gauffriau, F De Grancey, JB Ginestet, C Pagetti
11th European Congress on Embedded Real Time Software and Systems (ERTS 2022), 2022
2022
Hijacking an autonomous delivery drone equipped with the ACAS-Xu system
A Gauffriau, D Bertoin, JS Gupta
ERTS2022, 2022
2022
ACETONE: Predictable Programming Framework for ML Applications in Safety-Critical Systems (Artifact).
IDA Silva, T Carle, A Gauffriau, C Pagetti
Dagstuhl Artifacts Ser. 8 (1), 06:1-06:2, 2022
2022
ACETONE: Predictable Programming Framework for ML Applications in Safety-Critical Systems (Artifact)}}
I De Albuquerque Silva, T Carle, A Gauffriau, C Pagetti, ...
Dagstuhl Artifacts Series 231, 3, 2022
2022
Processor comprising a plurality of computation cores
A Gauffriau, B Triquet
US Patent 10,691,486, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–20