BibTeX records: Mélanie Ducoffe

download as .bib file

@article{DBLP:journals/sttt/DucoffeGOOV24,
  author       = {M{\'{e}}lanie Ducoffe and
                  Christophe Gabreau and
                  Ileana Ober and
                  Iulian Ober and
                  Guillaume Vidot},
  title        = {Certification of avionic software based on machine learning: the case
                  for formal monotony analysis},
  journal      = {Int. J. Softw. Tools Technol. Transf.},
  volume       = {26},
  number       = {2},
  pages        = {189--205},
  year         = {2024},
  url          = {https://doi.org/10.1007/s10009-024-00741-6},
  doi          = {10.1007/S10009-024-00741-6},
  timestamp    = {Fri, 29 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/sttt/DucoffeGOOV24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-06821,
  author       = {M{\'{e}}lanie Ducoffe and
                  Guillaume Pov{\'{e}}da and
                  Audrey Galametz and
                  Ryma Boumazouza and
                  Marion{-}C{\'{e}}cile Martin and
                  Julien Baris and
                  Derk Daverschot and
                  Eugene O'Higgins},
  title        = {Surrogate Neural Networks Local Stability for Aircraft Predictive
                  Maintenance},
  journal      = {CoRR},
  volume       = {abs/2401.06821},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2401.06821},
  doi          = {10.48550/ARXIV.2401.06821},
  eprinttype    = {arXiv},
  eprint       = {2401.06821},
  timestamp    = {Thu, 01 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2401-06821.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-00035,
  author       = {Yizhak Yisrael Elboher and
                  Raya Elsaleh and
                  Omri Isac and
                  M{\'{e}}lanie Ducoffe and
                  Audrey Galametz and
                  Guillaume Pov{\'{e}}da and
                  Ryma Boumazouza and
                  No{\'{e}}mie Cohen and
                  Guy Katz},
  title        = {Robustness Assessment of a Runway Object Classifier for Safe Aircraft
                  Taxiing},
  journal      = {CoRR},
  volume       = {abs/2402.00035},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2402.00035},
  doi          = {10.48550/ARXIV.2402.00035},
  eprinttype    = {arXiv},
  eprint       = {2402.00035},
  timestamp    = {Fri, 09 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2402-00035.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2403-08788,
  author       = {No{\'{e}}mie Cohen and
                  M{\'{e}}lanie Ducoffe and
                  Ryma Boumazouza and
                  Christophe Gabreau and
                  Claire Pagetti and
                  Xavier Pucel and
                  Audrey Galametz},
  title        = {Verification for Object Detection - {IBP} IoU},
  journal      = {CoRR},
  volume       = {abs/2403.08788},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2403.08788},
  doi          = {10.48550/ARXIV.2403.08788},
  eprinttype    = {arXiv},
  eprint       = {2403.08788},
  timestamp    = {Fri, 05 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2403-08788.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cvpr/FelDVCCNS23,
  author       = {Thomas Fel and
                  Melanie Ducoffe and
                  David Vigouroux and
                  R{\'{e}}mi Cad{\`{e}}ne and
                  Mikael Capelle and
                  Claire Nicod{\`{e}}me and
                  Thomas Serre},
  title        = {Don't Lie to Me! Robust and Efficient Explainability with Verified
                  Perturbation Analysis},
  booktitle    = {{IEEE/CVF} Conference on Computer Vision and Pattern Recognition,
                  {CVPR} 2023, Vancouver, BC, Canada, June 17-24, 2023},
  pages        = {16153--16163},
  publisher    = {{IEEE}},
  year         = {2023},
  url          = {https://doi.org/10.1109/CVPR52729.2023.01550},
  doi          = {10.1109/CVPR52729.2023.01550},
  timestamp    = {Tue, 29 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/cvpr/FelDVCCNS23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2304-09938,
  author       = {M{\'{e}}lanie Ducoffe and
                  Maxime Carrere and
                  L{\'{e}}o F{\'{e}}liers and
                  Adrien Gauffriau and
                  Vincent Mussot and
                  Claire Pagetti and
                  Thierry Sammour},
  title        = {{LARD} - Landing Approach Runway Detection - Dataset for Vision Based
                  Landing},
  journal      = {CoRR},
  volume       = {abs/2304.09938},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2304.09938},
  doi          = {10.48550/ARXIV.2304.09938},
  eprinttype    = {arXiv},
  eprint       = {2304.09938},
  timestamp    = {Mon, 24 Apr 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2304-09938.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/VidotDGOO22,
  author       = {Guillaume Vidot and
                  M{\'{e}}lanie Ducoffe and
                  Christophe Gabreau and
                  Ileana Ober and
                  Iulian Ober},
  editor       = {Jan Friso Groote and
                  Marieke Huisman},
  title        = {Formal Monotony Analysis of Neural Networks with Mixed Inputs: An
                  Asset for Certification},
  booktitle    = {Formal Methods for Industrial Critical Systems - 27th International
                  Conference, {FMICS} 2022, Warsaw, Poland, September 14-15, 2022, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {13487},
  pages        = {15--31},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-15008-1\_3},
  doi          = {10.1007/978-3-031-15008-1\_3},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fmics/VidotDGOO22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-07728,
  author       = {Thomas Fel and
                  Melanie Ducoffe and
                  David Vigouroux and
                  R{\'{e}}mi Cad{\`{e}}ne and
                  Mikael Capelle and
                  Claire Nicodeme and
                  Thomas Serre},
  title        = {Don't Lie to Me! Robust and Efficient Explainability with Verified
                  Perturbation Analysis},
  journal      = {CoRR},
  volume       = {abs/2202.07728},
  year         = {2022},
  url          = {https://arxiv.org/abs/2202.07728},
  eprinttype    = {arXiv},
  eprint       = {2202.07728},
  timestamp    = {Fri, 18 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2202-07728.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/GauffriauMD21,
  author       = {Adrien Gauffriau and
                  Fran{\c{c}}ois Malgouyres and
                  M{\'{e}}lanie Ducoffe},
  editor       = {Hu{\'{a}}scar Espinoza and
                  John A. McDermid and
                  Xiaowei Huang and
                  Mauricio Castillo{-}Effen and
                  Xin Cynthia Chen and
                  Jos{\'{e}} Hern{\'{a}}ndez{-}Orallo and
                  Se{\'{a}}n {\'{O}} h{\'{E}}igeartaigh and
                  Richard Mallah},
  title        = {Overestimation Learning with Guarantees},
  booktitle    = {Proceedings of the Workshop on Artificial Intelligence Safety 2021
                  (SafeAI 2021) co-located with the Thirty-Fifth {AAAI} Conference on
                  Artificial Intelligence {(AAAI} 2021), Virtual, February 8, 2021},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2808},
  publisher    = {CEUR-WS.org},
  year         = {2021},
  url          = {https://ceur-ws.org/Vol-2808/Paper\_3.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:15 +0100},
  biburl       = {https://dblp.org/rec/conf/aaai/GauffriauMD21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-11717,
  author       = {Adrien Gauffriau and
                  Fran{\c{c}}ois Malgouyres and
                  M{\'{e}}lanie Ducoffe},
  title        = {Overestimation learning with guarantees},
  journal      = {CoRR},
  volume       = {abs/2101.11717},
  year         = {2021},
  url          = {https://arxiv.org/abs/2101.11717},
  eprinttype    = {arXiv},
  eprint       = {2101.11717},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2101-11717.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eaai/FinkWSDLD20,
  author       = {Olga Fink and
                  Qin Wang and
                  Markus Svens{\'{e}}n and
                  Pierre Dersin and
                  Wan{-}Jui Lee and
                  Melanie Ducoffe},
  title        = {Potential, challenges and future directions for deep learning in prognostics
                  and health management applications},
  journal      = {Eng. Appl. Artif. Intell.},
  volume       = {92},
  pages        = {103678},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.engappai.2020.103678},
  doi          = {10.1016/J.ENGAPPAI.2020.103678},
  timestamp    = {Fri, 14 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eaai/FinkWSDLD20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/DucoffeGG20,
  author       = {Melanie Ducoffe and
                  S{\'{e}}bastien Gerchinovitz and
                  Jayant Sen Gupta},
  editor       = {Hu{\'{a}}scar Espinoza and
                  Jos{\'{e}} Hern{\'{a}}ndez{-}Orallo and
                  Xin Cynthia Chen and
                  Se{\'{a}}n S. {\'{O}}h{\'{E}}igeartaigh and
                  Xiaowei Huang and
                  Mauricio Castillo{-}Effen and
                  Richard Mallah and
                  John A. McDermid},
  title        = {A High Probability Safety Guarantee for Shifted Neural Network Surrogates},
  booktitle    = {Proceedings of the Workshop on Artificial Intelligence Safety, co-located
                  with 34th {AAAI} Conference on Artificial Intelligence, SafeAI@AAAI
                  2020, New York City, NY, USA, February 7, 2020},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2560},
  pages        = {74--82},
  publisher    = {CEUR-WS.org},
  year         = {2020},
  url          = {https://ceur-ws.org/Vol-2560/paper11.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:15 +0100},
  biburl       = {https://dblp.org/rec/conf/aaai/DucoffeGG20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2005-07031,
  author       = {Gabriel Rodriguez Garcia and
                  Gabriel Michau and
                  M{\'{e}}lanie Ducoffe and
                  Jayant Sen Gupta and
                  Olga Fink},
  title        = {Time Series to Images: Monitoring the Condition of Industrial Assets
                  with Deep Learning Image Processing Algorithms},
  journal      = {CoRR},
  volume       = {abs/2005.07031},
  year         = {2020},
  url          = {https://arxiv.org/abs/2005.07031},
  eprinttype    = {arXiv},
  eprint       = {2005.07031},
  timestamp    = {Sat, 23 Jan 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2005-07031.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@phdthesis{DBLP:phd/hal/Ducoffe18,
  author       = {M{\'{e}}lanie Ducoffe},
  title        = {Active learning and input space analysis for deep networks. (Active
                  learning et visualisation des donn{\'{e}}es d'apprentissage pour
                  les r{\'{e}}seaux de neurones profonds)},
  school       = {University of C{\^{o}}te d'Azur, Nice, France},
  year         = {2018},
  url          = {https://tel.archives-ouvertes.fr/tel-02271840},
  timestamp    = {Tue, 21 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/phd/hal/Ducoffe18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acl/VanniDAPM18,
  author       = {Laurent Vanni and
                  M{\'{e}}lanie Ducoffe and
                  Carlos Aguilar and
                  Fr{\'{e}}d{\'{e}}ric Precioso and
                  Damon Mayaffre},
  editor       = {Iryna Gurevych and
                  Yusuke Miyao},
  title        = {Textual Deconvolution Saliency {(TDS)} : a deep tool box for linguistic
                  analysis},
  booktitle    = {Proceedings of the 56th Annual Meeting of the Association for Computational
                  Linguistics, {ACL} 2018, Melbourne, Australia, July 15-20, 2018, Volume
                  1: Long Papers},
  pages        = {548--557},
  publisher    = {Association for Computational Linguistics},
  year         = {2018},
  url          = {https://aclanthology.org/P18-1051/},
  doi          = {10.18653/V1/P18-1051},
  timestamp    = {Fri, 06 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/acl/VanniDAPM18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclr/CourtyFD18,
  author       = {Nicolas Courty and
                  R{\'{e}}mi Flamary and
                  M{\'{e}}lanie Ducoffe},
  title        = {Learning Wasserstein Embeddings},
  booktitle    = {6th International Conference on Learning Representations, {ICLR} 2018,
                  Vancouver, BC, Canada, April 30 - May 3, 2018, Conference Track Proceedings},
  publisher    = {OpenReview.net},
  year         = {2018},
  url          = {https://openreview.net/forum?id=SJyEH91A-},
  timestamp    = {Thu, 25 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iclr/CourtyFD18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-09841,
  author       = {Melanie Ducoffe and
                  Fr{\'{e}}d{\'{e}}ric Precioso},
  title        = {Adversarial Active Learning for Deep Networks: a Margin Based Approach},
  journal      = {CoRR},
  volume       = {abs/1802.09841},
  year         = {2018},
  url          = {http://arxiv.org/abs/1802.09841},
  eprinttype    = {arXiv},
  eprint       = {1802.09841},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1802-09841.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/3dui/ArgelaguetDLG17,
  author       = {Ferran Argelaguet and
                  Melanie Ducoffe and
                  Anatole L{\'{e}}cuyer and
                  R{\'{e}}mi Gribonval},
  editor       = {Maud Marchal and
                  Robert J. Teather and
                  Bruce H. Thomas},
  title        = {Spatial and rotation invariant 3D gesture recognition based on sparse
                  representation},
  booktitle    = {2017 {IEEE} Symposium on 3D User Interfaces, 3DUI 2017, Los Angeles,
                  CA, USA, March 18-19, 2017},
  pages        = {158--167},
  publisher    = {{IEEE} Computer Society},
  year         = {2017},
  url          = {https://doi.org/10.1109/3DUI.2017.7893333},
  doi          = {10.1109/3DUI.2017.7893333},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/3dui/ArgelaguetDLG17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esann/DucoffeP17,
  author       = {Melanie Ducoffe and
                  Fr{\'{e}}d{\'{e}}ric Precioso},
  title        = {Active learning strategy for {CNN} combining batchwise Dropout and
                  Query-By-Committee},
  booktitle    = {25th European Symposium on Artificial Neural Networks, {ESANN} 2017,
                  Bruges, Belgium, April 26-28, 2017},
  year         = {2017},
  url          = {https://www.esann.org/sites/default/files/proceedings/legacy/es2017-122.pdf},
  timestamp    = {Tue, 02 Aug 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/esann/DucoffeP17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-07457,
  author       = {Nicolas Courty and
                  R{\'{e}}mi Flamary and
                  M{\'{e}}lanie Ducoffe},
  title        = {Learning Wasserstein Embeddings},
  journal      = {CoRR},
  volume       = {abs/1710.07457},
  year         = {2017},
  url          = {http://arxiv.org/abs/1710.07457},
  eprinttype    = {arXiv},
  eprint       = {1710.07457},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1710-07457.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/Al-RfouAAa16,
  author       = {Rami Al{-}Rfou and
                  Guillaume Alain and
                  Amjad Almahairi and
                  Christof Angerm{\"{u}}ller and
                  Dzmitry Bahdanau and
                  Nicolas Ballas and
                  Fr{\'{e}}d{\'{e}}ric Bastien and
                  Justin Bayer and
                  Anatoly Belikov and
                  Alexander Belopolsky and
                  Yoshua Bengio and
                  Arnaud Bergeron and
                  James Bergstra and
                  Valentin Bisson and
                  Josh Bleecher Snyder and
                  Nicolas Bouchard and
                  Nicolas Boulanger{-}Lewandowski and
                  Xavier Bouthillier and
                  Alexandre de Br{\'{e}}bisson and
                  Olivier Breuleux and
                  Pierre Luc Carrier and
                  Kyunghyun Cho and
                  Jan Chorowski and
                  Paul F. Christiano and
                  Tim Cooijmans and
                  Marc{-}Alexandre C{\^{o}}t{\'{e}} and
                  Myriam C{\^{o}}t{\'{e}} and
                  Aaron C. Courville and
                  Yann N. Dauphin and
                  Olivier Delalleau and
                  Julien Demouth and
                  Guillaume Desjardins and
                  Sander Dieleman and
                  Laurent Dinh and
                  Melanie Ducoffe and
                  Vincent Dumoulin and
                  Samira Ebrahimi Kahou and
                  Dumitru Erhan and
                  Ziye Fan and
                  Orhan Firat and
                  Mathieu Germain and
                  Xavier Glorot and
                  Ian J. Goodfellow and
                  Matthew Graham and
                  {\c{C}}aglar G{\"{u}}l{\c{c}}ehre and
                  Philippe Hamel and
                  Iban Harlouchet and
                  Jean{-}Philippe Heng and
                  Bal{\'{a}}zs Hidasi and
                  Sina Honari and
                  Arjun Jain and
                  S{\'{e}}bastien Jean and
                  Kai Jia and
                  Mikhail Korobov and
                  Vivek Kulkarni and
                  Alex Lamb and
                  Pascal Lamblin and
                  Eric Larsen and
                  C{\'{e}}sar Laurent and
                  Sean Lee and
                  Simon Lefran{\c{c}}ois and
                  Simon Lemieux and
                  Nicholas L{\'{e}}onard and
                  Zhouhan Lin and
                  Jesse A. Livezey and
                  Cory Lorenz and
                  Jeremiah Lowin and
                  Qianli Ma and
                  Pierre{-}Antoine Manzagol and
                  Olivier Mastropietro and
                  Robert McGibbon and
                  Roland Memisevic and
                  Bart van Merri{\"{e}}nboer and
                  Vincent Michalski and
                  Mehdi Mirza and
                  Alberto Orlandi and
                  Christopher Joseph Pal and
                  Razvan Pascanu and
                  Mohammad Pezeshki and
                  Colin Raffel and
                  Daniel Renshaw and
                  Matthew Rocklin and
                  Adriana Romero and
                  Markus Roth and
                  Peter Sadowski and
                  John Salvatier and
                  Fran{\c{c}}ois Savard and
                  Jan Schl{\"{u}}ter and
                  John Schulman and
                  Gabriel Schwartz and
                  Iulian Vlad Serban and
                  Dmitriy Serdyuk and
                  Samira Shabanian and
                  {\'{E}}tienne Simon and
                  Sigurd Spieckermann and
                  S. Ramana Subramanyam and
                  Jakub Sygnowski and
                  J{\'{e}}r{\'{e}}mie Tanguay and
                  Gijs van Tulder and
                  Joseph P. Turian and
                  Sebastian Urban and
                  Pascal Vincent and
                  Francesco Visin and
                  Harm de Vries and
                  David Warde{-}Farley and
                  Dustin J. Webb and
                  Matthew Willson and
                  Kelvin Xu and
                  Lijun Xue and
                  Li Yao and
                  Saizheng Zhang and
                  Ying Zhang},
  title        = {Theano: {A} Python framework for fast computation of mathematical
                  expressions},
  journal      = {CoRR},
  volume       = {abs/1605.02688},
  year         = {2016},
  url          = {http://arxiv.org/abs/1605.02688},
  eprinttype    = {arXiv},
  eprint       = {1605.02688},
  timestamp    = {Thu, 30 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/Al-RfouAAa16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DucoffeP15,
  author       = {Melanie Ducoffe and
                  Fr{\'{e}}d{\'{e}}ric Precioso},
  title        = {{QBDC:} Query by dropout committee for training deep supervised architecture},
  journal      = {CoRR},
  volume       = {abs/1511.06412},
  year         = {2015},
  url          = {http://arxiv.org/abs/1511.06412},
  eprinttype    = {arXiv},
  eprint       = {1511.06412},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/DucoffeP15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics