Towards formal methods and software engineering for deep learning: Security, safety and productivity for dl systems development

Gaétan Hains 1 Arvid Jakobsson 1 Youry Khmelevsky 2
1 LIFO - Laboratoire d'Informatique Fondamentale d'Orléans
2 Okanagan College
Document type :
Conference papers
Complete list of metadatas
https://hal.inria.fr/hal-01819035
Contributor : Arvid Jakobsson <>
Submitted on : Tuesday, June 19, 2018 - 8:22:41 PM
Last modification on : Thursday, January 17, 2019 - 3:06:06 PM

Identifiers

Collections

MSL | MSL-THESE | UNIV-ORLEANS

Citation

Gaétan Hains, Arvid Jakobsson, Youry Khmelevsky. Towards formal methods and software engineering for deep learning: Security, safety and productivity for dl systems development. 2018 Annual IEEE International Systems Conference (SysCon), Apr 2018, Vancouver, France. ⟨10.1109/SYSCON.2018.8369576⟩. ⟨hal-01819035⟩

Export

BibTeX TEI DC DCterms EndNote

Share

Metrics

Record views

65

Contact


archive-ouverte@inria.fr