Mélanie Ducoffe

According to our database, Mélanie Ducoffe authored at least 19 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Certification of avionic software based on machine learning: the case for formal monotony analysis.

Mélanie Ducoffe, Christophe Gabreau, Ileana Ober, Iulian Ober, Guillaume Vidot

Int. J. Softw. Tools Technol. Transf., April, 2024

Verification for Object Detection - IBP IoU.

Noémie Cohen, Mélanie Ducoffe, Ryma Boumazouza, Christophe Gabreau, Claire Pagetti, Xavier Pucel, Audrey Galametz

CoRR, 2024

Robustness Assessment of a Runway Object Classifier for Safe Aircraft Taxiing.

Yizhak Yisrael Elboher, Raya Elsaleh, Omri Isac, Mélanie Ducoffe, Audrey Galametz, Guillaume Povéda, Ryma Boumazouza, Noémie Cohen, Guy Katz

CoRR, 2024

Surrogate Neural Networks Local Stability for Aircraft Predictive Maintenance.

Mélanie Ducoffe, Guillaume Povéda, Audrey Galametz, Ryma Boumazouza, Marion-Cécile Martin, Julien Baris, Derk Daverschot, Eugene O'Higgins

CoRR, 2024

2023

LARD - Landing Approach Runway Detection - Dataset for Vision Based Landing.

Mélanie Ducoffe, Maxime Carrere, Léo Féliers, Adrien Gauffriau, Vincent Mussot, Claire Pagetti, Thierry Sammour

CoRR, 2023

Don't Lie to Me! Robust and Efficient Explainability with Verified Perturbation Analysis.

Thomas Fel, Melanie Ducoffe, David Vigouroux, Rémi Cadène, Mikael Capelle, Claire Nicodème, Thomas Serre

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.

Guillaume Vidot, Mélanie Ducoffe, Christophe Gabreau, Ileana Ober, Iulian Ober

Proceedings of the Formal Methods for Industrial Critical Systems, 2022

2021

Overestimation Learning with Guarantees.

Adrien Gauffriau, François Malgouyres, Mélanie Ducoffe

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.

Olga Fink, Qin Wang, Markus Svensén, Pierre Dersin, Wan-Jui Lee, Melanie Ducoffe

Eng. Appl. Artif. Intell., 2020

Time Series to Images: Monitoring the Condition of Industrial Assets with Deep Learning Image Processing Algorithms.

Gabriel Rodriguez Garcia, Gabriel Michau, Mélanie Ducoffe, Jayant Sen Gupta, Olga Fink

CoRR, 2020

A High Probability Safety Guarantee for Shifted Neural Network Surrogates.

Melanie Ducoffe, Sébastien Gerchinovitz, Jayant Sen Gupta

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).

Mélanie Ducoffe

PhD thesis, 2018

Adversarial Active Learning for Deep Networks: a Margin Based Approach.

Melanie Ducoffe, Frédéric Precioso

CoRR, 2018

Learning Wasserstein Embeddings.

Nicolas Courty, Rémi Flamary, Mélanie Ducoffe

Proceedings of the 6th International Conference on Learning Representations, 2018

Textual Deconvolution Saliency (TDS) : a deep tool box for linguistic analysis.

Laurent Vanni, Mélanie Ducoffe, Carlos Aguilar, Frédéric Precioso, Damon Mayaffre

Proceedings of the 56th Annual Meeting of the Association for Computational Linguistics, 2018

2017

Active learning strategy for CNN combining batchwise Dropout and Query-By-Committee.

Melanie Ducoffe, Frédéric Precioso

Proceedings of the 25th European Symposium on Artificial Neural Networks, 2017

Spatial and rotation invariant 3D gesture recognition based on sparse representation.

Ferran Argelaguet, Melanie Ducoffe, Anatole Lécuyer, Rémi Gribonval

Proceedings of the 2017 IEEE Symposium on 3D User Interfaces, 2017

2016

Theano: A Python framework for fast computation of mathematical expressions.

Rami Al-Rfou, Guillaume Alain, Amjad Almahairi, Christof Angermüller, Dzmitry Bahdanau, Nicolas Ballas, Frédéric Bastien, Justin Bayer, Anatoly Belikov, Alexander Belopolsky, Yoshua Bengio, Arnaud Bergeron, James Bergstra, Valentin Bisson, Josh Bleecher Snyder, Nicolas Bouchard, Nicolas Boulanger-Lewandowski, Xavier Bouthillier, Alexandre de Brébisson, Olivier Breuleux, Pierre Luc Carrier, Kyunghyun Cho, Jan Chorowski, Paul F. Christiano, Tim Cooijmans, Marc-Alexandre Côté, Myriam Côté, Aaron C. Courville, Yann N. Dauphin, Olivier Delalleau, Julien Demouth, Guillaume Desjardins, Sander Dieleman, Laurent Dinh, Melanie Ducoffe, Vincent Dumoulin, Samira Ebrahimi Kahou, Dumitru Erhan, Ziye Fan, Orhan Firat, Mathieu Germain, Xavier Glorot, Ian J. Goodfellow, Matthew Graham, Çaglar Gülçehre, Philippe Hamel, Iban Harlouchet, Jean-Philippe Heng, Balázs Hidasi, Sina Honari, Arjun Jain, Sébastien Jean, Kai Jia, Mikhail Korobov, Vivek Kulkarni, Alex Lamb, Pascal Lamblin, Eric Larsen, César Laurent, Sean Lee, Simon Lefrançois, Simon Lemieux, Nicholas Léonard, Zhouhan Lin, Jesse A. Livezey, Cory Lorenz, Jeremiah Lowin, Qianli Ma, Pierre-Antoine Manzagol, Olivier Mastropietro, Robert McGibbon, Roland Memisevic, Bart van Merriënboer, Vincent Michalski, Mehdi Mirza, Alberto Orlandi, Christopher Joseph Pal, Razvan Pascanu, Mohammad Pezeshki, Colin Raffel, Daniel Renshaw, Matthew Rocklin, Adriana Romero, Markus Roth, Peter Sadowski, John Salvatier, François Savard, Jan Schlüter, John Schulman, Gabriel Schwartz, Iulian Vlad Serban, Dmitriy Serdyuk, Samira Shabanian, Étienne Simon, Sigurd Spieckermann, S. Ramana Subramanyam, Jakub Sygnowski, Jérémie Tanguay, Gijs van Tulder, Joseph P. Turian, Sebastian Urban, Pascal Vincent, Francesco Visin, Harm de Vries, David Warde-Farley, Dustin J. Webb, Matthew Willson, Kelvin Xu, Lijun Xue, Li Yao, Saizheng Zhang, Ying Zhang

CoRR, 2016

2015

QBDC: Query by dropout committee for training deep supervised architecture.

Melanie Ducoffe, Frédéric Precioso

CoRR, 2015