Exploring Tag-Free RFID-Based Passive Localization and Tracking via Learning-Based Probabilistic Approaches. - Lina Yao 001; Wenjie Ruan; Quan Z. Sheng; Xue Li 001; Nickolas J. G. Falkner (CIKM, 2014)

TagTrack: device-free localization and tracking using passive RFID tags. - Wenjie Ruan; Lina Yao 001; Quan Z. Sheng; Nickolas J. G. Falkner; Xue Li 001 (MobiQuitous, 2014)

Freedom: Online Activity Recognition via Dictionary-Based Sparse Representation of RFID Sensing Data. - Lina Yao 001; Quan Z. Sheng; Xue Li 001; Sen Wang 001; Tao Gu 001; Wenjie Ruan; Wan Zou (ICDM, 2015)

Unobtrusive Posture Recognition via Online Learning of Multi-dimensional RFID Received Signal Strength. - Lina Yao 001; Quan Z. Sheng; Wenjie Ruan; Xue Li 001; Sen Wang 001; Zhi Yang (ICPADS, 2015)

Service Recommendation for Mashup Composition with Implicit Correlation Regularization. - Lina Yao 001; Xianzhi Wang 001; Quan Z. Sheng; Wenjie Ruan; Wei Zhang 098 (ICWS, 2015)

TagFall: Towards Unobstructive Fine-Grained Fall Detection based on UHF Passive RFID Tags. - Wenjie Ruan; Lina Yao 001; Quan Z. Sheng; Nickolas J. G. Falkner; Xue Li 001; Tao Gu 001 (MobiQuitous, 2015)

RF-Care: Device-Free Posture Recognition for Elderly People Using A Passive RFID Tag Array. - Lina Yao 001; Quan Z. Sheng; Wenjie Ruan; Tao Gu 001; Xue Li 001; Nick Falkner; Zhi Yang (EAI Endorsed Trans. Ambient Syst., 2015)

Recognizing Daily Living Activity Using Embedded Sensors in Smartphones: A Data-Driven Approach. - Wenjie Ruan; Leon Chea; Quan Z. Sheng; Lina Yao 001 (ADMA, 2016)

Forecasting Seasonal Time Series Using Weighted Gradient RBF Network based Autoregressive Model. - Wenjie Ruan; Quan Z. Sheng; Peipei Xu; Nguyen Khoi Tran 001; Nickolas J. G. Falkner; Xue Li 001; Wei Emma Zhang (CIKM, 2016)

When Sensor Meets Tensor: Filling Missing Sensor Values Through a Tensor Approach. - Wenjie Ruan; Peipei Xu; Quan Z. Sheng; Nguyen Khoi Tran 001; Nickolas J. G. Falkner; Xue Li 001; Wei Emma Zhang (CIKM, 2016)

AudioGest: enabling fine-grained hand gesture detection by decoding echo signal. - Wenjie Ruan; Quan Z. Sheng; Lei Yang 025; Tao Gu 001; Peipei Xu; Longfei Shangguan (UbiComp, 2016)

Unobtrusive human localization and activity recognition for supporting independent living of the elderly. - Wenjie Ruan (PerCom Workshops, 2016)

PreventDark: Automatically detecting and preventing problematic use of smartphones in darkness. - Wenjie Ruan; Quan Z. Sheng; Lina Yao 001; Nguyen Khoi Tran 001; Yu Chieh Yang (PerCom Workshops, 2016)

HOI-Loc: Towards unobstructive human localization with probabilistic multi-sensor fusion. - Wenjie Ruan; Quan Z. Sheng; Lina Yao 001; Lei Yang 025; Tao Gu 001 (PerCom Workshops, 2016)

Device-free indoor localization and tracking through Human-Object Interactions. - Wenjie Ruan; Quan Z. Sheng; Lina Yao 001; Tao Gu 001; Michele Ruta; Longfei Shangguan (WoWMoM, 2016)

Toward Unified Cloud Service Discovery for Enhanced Service Identification. - Abdullah Alfazi; Quan Z. Sheng; Ali Babar 001; Wenjie Ruan; Yongrui Qin (ASSRI, 2017)

Recovering Missing Values from Corrupted Spatio-Temporal Sensory Data via Robust Low-Rank Tensor Completion. - Wenjie Ruan; Peipei Xu; Quan Z. Sheng; Nickolas J. G. Falkner; Xue Li 001; Wei Emma Zhang (DASFAA (1), 2017)

Interpolating the Missing Values for Multi-Dimensional Spatial-Temporal Sensor Data: A Tensor SVD Approach. - Peipei Xu; Wenjie Ruan; Quan Z. Sheng; Tao Gu 001; Lina Yao 001 (MobiQuitous, 2017)

Reachability Analysis of Deep Neural Networks with Provable Guarantees. - Wenjie Ruan; Xiaowei Huang 001; Marta Kwiatkowska (IJCAI, 2018)

Concolic testing for deep neural networks. - Youcheng Sun; Min Wu 011; Wenjie Ruan; Xiaowei Huang 001; Marta Kwiatkowska; Daniel Kroening (ASE, 2018)

Related or Duplicate: Distinguishing Similar CQA Questions via Convolutional Neural Networks. - Wei Emma Zhang; Quan Z. Sheng; Zhejun Tang; Wenjie Ruan (SIGIR, 2018)

Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for L0 Norm. - Wenjie Ruan; Min Wu 011; Youcheng Sun; Xiaowei Huang 001; Daniel Kroening; Marta Kwiatkowska (CoRR, 2018)

Device-free human localization and tracking with UHF passive RFID tags: A data-driven approach. - Wenjie Ruan; Quan Z. Sheng; Lina Yao 001; Xue Li 001; Nickolas J. G. Falkner; Lei Yang 025 (J. Netw. Comput. Appl., 2018)

Cubic-RBF-ARX modeling and model-based optimal setting control in head and tail stages of cut tobacco drying process. - Feng Zhou 005; Hui Peng 001; Wenjie Ruan; Dan Wang; Mingyue Liu; Yunfeng Gu; Li Li (Neural Comput. Appl., 2018)

Making Sense of Doppler Effect for Multi-Modal Hand Motion Detection. - Wenjie Ruan; Quan Z. Sheng; Peipei Xu; Lei Yang 025; Tao Gu 001; Longfei Shangguan (IEEE Trans. Mob. Comput., 2018)

Compressive Representation for Device-Free Activity Recognition with Passive RFID Signal Strength. - Lina Yao 001; Quan Z. Sheng; Xue Li 001; Tao Gu 001; Mingkui Tan; Xianzhi Wang 001; Sen Wang 001; Wenjie Ruan (IEEE Trans. Mob. Comput., 2018)

Duplicate Detection in Programming Question Answering Communities. - Wei Emma Zhang; Quan Z. Sheng; Jey Han Lau; Ermyas Abebe; Wenjie Ruan (ACM Trans. Internet Techn., 2018)

Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Hamming Distance. - Wenjie Ruan; Min Wu 011; Youcheng Sun; Xiaowei Huang 001; Daniel Kroening; Marta Kwiatkowska (IJCAI, 2019)

Gaze-based Intention Anticipation over Driving Manoeuvres in Semi-Autonomous Vehicles. - Min Wu 011; Tyron Louw; Morteza Lahijanian; Wenjie Ruan; Xiaowei Huang 001; Natasha Merat; Marta Kwiatkowska (IROS, 2019)

ConCare: Personalized Clinical Feature Embedding via Capturing the Healthcare Context. - Liantao Ma; Chaohe Zhang; Yasha Wang; Wenjie Ruan; Jiantao Wang; Wen Tang; Xinyu Ma; Xin Gao; Junyi Gao (CoRR, 2019)

AdaCare: Explainable Clinical Health Status Representation Learning via Scale-Adaptive Feature Extraction and Recalibration. - Liantao Ma; Junyi Gao; Yasha Wang; Chaohe Zhang; Jiangtao Wang 001; Wenjie Ruan; Wen Tang; Xin Gao; Xinyu Ma (AAAI, 2020)

ConCare: Personalized Clinical Feature Embedding via Capturing the Healthcare Context. - Liantao Ma; Chaohe Zhang; Yasha Wang; Wenjie Ruan; Jiangtao Wang 001; Wen Tang; Xinyu Ma; Xin Gao; Junyi Gao (AAAI, 2020)

Generalizing Universal Adversarial Attacks Beyond Additive Perturbations. - Yanghao Zhang; Wenjie Ruan; Fu Wang; Xiaowei Huang 001 (ICDM, 2020)

EV Charging Recommendation Concerning Preemptive Service and Charging Urgency Policy. - Shuohan Liu; Yue Cao 002; Wenjie Ruan; Qiang Ni; Michele Nati; Chakkaphong Suthaputchakun (VTC Fall, 2020)

CovidCare: Transferring Knowledge from Existing EMR to Emerging Epidemic for Interpretable Prognosis. - Liantao Ma; Xinyu Ma; Junyi Gao; Chaohe Zhang; Zhihao Yu; Xianfeng Jiao; Wenjie Ruan; Yasha Wang; Wen Tang; Jiangtao Wang 001 (CoRR, 2020)

Towards the Quantification of Safety Risks in Deep Neural Networks. - Peipei Xu; Wenjie Ruan; Xiaowei Huang 001 (CoRR, 2020)

Interpretable Machine Learning for COVID-19: An Empirical Study on Severity Prediction Task. - Han Wu; Wenjie Ruan; Jiangtao Wang 001; Dingchang Zheng; Shaolin Li; Jian Chen; Kunwei Li; Xiangfei Chai; Sumi Helal (CoRR, 2020)

A survey of safety and trustworthiness of deep neural networks: Verification, testing, adversarial attack and defence, and interpretability. - Xiaowei Huang 001; Daniel Kroening; Wenjie Ruan; James Sharp; Youcheng Sun; Emese Thamo; Min Wu 011; Xinping Yi (Comput. Sci. Rev., 2020)

A game-based approximate verification of deep neural networks with provable guarantees. - Min Wu 011; Matthew Wicker; Wenjie Ruan; Xiaowei Huang 001; Marta Kwiatkowska (Theor. Comput. Sci., 2020)

Sparse Adversarial Video Attacks with Spatial Transformations. - Ronghui Mu; Wenjie Ruan; Leandro Soriano Marcolino; Qiang Ni (BMVC, 2021)

Adversarial Robustness of Deep Learning: Theory, Algorithms, and Applications. - Wenjie Ruan; Xinping Yi; Xiaowei Huang 001 (CIKM, 2021)

Distilling Knowledge from Publicly Available Online EMR Data to Emerging Epidemic for Prognosis. - Liantao Ma; Xinyu Ma; Junyi Gao; Xianfeng Jiao; Zhihao Yu; Chaohe Zhang; Wenjie Ruan; Yasha Wang; Wen Tang; Jiangtao Wang 001 (WWW, 2021)

Fooling Object Detectors: Adversarial Attacks by Half-Neighbor Masks. - Yanghao Zhang; Fu Wang; Wenjie Ruan (CoRR, 2021)

Gradient-Guided Dynamic Efficient Adversarial Training. - Fu Wang; Yanghao Zhang; Yanbin Zheng; Wenjie Ruan (CoRR, 2021)

Adversarial Driving: Attacking End-to-End Autonomous Driving Systems. - Han Wu; Wenjie Ruan (CoRR, 2021)

Tutorials on Testing Neural Networks. - Nicolas Berthier; Youcheng Sun; Wei Huang 035; Yanghao Zhang; Wenjie Ruan; Xiaowei Huang 001 (CoRR, 2021)

Enabling Cost-Effective Population Health Monitoring By Exploiting Spatiotemporal Correlation: An Empirical Study. - Dawei Chen; Jiangtao Wang 001; Wenjie Ruan; Qiang Ni; Sumi Helal (ACM Trans. Comput. Heal., 2021)

Memory Augmented Hierarchical Attention Network for Next Point-of-Interest Recommendation. - Chenwang Zheng; Dan Tao; Jiangtao Wang 001; Lei Cui 006; Wenjie Ruan; Shui Yu 001 (IEEE Trans. Comput. Soc. Syst., 2021)

Enhancing Robust Text Classification via Category Description. - Xin Gao; Zhengye Zhu; Xu Chu; Yasha Wang; Wenjie Ruan; Junfeng Zhao 001 (ICDM, 2022)

Bridging Formal Methods and Machine Learning with Global Optimisation. - Xiaowei Huang 001; Wenjie Ruan; Qiyi Tang 001; Xingyu Zhao 001 (ICFEM, 2022)

Understanding Adversarial Robustness of Vision Transformers via Cauchy Problem. - Zheng Wang 074; Wenjie Ruan (ECML/PKDD (3), 2022)

PRoA: A Probabilistic Robustness Assessment Against Functional Perturbations. - Tianle Zhang; Wenjie Ruan; Jonathan E. Fieldsend (ECML/PKDD (3), 2022)

An intelligent stochastic optimization approach for stochastic order allocation problems with high-dimensional order uncertainties. - Zhenzhong Zhang; Chunxiang Guo 001; Wenjie Ruan; Wei Wang 206; Peng Zhou (Comput. Ind. Eng., 2022)

Coverage-Guided Testing for Recurrent Neural Networks. - Wei Huang 035; Youcheng Sun; Xingyu Zhao 001; James Sharp; Wenjie Ruan; Jie Meng; Xiaowei Huang 001 (IEEE Trans. Reliab., 2022)

RePreM: Representation Pre-training with Masked Model for Reinforcement Learning. - Yuanying Cai; Chuheng Zhang; Wei Shen 005; Xuyun Zhang; Wenjie Ruan; Longbo Huang (AAAI, 2023)

Certified Policy Smoothing for Cooperative Multi-Agent Reinforcement Learning. - Ronghui Mu; Wenjie Ruan; Leandro Soriano Marcolino; Gaojie Jin; Qiang Ni (AAAI, 2023)

Towards Verifying the Geometric Robustness of Large-Scale Neural Networks. - Fu Wang; Peipei Xu; Wenjie Ruan; Xiaowei Huang 001 (AAAI, 2023)

Reachability Analysis of Neural Network Control Systems. - Chi Zhang; Wenjie Ruan; Peipei Xu (AAAI, 2023)

TextVerifier: Robustness Verification for Textual Classifiers with Certifiable Guarantees. - Siqi Sun; Wenjie Ruan (ACL (Findings), 2023)

Sora: Scalable Black-Box Reachability Analyser on Neural Networks. - Peipei Xu; Fu Wang; Wenjie Ruan; Chi Zhang; Xiaowei Huang 001 (ICASSP, 2023)

Adversarial Driving: Attacking End-to-End Autonomous Driving. - Han Wu; Syed Yunas; Sareh Rowlands; Wenjie Ruan; Johan Wahlström (IV, 2023)

Adversarial Detection: Attacking Object Detection in Real Time. - Han Wu; Syed Yunas; Sareh Rowlands; Wenjie Ruan; Johan Wahlström (IV, 2023)

Self-adaptive Adversarial Training for Robust Medical Segmentation. - Fu Wang; Zeyu Fu; Yanghao Zhang; Wenjie Ruan (MICCAI (3), 2023)

Model-Agnostic Reachability Analysis on Deep Neural Networks. - Chi Zhang; Wenjie Ruan; Fu Wang; Peipei Xu; Geyong Min; Xiaowei Huang 001 (PAKDD (1), 2023)

Mortality Prediction with Adaptive Feature Importance Recalibration for Peritoneal Dialysis Patients: a deep-learning-based study on a real-world longitudinal follow-up dataset. - Liantao Ma; Chaohe Zhang; Junyi Gao; Xianfeng Jiao; Zhihao Yu; Xinyu Ma; Yasha Wang; Wen Tang; Xinju Zhao; Wenjie Ruan; Tao Wang (CoRR, 2023)

ReRoGCRL: Representation-based Robustness in Goal-Conditioned Reinforcement Learning. - Xiangyu Yin 001; Sihao Wu; Jiaxu Liu 001; Meng Fang; Xingyu Zhao 001; Xiaowei Huang 001; Wenjie Ruan (CoRR, 2023)

Interpretable Machine Learning for COVID-19: An Empirical Study on Severity Prediction Task. - Han Wu; Wenjie Ruan; Jiangtao Wang 001; Dingchang Zheng; Bei Liu; Yayuan Geng; Xiangfei Chai; Jian Chen; Kunwei Li; Shaolin Li; Sumi Helal (IEEE Trans. Artif. Intell., 2023)

Machine Learning Safety - Xiaowei Huang 001; Gaojie Jin; Wenjie Ruan (Springer, 2023)

ODE4ViTRobustness: A tool for understanding adversarial robustness of Vision Transformers. - Zheng Wang 074; Wenjie Ruan; Xiangyu Yin 001 (Softw. Impacts, 2023)

Generalizing universal adversarial perturbations for deep neural networks. - Yanghao Zhang; Wenjie Ruan; Fu Wang; Xiaowei Huang 001 (Mach. Learn., 2023)

Mortality prediction with adaptive feature importance recalibration for peritoneal dialysis patients. - Liantao Ma; Chaohe Zhang; Junyi Gao; Xianfeng Jiao; Zhihao Yu; Yinghao Zhu; Tianlong Wang; Xinyu Ma; Yasha Wang; Wen Tang; Xinju Zhao; Wenjie Ruan; et al. (Patterns, 2023)

Reward Certification for Policy Smoothed Reinforcement Learning. - Ronghui Mu; Leandro Soriano Marcolino; Yanghao Zhang; Tianle Zhang; Xiaowei Huang 001; Wenjie Ruan (AAAI, 2024)

Representation-Based Robustness in Goal-Conditioned Reinforcement Learning. - Xiangyu Yin 001; Sihao Wu; Jiaxu Liu 001; Meng Fang; Xingyu Zhao 001; Xiaowei Huang 001; Wenjie Ruan (AAAI, 2024)

Boosting Adversarial Training via Fisher-Rao Norm-Based Regularization. - Xiangyu Yin 001; Wenjie Ruan (CVPR, 2024)

Towards Fairness-Aware Adversarial Learning. - Yanghao Zhang; Tianle Zhang; Ronghui Mu; Xiaowei Huang 001; Wenjie Ruan (CVPR, 2024)

ProTIP: Probabilistic Robustness Verification on Text-to-Image Diffusion Models Against Stochastic Perturbation. - Yi Zhang 141; Yun Tang 003; Wenjie Ruan; Xiaowei Huang 001; Siddartha Khastgir; Paul A. Jennings; Xingyu Zhao 001 (ECCV (32), 2024)

CROWD: Certified Robustness via Weight Distribution for Smoothed Classifiers against Backdoor Attack. - Siqi Sun; Procheta Sen; Wenjie Ruan (EMNLP (Findings), 2024)

DeepGRE: Global Robustness Evaluation of Deep Neural Networks. - Tianle Zhang; Jiaxu Liu 001; Yanghao Zhang; Ronghui Mu; Wenjie Ruan (ICASSP, 2024)

Position: Building Guardrails for Large Language Models Requires Systematic Design. - Yi Dong 002; Ronghui Mu; Gaojie Jin; Yi Qi; Jinwei Hu; Xingyu Zhao 001; Jie Meng; Wenjie Ruan; Xiaowei Huang 001 (ICML, 2024)

PRASS: Probabilistic Risk-averse Robust Learning with Stochastic Search. - Tianle Zhang; Yanghao Zhang; Ronghui Mu; Jiaxu Liu 001; Jonathan E. Fieldsend; Wenjie Ruan (IJCAI, 2024)

The Implicit Bias of Gradient Descent toward Collaboration between Layers: A Dynamic Analysis of Multilayer Perceptions. - Zheng Wang 074; Geyong Min; Wenjie Ruan (NeurIPS, 2024)

TARP-VP: Towards Evaluation of Transferred Adversarial Robustness and Privacy on Label Mapping Visual Prompting Models. - Zhen Chen; Yi Zhang 141; Fu Wang; Xingyu Zhao 001; Xiaowei Huang 001; Wenjie Ruan (NeurIPS, 2024)

Building Guardrails for Large Language Models. - Yi Dong 002; Ronghui Mu; Gaojie Jin; Yi Qi; Jinwei Hu; Xingyu Zhao 001; Jie Meng; Wenjie Ruan; Xiaowei Huang 001 (CoRR, 2024)

Trustworthy Text-to-Image Diffusion Models: A Timely and Focused Survey. - Yi Zhang 141; Zhen Chen; Chih-Hong Cheng; Wenjie Ruan; Xiaowei Huang 001; Dezong Zhao; David Flynn; Siddartha Khastgir; Xingyu Zhao 001 (CoRR, 2024)

Enhancing robustness in video recognition models: Sparse adversarial attacks and beyond. - Ronghui Mu; Leandro Soriano Marcolino; Qiang Ni; Wenjie Ruan (Neural Networks, 2024)

Bridging formal methods and machine learning with model checking and global optimisation. - Saddek Bensalem; Xiaowei Huang 001; Wenjie Ruan; Qiyi Tang 001; Changshun Wu; Xingyu Zhao 001 (J. Log. Algebraic Methods Program., 2024)

3DVerifier: efficient robustness verification for 3D point cloud models. - Ronghui Mu; Wenjie Ruan; Leandro Soriano Marcolino; Qiang Ni (Mach. Learn., 2024)

DIMBA: discretely masked black-box attack in single object tracking. - Xiangyu Yin 001; Wenjie Ruan; Jonathan E. Fieldsend (Mach. Learn., 2024)

Nrat: towards adversarial training with inherent label noise. - Zhen Chen; Fu Wang; Ronghui Mu; Peipei Xu; Xiaowei Huang 001; Wenjie Ruan (Mach. Learn., 2024)

A survey of safety and trustworthiness of large language models through the lens of verification and validation. - Xiaowei Huang 001; Wenjie Ruan; Wei Huang 035; Gaojie Jin; Yi Dong 002; Changshun Wu; Saddek Bensalem; Ronghui Mu; Yi Qi; Xingyu Zhao 001; Kaiwen Cai; Yanghao Zhang; et al. (Artif. Intell. Rev., 2024)

A Black-Box Evaluation Framework for Semantic Robustness in Bird's Eye View Detection. - Fu Wang; Yanghao Zhang; Xiangyu Yin 001; Guangliang Cheng; Zeyu Fu; Xiaowei Huang 001; Wenjie Ruan (AAAI, 2025)

FALCON: Fine-grained Activation Manipulation by Contrastive Orthogonal Unalignment for Large Language Model. - Jinwei Hu; Zhenglin Huang; Xiangyu Yin 001; Wenjie Ruan; Guangliang Cheng; Yi Dong 002; Xiaowei Huang 001 (CoRR, 2025)

CeTAD: Towards Certified Toxicity-Aware Distance in Vision Language Models. - Xiangyu Yin 001; Jiaxu Liu 001; Zhen Chen; Jinwei Hu; Yi Dong 002; Xiaowei Huang 001; Wenjie Ruan (CoRR, 2025)

TAIJI: Textual Anchoring for Immunizing Jailbreak Images in Vision Language Models. - Xiangyu Yin 001; Yi Qi; Jinwei Hu; Zhen Chen; Yi Dong 002; Xingyu Zhao 001; Xiaowei Huang 001; Wenjie Ruan (CoRR, 2025)

Verification on out-of-distribution detectors under natural perturbations. - Chi Zhang; Zhen Chen; Peipei Xu; Geyong Min; Wenjie Ruan (Mach. Learn., 2025)