Wenjie Ruan
Wenjie Ruan
Senior Lecturer at University of Exeter
Verified email at cs.ox.ac.uk - Homepage
Title
Cited by
Cited by
Year
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
1992018
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
1832018
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
153*2020
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
912016
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
832014
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
712020
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
712018
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
58*2019
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
492014
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
422015
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
372015
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
322015
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
312016
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
302018
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 34 (01), 833-840, 2020
232020
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 34 (01), 825-832, 2020
202020
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
192016
Freedom: Online activity recognition via dictionary-based sparse representation of rfid sensing data
L Yao, QZ Sheng, X Li, S Wang, T Gu, W Ruan, W Zou
2015 IEEE International Conference on Data Mining (ICDM), 1087-1092, 2015
182015
Duplicate Detection in Programming Question Answering Communities
WEIE ZHANG, QZ SHENG, J LAU, E ABEBE, W RUAN
ACM Transactions on Internet Technology (TOIT), 2018
162018
Safety verification for deep neural networks with provable guarantees
MZ Kwiatkowska
Leibniz International Proceedings in Informatics, LIPIcs, 2019
152019
The system can't perform the operation now. Try again later.
Articles 1–20