Juan Zhai
Cytowane przez
Cytowane przez
Trojaning attack on neural networks
Y Liu, S Ma, Y Aafer, WC Lee, J Zhai, W Wang, X Zhang
MPI: Multiple Perspective Attack Investigation with Semantic Aware Execution Partitioning.
S Ma, J Zhai, F Wang, KH Lee, X Zhang, D Xu
USENIX Security Symposium, 1111-1128, 2017
Kernel-supported cost-effective audit logging for causality tracking
S Ma, J Zhai, Y Kwon, KH Lee, X Zhang, G Ciocarlie, A Gehani, ...
2018 {USENIX} Annual Technical Conference ({USENIX}{ATC} 18), 241-254, 2018
Automatic model generation from documentation for Java API functions
J Zhai, J Huang, S Ma, X Zhang, L Tan, J Zhao, F Qin
Proceedings of the 38th International Conference on Software Engineering …, 2016
Critical topographic threshold of gully erosion in Yuanmou Dry-hot Valley in Southwestern China
Y Dong, D Xiong, Z Su, J Li, D Yang, J Zhai, X Lu, G Liu, L Shi
Physical Geography 34 (1), 50-59, 2013
Correlations between deep neural network model coverage criteria and model quality
S Yan, G Tao, X Liu, J Zhai, S Ma, L Xu, X Zhang
Proceedings of the 28th ACM Joint Meeting on European Software Engineering …, 2020
CPC: Automatically classifying and propagating natural language comments via program analysis
J Zhai, X Xu, Y Shi, G Tao, M Pan, S Ma, L Xu, W Zhang, L Tan, X Zhang
Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020
LAMP: data provenance for graph based machine learning algorithms through derivative computation
S Ma, Y Aafer, Z Xu, WC Lee, J Zhai, Y Liu, X Zhang
Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017
Reducing energy demand in China and the United Kingdom: The importance of energy literacy
DRE Cotton, J Zhai, W Miller, L Dalla Valle, J Winter
Journal of cleaner production 278, 123876, 2021
Progress of integrated ecosystem assessment: Concept, framework and challenges
P Hou, Q Wang, WM Shen, J Zhai, HM Liu, M Yang
Geographical Research 34 (10), 1809-1823, 2015
Autotrainer: An automatic dnn training problem detection and repair system
X Zhang, J Zhai, S Ma, C Shen
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE …, 2021
C2S: translating natural language comments to formal program specifications
J Zhai, Y Shi, M Pan, G Zhou, Y Liu, C Fang, S Ma, L Tan, X Zhang
Proceedings of the 28th ACM Joint Meeting on European Software Engineering …, 2020
Evaluation on ecosystem changes and protection of the national key ecological function zones in mountainous areas of central Hainan Island
P Hou, J Zhai, W Cao, M Yang, MY Cai, J Li
Acta Geogr. Sin 73 (3), 429-441, 2018
Preference-wise testing for android applications
Y Lu, M Pan, J Zhai, T Zhang, X Li
Proceedings of the 2019 27th ACM Joint Meeting on European Software …, 2019
Morphological characteristics and causes of gullies in Yuanmou Dry-hot Valley region
D Yang, DH Xiong, J Zhai, JJ Li, ZA Su, YF Dong
Science of Soil and Water Conservation 10 (1), 38-45, 2012
Post-condition-directed invariant inference for loops over data structures
J Zhai, H Wang, J Zhao
2014 IEEE Eighth International Conference on Software Security and …, 2014
Influence factors of morphological development of soil cracks in degraded slopes in Yuanmou dry-hot valley region
D Xiong, D Yang, J Li, Z Su, Y Dong, J Zhai
Transactions of the Chinese Society of Agricultural Engineering 29 (1), 102-108, 2013
Bppattack: Stealthy and efficient trojan attacks against deep neural networks via image quantization and contrastive adversarial learning
Z Wang, J Zhai, S Ma
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern …, 2022
Automated generation of ltl specifications for smart home iot using natural language
S Zhang, J Zhai, L Bu, M Chen, L Wang, X Li
2020 Design, Automation & Test in Europe Conference & Exhibition (DATE), 622-625, 2020
China’s ecological protection redlines: Evaluation framework and method of protection effect
P Hou, Q Wang, M Yang, J Li, J Zhai, M Cai
Geographical Research 37 (10), 1927-1937, 2018
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–20