Towards secure and robust stateful deep learning systems with model-based analysis

by Du, Xiaoning
Published 2020

Decision-guided weighted automata extraction from recurrent neural networks

by ZHANG, Xiyue, DU, Xiaoning, XIE, Xiaofei, MA, Lei, LIU, Yang, SUN, Meng
Published 2021

DeepStellar: Model-based quantitative analysis of stateful deep learning systems

by DU, Xiaoning, XIE, Xiaofei, LI, Yi, MA, Lei, LIU, Yang, ZHAO, Jianjun
Published 2019

A quantitative analysis framework for recurrent neural network

by DU, Xiaoning, XIE, Xiaofei, LI, Yi, MA, Lei, LIU, Yang, ZHAO, Jianjun
Published 2019

Marble: Model-based robustness analysis of stateful deep learning systems

by DU, Xiaoning, LI, Yi, XIE, Xiaofei, MA, Lei, LIU, Yang, ZHAO, Jianjun
Published 2020

DistXplore: Distribution-guided testing for evaluating and enhancing deep learning systems

by WANG, Longtian, XIE, Xiaofei, DU, Xiaoning, TIAN, Meng, GUO, Qing, YANG, Zheng, SHEN, Chao
Published 2023

Towards characterizing adversarial defects of deep learning software from the lens of uncertainty

by ZHANG, Xiyue, XIE, Xiaofei, MA, Lei, DU, Xiaoning, HU, Qiang, LIU, Yang, ZHAO, Jianjun, SUN, Meng
Published 2020