Articles with public access mandates - Zhiwu XuLearn more
Not available anywhere: 4
Output range analysis for feed-forward deep neural networks via linear programming
Z Xu, Y Liu, S Qin, Z Ming
IEEE Transactions on Reliability 72 (3), 1191-1205, 2022
Mandates: National Natural Science Foundation of China
Towards an Effective Syntax and a Generator for Deterministic Standard Regular Expressions
Z Xu, P Lu, H Chen
The Computer Journal 62 (9), 1322-1341, 2019
Mandates: National Natural Science Foundation of China
Detecting API-Misuse Based on Pattern Mining via API Usage Graph with Parameters
Y Wu, Z Xu, S Qin
International Symposium on Theoretical Aspects of Software Engineering, 344-363, 2023
Mandates: National Natural Science Foundation of China
Charge Prediction for Criminal Law with Semantic Attributes
C Zhou, W Cao, Z Xu
International Conference on Smart Computing and Communication, 208-217, 2021
Mandates: National Natural Science Foundation of China
Available somewhere: 30
Memlock: Memory usage guided fuzzing
C Wen, H Wang, Y Li, S Qin, Y Liu, Z Xu, H Chen, X Xie, G Pu, T Liu
Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020
Mandates: National Natural Science Foundation of China
CDGDroid: Android malware detection based on deep learning using CFG and DFG
Z Xu, K Ren, S Qin, F Craciun
Formal Methods and Software Engineering: 20th International Conference on …, 2018
Mandates: National Natural Science Foundation of China
Polymorphic Functions with Set-Theoretic Types: Part 2: Local Type Inference and Type Reconstruction
G Castagna, K Nguyen, Z Xu, P Abate
Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015
Mandates: National Natural Science Foundation of China
Android malware family classification and characterization using CFG and DFG
XU Zhiwu, K Ren, F Song
2019 International Symposium on Theoretical Aspects of Software Engineering …, 2019
Mandates: National Natural Science Foundation of China
Bidirectional stochastic configuration network for regression problems
W Cao, Z Xie, J Li, Z Xu, Z Ming, X Wang
Neural Networks 140, 237-246, 2021
Mandates: National Natural Science Foundation of China
Flashregex: Deducing anti-redos regexes from examples
Y Li, Z Xu, J Cao, H Chen, T Ge, SC Cheung, H Zhao
Proceedings of the 35th IEEE/ACM International Conference on Automated …, 2020
Mandates: US National Science Foundation, National Natural Science Foundation of China
State-taint analysis for detecting resource bugs
Z Xu, C Wen, S Qin
Science of Computer Programming 162, 93-109, 2018
Mandates: National Natural Science Foundation of China
Research progress of zero-shot learning beyond computer vision
W Cao, C Zhou, Y Wu, Z Ming, Z Xu, J Zhang
Algorithms and Architectures for Parallel Processing: 20th International …, 2020
Mandates: National Natural Science Foundation of China
Controlled concurrency testing via periodical scheduling
C Wen, M He, B Wu, Z Xu, S Qin
Proceedings of the 44th International Conference on Software Engineering …, 2022
Mandates: National Natural Science Foundation of China
ReDoSHunter: A Combined Static and Dynamic Approach for Regular Expression DoS Detection
Y Li, Z Chen, J Cao, Z Xu, Q Peng, H Chen, L Chen, SC Cheung
30th {USENIX} Security Symposium ({USENIX} Security 21), 3847-3864, 2021
Mandates: National Natural Science Foundation of China
TRANSREGEX: Multi-modal Regular Expression Synthesis by Generate-and-Repair
Y Li, S Li, Z Xu, J Cao, Z Chen, Y Hu, H Chen, SC Cheung
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE …, 2021
Mandates: National Natural Science Foundation of China
A permission-dependent type system for secure information flow analysis
H Chen, A Tiu, Z Xu, Y Liu
2018 IEEE 31st Computer Security Foundations Symposium (CSF), 218-232, 2018
Mandates: National Natural Science Foundation of China
Learning types for binaries
Z Xu, C Wen, S Qin
Formal Methods and Software Engineering: 19th International Conference on …, 2017
Mandates: National Natural Science Foundation of China
Probabilistic Alternating-Time µ-Calculus
F Song, Y Zhang, T Chen, Y Tang, Z Xu
Proceedings of the AAAI Conference on Artificial Intelligence 33 (01), 6179-6186, 2019
Mandates: National Natural Science Foundation of China, UK Engineering and Physical …
Towards ‘verifying’a water treatment system
J Wang, J Sun, Y Jia, S Qin, Z Xu
Formal Methods: 22nd International Symposium, FM 2018, Held as Part of the …, 2018
Mandates: National Natural Science Foundation of China, National Research Foundation …
Adversarial attacks on deep learning models of computer vision: A survey
J Ding, Z Xu
Algorithms and Architectures for Parallel Processing: 20th International …, 2020
Mandates: National Natural Science Foundation of China
Publication and funding information is determined automatically by a computer program