| 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 | 69* | 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 | 34 | 2019 |
| 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 | 25 | 2019 |
| 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 | 20 | 2020 |
| Who is Real Bob? Adversarial Attacks on Speaker Recognition Systems G Chen, S Chen, L Fan, X Du, Z Zhao, F Song, Y Liu arXiv preprint arXiv:1911.01840, 2019 | 20 | 2019 |
| Trace-length independent runtime monitoring of quantitative policies in LTL X Du, Y Liu, A Tiu International Symposium on Formal Methods, 231-247, 2015 | 9 | 2015 |
| Marble: Model-based Robustness Analysis of Stateful Deep Learning Systems X Du, Y Li, X Xie, L Ma, Y Liu, J Zhao 2020 35th IEEE/ACM International Conference on Automated Software …, 2020 | 3 | 2020 |
| 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 | 2 | 2019 |
| Trace-Length Independent Runtime Monitoring of Quantitative Policies X Du, A Tiu, K Cheng, Y Liu IEEE Transactions on Dependable and Secure Computing, 2019 | 2 | 2019 |
| 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 | 1 | 2018 |
| Decision-Guided Weighted Automata Extraction from Recurrent Neural Networks X Zhang, X Du, X Xie, L Ma, Y Liu, M Sun | | 2021 |
| Marvel: a generic, scalable and effective vulnerability detection platform X Du 2019 IEEE/ACM 41st International Conference on Software Engineering …, 2019 | | 2019 |
| Towards secure and robust stateful deep learning systems with model-based analysis X Du Nanyang Technological University, 2019 | | 2019 |
Yang LiuUniversity Leadership Forum Chair Professor, Nanyang Technological UniversityVerified email at ntu.edu.sg
