18 citations · 29 across the 16 of their papers we have counts for
5 papers · 1 filter
COOK Access Control on an embedded Volta GPU
Benjamin Lesage, Frédéric Boniol, Claire Pagetti
The last decade has seen the emergence of a new generation of multi-core in response to advances in machine learning, and in particular Deep Neural Network (DNN) training and infer…
How to design a dataset compliant with an ML-based system ODD?
Cyril Cappi, Noémie Cohen, Mélanie Ducoffe +8
This paper focuses on a Vision-based Landing task and presents the design and the validation of a dataset that would comply with the Operational Design Domain (ODD) of a Machine-Le…
Certified ML Object Detection for Surveillance Missions
Mohammed Belcaid, Eric Bonnafous, Louis Crison +3
In this paper, we present a development process of a drone detection system involving a machine learning object detection component. The purpose is to reach acceptable performance…
Towards the Certification of Hybrid Architectures: Analysing Interference on Hardware Accelerators through PML
Benjamin Lesage, Frédéric Boniol, Kevin Delmas +3
The emergence of Deep Neural Network (DNN) and machine learning-based applications paved the way for a new generation of hybrid hardware platforms. Hybrid platforms embed several c…
VerifIoU -- Robustness of Object Detection to Perturbations
Noémie Cohen, Mélanie Ducoffe, Ryma Boumazouza +4
We introduce a novel Interval Bound Propagation (IBP) approach for the formal verification of object detection models, specifically targeting the Intersection over Union (IoU) metr…