View: |
Part 1: Document Description
|
Citation |
|
---|---|
Title: |
Supplementary Materials for: Marble: Model-based Robustness Analysis of Stateful Deep Learning Systems |
Identification Number: |
doi:10.21979/N9/TTTSFK |
Distributor: |
DR-NTU (Data) |
Date of Distribution: |
2020-08-26 |
Version: |
1 |
Bibliographic Citation: |
Du, Xiaoning; Li, Yi; Xie, Xiaofei; Ma, Lei; Liu, Yang; Zhao, Jianjun, 2020, "Supplementary Materials for: Marble: Model-based Robustness Analysis of Stateful Deep Learning Systems", https://doi.org/10.21979/N9/TTTSFK, DR-NTU (Data), V1 |
Citation |
|
Title: |
Supplementary Materials for: Marble: Model-based Robustness Analysis of Stateful Deep Learning Systems |
Identification Number: |
doi:10.21979/N9/TTTSFK |
Authoring Entity: |
Du, Xiaoning (Nanyang Technological University) |
Li, Yi (Nanyang Technological University) |
|
Xie, Xiaofei (Nanyang Technological University) |
|
Ma, Lei (Kyushu University) |
|
Liu, Yang (Nanyang Technological University) |
|
Zhao, Jianjun (Kyushu University) |
|
Software used in Production: |
PDF reader |
Grant Number: |
Academic Research Fund Tier 1 Award No. 2018-T1-002-069 |
Grant Number: |
Prime Ministers Office, Singapore under its National Cybersecurity R&D Program Award No. NRF2018NCRNCR005-0001 |
Grant Number: |
NCR Award Number NSOE003-0001 |
Grant Number: |
NRFI06-2020-0022 |
Grant Number: |
funding NGF-2019-06-024 |
Distributor: |
DR-NTU (Data) |
Access Authority: |
Li, Yi |
Depositor: |
Li, Yi |
Date of Deposit: |
2020-08-26 |
Holdings Information: |
https://doi.org/10.21979/N9/TTTSFK |
Study Scope |
|
Keywords: |
Computer and Information Science, Computer and Information Science, Deep learning, robustness, recurrent neural network |
Abstract: |
This supplementary material contains additional proofs for the paper: "Marble: Model-based Robustness Analysis of Stateful DeepLearning Systems". |
Kind of Data: |
Proofs |
Methodology and Processing |
|
Sources Statement |
|
Data Access |
|
Other Study Description Materials |
|
Related Publications |
|
Citation |
|
Identification Number: |
10.1145/3324884.3416564 |
Bibliographic Citation: |
Du, X., Li, Y., Xie, X., Ma, L., Liu, Y., & Zhao, J. (2020, September). Marble: Model-based Robustness Analysis of Stateful Deep Learning Systems. In 2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) (pp. 423-435). IEEE. |
Label: |
MARBLE_appendix.pdf |
Text: |
Additional proofs |
Notes: |
application/pdf |