| 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 | 598 | 2020 |
| DeepConcolic: Concolic testing for deep neural networks Y Sun, M Wu, W Ruan, X Huang, M Kwiatkowska, D Kroening ASE-2018, 109-119, 2018 | 406* | 2018 |
| DeepGO: Reachability analysis of deep neural networks with provable guarantees W Ruan, X Huang, M Kwiatkowska IJCAI-2018, 2651--2659, 2018 | 340* | 2018 |
| AudioGest: enabling fine-grained hand gesture detection by decoding echo signal W Ruan, QZ Sheng, L Yang, T Gu, P Xu, L Shangguan UbiComp-2016, 474-485, 2016 | 161 | 2016 |
| 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 AAAI-2020 34 (01), 833-840, 2020 | 160 | 2020 |
| DeepTRE: 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 IJCAI-2019, 5944-5952, 2019 | 149* | 2019 |
| DeepGame: 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 | 137 | 2020 |
| 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 AAAI-2020 34 (01), 825-832, 2020 | 126 | 2020 |
| 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 | 123 | 2018 |
| A survey of safety and trustworthiness of large language models through the lens of verification and validation X Huang, W Ruan, W Huang, G Jin, Y Dong, C Wu, S Bensalem, R Mu, ... Artificial Intelligence Review 57 (7), 175, 2023 | 104 | 2023 |
| 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 | 102 | 2014 |
| 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 MobiQuitous-2015, 120-129, 2015 | 66 | 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 | 61 | 2018 |
| TestRNN: 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 | 60 | 2021 |
| TagTrack: Device-free localization and tracking using passive rfid tags W Ruan, L Yao, QZ Sheng, NJG Falkner, X Li MobiQuitous-2014, 80-89, 2014 | 60 | 2014 |
| Service recommendation for mashup composition with implicit correlation regularization L Yao, X Wang, QZ Sheng, W Ruan, W Zhang ICWS-2015, 217-224, 2015 | 57 | 2015 |
| Safety and trustworthiness of deep neural networks: A survey X Huang, D Kroening, M Kwiatkowska, W Ruan, Y Sun, E Thamo, M Wu, ... arXiv preprint arXiv:1812.08342, 151, 2018 | 55 | 2018 |
| Building guardrails for large language models Y Dong, R Mu, G Jin, Y Qi, J Hu, X Zhao, J Meng, W Ruan, X Huang arXiv preprint arXiv:2402.01822, 2023 | 49 | 2023 |
| HOI-Loc: Device-free Indoor Localization and Tracking through Human-Object Interactions W Ruan, QZ Sheng, L Yao, T Gu, M Ruta, L Shangguan WoWMoM-2016, 1-9, 2016 | 49* | 2016 |
| 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 MobiQuitous-2015, 140-149, 2015 | 47 | 2015 |