Wenjie Ruan
Wenjie Ruan
Lecturer at Lancaster University
Verified email at cs.ox.ac.uk - Homepage
TitleCited byYear
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
662018
Reachability analysis of deep neural networks with provable guarantees
W Ruan, X Huang, M Kwiatkowska
arXiv preprint arXiv:1805.02242, 2018
572018
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
472014
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
432016
TagTrack: Device-Free Localization and Tracking Using Passive RFID Tags
W Ruan, L Yao, QZ Sheng, NJG Falkner, X Li
The 11th International Conference on Mobile and Ubiquitous Systems …, 2014
322014
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
292018
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
232015
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
222015
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
212015
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
172016
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
162016
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, 2019
142019
Exploring Tag-Free RFID-Based Passive Localization and Tracking via Learning-Based Probabilistic Approaches
L Yao, W Ruan, QZ Sheng, X Li, NJG Falkner
Proceedings of the 23rd ACM International Conference on Conference on …, 2014
142014
Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Norm
W Ruan, M Wu, Y Sun, X Huang, D Kroening, M Kwiatkowska
arXiv preprint arXiv:1804.05805, 2018
132018
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
122015
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
112018
A Survey of Safety and Trustworthiness of Deep Neural Networks
X Huang, D Kroening, W Ruan, J Sharp, Y Sun, E Thamo, M Wu, X Yi
arXiv preprint arXiv:1812.08342, 2019
8*2019
Unobtrusive Posture Recognition via Online Learning of Multi-Dimensional RFID Received Signal Strength
L Yao, QZ Sheng, W Ruan, X Li, S Wang, Z Yang
The 21st IEEE International Conference on Parallel and Distributed Systems …, 2015
82015
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
72018
When Sensor Meets Tensor: Filling Missing Sensor Values Through a Tensor Approach
W Ruan, P Xu, QZ Sheng, NK Tran, NJG Falkner, X Li, WE Zhang
Proceedings of the 25th ACM International on Conference on Information and …, 2016
62016
The system can't perform the operation now. Try again later.
Articles 1–20