Towards formal methods and software engineering for deep learning: Security, safety and productivity for dl systems development - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2018

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

Gaétan Hains
Laboratoire d'Informatique Fondamentale d'Orléans
Arvid Jakobsson
  • Function : Author
Laboratoire d'Informatique Fondamentale d'Orléans
Youry Khmelevsky
  • Function : Author
  • PersonId : 950768
Okanagan College

Domains

Computer Science [cs]
Fichier principal
Vignette du fichier
Towards_formal_methods_and_software_engineering_for_deep_learning_Security_safety_and_productivity_for_dl_systems_development.pdf (6.29 Mo) Télécharger le fichier
Origin : Files produced by the author(s)

Gaétan Hains  : Connect in order to contact the contributor

https://hal.science/hal-01819035

Submitted on : Tuesday, December 19, 2023-8:29:21 AM

Last modification on : Saturday, December 23, 2023-3:30:07 AM

Download

Dates and versions

hal-01819035 , version 1 (19-12-2023)

Licence

Attribution

Identifiers

Cite

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 XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-ORLEANS LACL UPEC INSA-GROUPE INSA-CVL
98 View
12 Download

Altmetric

Share

Gmail Facebook X LinkedIn More