Supplementary Materials for: Marble: Model-based Robustness Analysis of Stateful Deep Learning Systems (doi:10.21979/N9/TTTSFK)

View:

Part 1: Document Description
Part 2: Study Description
Part 5: Other Study-Related Materials
Entire Codebook

(external link)

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

Study Description

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.

Other Study-Related Materials

Label:

MARBLE_appendix.pdf

Text:

Additional proofs

Notes:

application/pdf