| 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 | 29 | 2020 |
| 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 | 26 | 2021 |
| 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 | 21 | 2007 |
| 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 | 18 | 2021 |
| 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 | 18 | 2021 |
| 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 | 15 | 2023 |
| 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 | 14 | 2022 |
| Method and device for aiding the airport navigation A Gauffriau, E Albert US Patent 8,346,464, 2013 | 12 | 2013 |
| 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 | 8 | 2022 |
| A predictable SIMD library for GEMM routines IDA Silva, T Carle, A Gauffriau, V Jegu, C Pagetti 2024 IEEE 30th Real-Time and Embedded Technology and Applications Symposium …, 2024 | 5 | 2024 |
| 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 | 5 | 2019 |
| Formal description of ML models for unambiguous implementation A Gauffriau, IDA Silva, C Pagetti arXiv preprint arXiv:2307.12713, 2023 | 4 | 2023 |
| 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 | 3 | 2022 |
| Overestimation learning with guarantees A Gauffriau, F Malgouyres, M Ducoffe arXiv preprint arXiv:2101.11717, 2021 | 3 | 2021 |
| Automatic predictable C code generation of machine learning models for avionics systems IDA Silva, T Carle, A Gauffriau, C Pagetti ETR 20, 5, 2021 | 3 | 2021 |
| How to design a dataset compliant with an ML-based system ODD? C Cappi, N Cohen, M Ducoffe, C Gabreau, L Gardes, A Gauffriau, ... arXiv preprint arXiv:2406.14027, 2024 | 2 | 2024 |
| 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 | 2 | 2023 |
| Processor comprising a plurality of computation cores A Gauffriau, B Triquet US Patent 10,691,486, 2020 | 2 | 2020 |
| Sheep in wolf's clothing: Implementation models for data-flow multi-threaded software K Didier, A Cohen, A Gauffriau, A Graillat, D Potop-Butucaru Inria Paris, 2017 | 2 | 2017 |
| Towards the Certification of Hybrid Architectures: Analysing Interference on Hardware Accelerators through PML B Lesage, F Boniol, K Delmas, A Gauffriau, AM Gonzalez, C Pagetti arXiv preprint arXiv:2406.12346, 2024 | 1 | 2024 |
