Wenjie Ruan
Wenjie Ruan
Senior Lecturer at University of Exeter
Verified email at - Homepage
Cited by
Cited by
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
Duplicate Detection in Programming Question Answering Communities
ACM Transactions on Internet Technology (TOIT), 2018
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
Cubic-RBF-ARX modeling and model-based optimal setting control in head and tail stages of cut tobacco drying process
F Zhou, H Peng, W Ruan, D Wang, M Liu, Y Gu, L Li
Neural Computing and Applications 30 (4), 1039–1053, 2018
The system can't perform the operation now. Try again later.
Articles 1–20