Mélanie Ducoffe
Orcid: 0000-0001-8440-8764
According to our database1,
Mélanie Ducoffe
authored at least 20 papers
between 2015 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
2015
2016
2017
2018
2019
2020
2021
2022
2023
2024
0
1
2
3
4
5
6
4
1
2
1
1
1
1
1
1
1
1
2
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Certification of avionic software based on machine learning: the case for formal monotony analysis.
Int. J. Softw. Tools Technol. Transf., April, 2024
CoRR, 2024
Proceedings of the Formal Methods for Industrial Critical Systems, 2024
2023
CoRR, 2023
Don't Lie to Me! Robust and Efficient Explainability with Verified Perturbation Analysis.
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2023
2022
Formal Monotony Analysis of Neural Networks with Mixed Inputs: An Asset for Certification.
Proceedings of the Formal Methods for Industrial Critical Systems, 2022
2021
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
2020
Potential, challenges and future directions for deep learning in prognostics and health management applications.
Eng. Appl. Artif. Intell., 2020
Time Series to Images: Monitoring the Condition of Industrial Assets with Deep Learning Image Processing Algorithms.
CoRR, 2020
Proceedings of the Workshop on Artificial Intelligence Safety, 2020
2018
Active learning and input space analysis for deep networks. (Active learning et visualisation des données d'apprentissage pour les réseaux de neurones profonds).
PhD thesis, 2018
Proceedings of the 6th International Conference on Learning Representations, 2018
Proceedings of the 56th Annual Meeting of the Association for Computational Linguistics, 2018
2017
Proceedings of the 25th European Symposium on Artificial Neural Networks, 2017
Spatial and rotation invariant 3D gesture recognition based on sparse representation.
Proceedings of the 2017 IEEE Symposium on 3D User Interfaces, 2017
2016
CoRR, 2016
2015
CoRR, 2015