Ducoffe, Mélanie
58  results:
Search for persons X
?
1

Certification of avionic software based on machine learning..:

Ducoffe, Mélanie ; Gabreau, Christophe ; Ober, Ileana..
International Journal on Software Tools for Technology Transfer.  26 (2024)  2 - p. 189-205 , 2024
 
?
2

Don't Lie to Me! Robust and Efficient Explainability with V..:

, In: 2023 IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR),
Fel, Thomas ; Ducoffe, Melanie ; Vigouroux, David... - p. 16153-16163 , 2023
 
?
3

Formal Monotony Analysis of Neural Networks with Mixed Inpu..:

, In: Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science,
 
?
4

Potential, challenges and future directions for deep learni..:

Fink, Olga ; Wang, Qin ; Svensén, Markus...
Engineering Applications of Artificial Intelligence.  92 (2020)  - p. 103678 , 2020
 
1-15