Xiaoning DU
Xiaoning DU
Lecturer (Assistant Prof), Monash University
Verified email at monash.edu
Title
Cited by
Cited by
Year
DeepStellar: model-based quantitative analysis of stateful deep learning systems
X Du, X Xie, Y Li, L Ma, Y Liu, J Zhao
Proceedings of the 2019 27th ACM Joint Meeting on European Software …, 2019
92*2019
Devign: Effective Vulnerability Identification by Learning Comprehensive Program Semantics via Graph Neural Networks
Y Zhou, S Liu, J Siow, X Du, Y Liu
https://arxiv.org/abs/1909.03496, 2019
862019
Who is real bob? adversarial attacks on speaker recognition systems
G Chen, S Chenb, L Fan, X Du, Z Zhao, F Song, Y Liu
2021 IEEE Symposium on Security and Privacy (SP), 694-711, 2021
432021
Leopard: Identifying vulnerable code for vulnerability assessment through program metrics
X Du, B Chen, Y Li, J Guo, Y Zhou, Y Liu, Y Jiang
2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE …, 2019
342019
Towards characterizing adversarial defects of deep learning software from the lens of uncertainty
X Zhang, X Xie, L Ma, X Du, Q Hu, Y Liu, J Zhao, M Sun
2020 IEEE/ACM 42nd International Conference on Software Engineering (ICSE …, 2020
312020
Trace-length independent runtime monitoring of quantitative policies in LTL
X Du, Y Liu, A Tiu
International Symposium on Formal Methods, 231-247, 2015
112015
A Quantitative Analysis Framework for Recurrent Neural Network
X Du, X Xie, Y Li, L Ma, Y Liu, J Zhao
2019 34th IEEE/ACM International Conference on Automated Software …, 2019
62019
Marble: Model-based robustness analysis of stateful deep learning systems
X Du, Y Li, X Xie, L Ma, Y Liu, J Zhao
Proceedings of the 35th IEEE/ACM International Conference on Automated …, 2020
52020
Trace-Length Independent Runtime Monitoring of Quantitative Policies
X Du, A Tiu, K Cheng, Y Liu
IEEE Transactions on Dependable and Secure Computing, 2019
32019
Towards Building a Generic Vulnerability Detection Platform by Combining Scalable Attacking Surface Analysis and Directed Fuzzing
X Du
International Conference on Formal Engineering Methods, 464-468, 2018
32018
Decision-Guided Weighted Automata Extraction from Recurrent Neural Networks
X Zhang, X Du, X Xie, L Ma, Y Liu, M Sun
Proceedings of the AAAI Conference on Artificial Intelligence 35 (13), 11699 …, 2021
22021
Marvel: a generic, scalable and effective vulnerability detection platform
X Du
2019 IEEE/ACM 41st International Conference on Software Engineering …, 2019
12019
Towards secure and robust stateful deep learning systems with model‑based analysis
X Du
The system can't perform the operation now. Try again later.
Articles 1–13