Follow
Wenjie Ruan
Wenjie Ruan
Senior Lecturer at University of Exeter
Verified email at cs.ox.ac.uk - Homepage
Title
Cited by
Cited by
Year
A survey of safety and trustworthiness of deep neural networks: Verification, testing, adversarial attack and defence, and interpretability
X Huang, D Kroening, W Ruan, J Sharp, Y Sun, E Thamo, M Wu, X Yi
Computer Science Review 37, 100270, 2020
298*2020
Concolic testing for deep neural networks
Y Sun, M Wu, W Ruan, X Huang, M Kwiatkowska, D Kroening
Proceedings of the 33rd ACM/IEEE International Conference on Automated …, 2018
2362018
Reachability analysis of deep neural networks with provable guarantees
W Ruan, X Huang, M Kwiatkowska
Proceedings of the 27th International Joint Conference on Artificial …, 2018
2232018
AudioGest: enabling fine-grained hand gesture detection by decoding echo signal
W Ruan, QZ Sheng, L Yang, T Gu, P Xu, L Shangguan
Proceedings of the 2016 ACM international joint conference on pervasive and …, 2016
1092016
A modeling and control approach to magnetic levitation system based on state-dependent ARX model
Y Qin, H Peng, W Ruan, J Wu, J Gao
Journal of Process Control 24 (1), 93-112, 2014
892014
Compressive Representation for Device-Free Activity Recognition with Passive RFID Signal Strength
L Yao, QZ Sheng, X Li, T Gu, M Tan, X Wang, S Wang, W Ruan
IEEE Transactions on Mobile Computing, 2018
882018
A game-based approximate verification of deep neural networks with provable guarantees
M Wu, M Wicker, W Ruan, X Huang, M Kwiatkowska
Theoretical Computer Science 807, 298-329, 2020
872020
Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Hamming Distance
W Ruan, M Wu, Y Sun, X Huang, D Kroening, M Kwiatkowska
The 28th International Joint Conference on Artificial Intelligence (IJCAI'19), 2019
80*2019
Rf-care: Device-free posture recognition for elderly people using a passive rfid tag array
L Yao, QZ Sheng, W Ruan, T Gu, X Li, N Falkner, Z Yang
proceedings of the 12th EAI International Conference on Mobile and …, 2015
552015
Tagtrack: Device-free localization and tracking using passive rfid tags
W Ruan, L Yao, QZ Sheng, NJG Falkner, X Li
Proceedings of the 11th international conference on mobile and ubiquitous …, 2014
512014
Concare: Personalized clinical feature embedding via capturing the healthcare context
L Ma, C Zhang, Y Wang, W Ruan, J Wang, W Tang, X Ma, X Gao, J Gao
Proceedings of the AAAI Conference on Artificial Intelligence (AAAI'20) 34 …, 2020
492020
Service recommendation for mashup composition with implicit correlation regularization
L Yao, X Wang, QZ Sheng, W Ruan, W Zhang
2015 IEEE International Conference on Web Services (ICWS), 217-224, 2015
442015
Device-free human localization and tracking with UHF passive RFID tags: A data-driven approach
W Ruan, QZ Sheng, L Yao, X Li, NJG Falkner, L Yang
Journal of Network and Computer Applications 104, 78-96, 2018
402018
Adacare: Explainable clinical health status representation learning via scale-adaptive feature extraction and recalibration
L Ma, J Gao, Y Wang, C Zhang, J Wang, W Ruan, W Tang, X Gao, X Ma
Proceedings of the AAAI Conference on Artificial Intelligence (AAAI'20) 34 …, 2020
392020
Tagfall: Towards unobstructive fine-grained fall detection based on uhf passive rfid tags
W Ruan, L Yao, QZ Sheng, N Falkner, X Li, T Gu
proceedings of the 12th EAI International Conference on Mobile and …, 2015
362015
Device-free Indoor Localization and Tracking through Human-Object Interactions
W Ruan, QZ Sheng, L Yao, T Gu, M Ruta, L Shangguan
World of Wireless, Mobile and Multimedia Networks (WoWMoM), 2016 IEEE 17th …, 2016
322016
Coverage Guided Testing for Recurrent Neural Networks
W Huang, Y Sun, X Zhao, J Sharp, W Ruan, J Meng, X Huang
IEEE Transactions on Reliability, 2021
232021
Duplicate Detection in Programming Question Answering Communities
WEIE ZHANG, QZ SHENG, J LAU, E ABEBE, W RUAN
ACM Transactions on Internet Technology (TOIT), 2018
212018
Unobtrusive human localization and activity recognition for supporting independent living of the elderly
W Ruan
2016 IEEE International Conference on Pervasive Computing and Communication …, 2016
202016
Interpretable Machine Learning for COVID-19: An Empirical Study on Severity Prediction Task
H Wu, W Ruan, J Wang, D Zheng, B Liu, Y Gen, X Chai, J Chen, K Li, S Li, ...
IEEE Transactions on Artificial Intelligence, 2021
18*2021
The system can't perform the operation now. Try again later.
Articles 1–20