default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDWenjie Ruan
Person information
- affiliation: University of Exeter, UK
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j22]Xiaowei Huang, Wenjie Ruan, Wei Huang, Gaojie Jin, Yi Dong, Changshun Wu, Saddek Bensalem, Ronghui Mu, Yi Qi, Xingyu Zhao, Kaiwen Cai, Yanghao Zhang, Sihao Wu, Peipei Xu, Dengyu Wu
, André Freitas, Mustafa A. Mustafa:
A survey of safety and trustworthiness of large language models through the lens of verification and validation. Artif. Intell. Rev. 57(7): 175 (2024)- [j21]Saddek Bensalem, Xiaowei Huang, Wenjie Ruan, Qiyi Tang, Changshun Wu, Xingyu Zhao:
Bridging formal methods and machine learning with model checking and global optimisation. J. Log. Algebraic Methods Program. 137: 100941 (2024) - [j20]Xiangyu Yin, Wenjie Ruan, Jonathan E. Fieldsend:
DIMBA: discretely masked black-box attack in single object tracking. Mach. Learn. 113(4): 1705-1723 (2024) - [j19]Ronghui Mu, Wenjie Ruan, Leandro Soriano Marcolino, Qiang Ni:
3DVerifier: efficient robustness verification for 3D point cloud models. Mach. Learn. 113(4): 1771-1798 (2024) - [j18]Zhen Chen, Fu Wang, Ronghui Mu, Peipei Xu, Xiaowei Huang, Wenjie Ruan:
Nrat: towards adversarial training with inherent label noise. Mach. Learn. 113(6): 3589-3610 (2024) - [j17]Ronghui Mu, Leandro Soriano Marcolino, Qiang Ni, Wenjie Ruan:
Enhancing robustness in video recognition models: Sparse adversarial attacks and beyond. Neural Networks 171: 127-143 (2024) - [c54]Ronghui Mu, Leandro Soriano Marcolino, Yanghao Zhang, Tianle Zhang, Xiaowei Huang, Wenjie Ruan:
Reward Certification for Policy Smoothed Reinforcement Learning. AAAI 2024: 21429-21437 - [c53]Xiangyu Yin, Sihao Wu, Jiaxu Liu, Meng Fang, Xingyu Zhao, Xiaowei Huang, Wenjie Ruan:
Representation-Based Robustness in Goal-Conditioned Reinforcement Learning. AAAI 2024: 21761-21769 - [c52]Xiangyu Yin, Wenjie Ruan:
Boosting Adversarial Training via Fisher-Rao Norm-Based Regularization. CVPR 2024: 24544-24553 - [c51]Yanghao Zhang, Tianle Zhang, Ronghui Mu, Xiaowei Huang, Wenjie Ruan:
Towards Fairness-Aware Adversarial Learning. CVPR 2024: 24746-24755 - [c50]Yi Zhang, Yun Tang, Wenjie Ruan, Xiaowei Huang, Siddartha Khastgir, Paul A. Jennings, Xingyu Zhao:
ProTIP: Probabilistic Robustness Verification on Text-to-Image Diffusion Models Against Stochastic Perturbation. ECCV (32) 2024: 455-472 - [c49]Siqi Sun, Procheta Sen, Wenjie Ruan:
CROWD: Certified Robustness via Weight Distribution for Smoothed Classifiers against Backdoor Attack. EMNLP (Findings) 2024: 17056-17070 - [c48]Tianle Zhang, Jiaxu Liu, Yanghao Zhang, Ronghui Mu, Wenjie Ruan:
DeepGRE: Global Robustness Evaluation of Deep Neural Networks. ICASSP 2024: 6990-6994 - [c47]Yi Dong, Ronghui Mu, Gaojie Jin, Yi Qi, Jinwei Hu, Xingyu Zhao, Jie Meng, Wenjie Ruan, Xiaowei Huang:
Position: Building Guardrails for Large Language Models Requires Systematic Design. ICML 2024 - [c46]Tianle Zhang, Yanghao Zhang, Ronghui Mu, Jiaxu Liu, Jonathan E. Fieldsend, Wenjie Ruan:
PRASS: Probabilistic Risk-averse Robust Learning with Stochastic Search. IJCAI 2024: 559-567 - [c45]Zheng Wang, Geyong Min, Wenjie Ruan:
The Implicit Bias of Gradient Descent toward Collaboration between Layers: A Dynamic Analysis of Multilayer Perceptions. NeurIPS 2024 - [c44]Zhen Chen, Yi Zhang, Fu Wang, Xingyu Zhao, Xiaowei Huang, Wenjie Ruan:
TARP-VP: Towards Evaluation of Transferred Adversarial Robustness and Privacy on Label Mapping Visual Prompting Models. NeurIPS 2024 - [i36]Yi Dong, Ronghui Mu, Gaojie Jin, Yi Qi, Jinwei Hu, Xingyu Zhao, Jie Meng, Wenjie Ruan, Xiaowei Huang:
Building Guardrails for Large Language Models. CoRR abs/2402.01822 (2024) - [i35]Yi Zhang, Yun Tang, Wenjie Ruan, Xiaowei Huang, Siddartha Khastgir, Paul A. Jennings, Xingyu Zhao:
ProTIP: Probabilistic Robustness Verification on Text-to-Image Diffusion Models against Stochastic Perturbation. CoRR abs/2402.15429 (2024) - [i34]Yanghao Zhang, Tianle Zhang, Ronghui Mu, Xiaowei Huang, Wenjie Ruan:
Towards Fairness-Aware Adversarial Learning. CoRR abs/2402.17729 (2024) - [i33]Xiangyu Yin, Wenjie Ruan:
Boosting Adversarial Training via Fisher-Rao Norm-based Regularization. CoRR abs/2403.17520 (2024) - [i32]Yi Zhang, Zhen Chen, Chih-Hong Cheng, Wenjie Ruan, Xiaowei Huang, Dezong Zhao, David Flynn, Siddartha Khastgir, Xingyu Zhao:
Trustworthy Text-to-Image Diffusion Models: A Timely and Focused Survey. CoRR abs/2409.18214 (2024) - [i31]Fu Wang, Yanghao Zhang, Xiangyu Yin, Guangliang Cheng, Zeyu Fu, Xiaowei Huang, Wenjie Ruan:
A Black-Box Evaluation Framework for Semantic Robustness in Bird's Eye View Detection. CoRR abs/2412.13913 (2024) - 2023
- [b1]Xiaowei Huang, Gaojie Jin, Wenjie Ruan:
Machine Learning Safety. Artificial Intelligence: Foundations, Theory, and Algorithms, Springer 2023, ISBN 978-981-19-6813-6, pp. 3-263 - [j16]Yanghao Zhang, Wenjie Ruan, Fu Wang, Xiaowei Huang:
Generalizing universal adversarial perturbations for deep neural networks. Mach. Learn. 112(5): 1597-1626 (2023) - [j15]Liantao Ma, Chaohe Zhang, Junyi Gao, Xianfeng Jiao, Zhihao Yu, Yinghao Zhu, Tianlong Wang, Xinyu Ma, Yasha Wang, Wen Tang, Xinju Zhao, Wenjie Ruan, Tao Wang:
Mortality prediction with adaptive feature importance recalibration for peritoneal dialysis patients. Patterns 4(12): 100892 (2023) - [j14]Zheng Wang, Wenjie Ruan, Xiangyu Yin:
ODE4ViTRobustness: A tool for understanding adversarial robustness of Vision Transformers. Softw. Impacts 15: 100449 (2023) - [j13]Han Wu, Wenjie Ruan, Jiangtao Wang, Dingchang Zheng, Bei Liu, Yayuan Geng, Xiangfei Chai, Jian Chen, Kunwei Li, Shaolin Li, Sumi Helal:
Interpretable Machine Learning for COVID-19: An Empirical Study on Severity Prediction Task. IEEE Trans. Artif. Intell. 4(4): 764-777 (2023) - [c43]Yuanying Cai, Chuheng Zhang, Wei Shen, Xuyun Zhang, Wenjie Ruan, Longbo Huang:
RePreM: Representation Pre-training with Masked Model for Reinforcement Learning. AAAI 2023: 6879-6887 - [c42]Ronghui Mu, Wenjie Ruan, Leandro Soriano Marcolino, Gaojie Jin, Qiang Ni:
Certified Policy Smoothing for Cooperative Multi-Agent Reinforcement Learning. AAAI 2023: 15046-15054 - [c41]Fu Wang, Peipei Xu, Wenjie Ruan, Xiaowei Huang:
Towards Verifying the Geometric Robustness of Large-Scale Neural Networks. AAAI 2023: 15197-15205 - [c40]Chi Zhang, Wenjie Ruan, Peipei Xu:
Reachability Analysis of Neural Network Control Systems. AAAI 2023: 15287-15295 - [c39]Siqi Sun, Wenjie Ruan:
TextVerifier: Robustness Verification for Textual Classifiers with Certifiable Guarantees. ACL (Findings) 2023: 4362-4380 - [c38]Peipei Xu, Fu Wang, Wenjie Ruan, Chi Zhang, Xiaowei Huang:
Sora: Scalable Black-Box Reachability Analyser on Neural Networks. ICASSP 2023: 1-5 - [c37]Han Wu, Syed Yunas, Sareh Rowlands, Wenjie Ruan, Johan Wahlström:
Adversarial Driving: Attacking End-to-End Autonomous Driving. IV 2023: 1-7 - [c36]Han Wu, Syed Yunas, Sareh Rowlands, Wenjie Ruan, Johan Wahlström:
Adversarial Detection: Attacking Object Detection in Real Time. IV 2023: 1-7 - [c35]Fu Wang, Zeyu Fu, Yanghao Zhang, Wenjie Ruan:
Self-adaptive Adversarial Training for Robust Medical Segmentation. MICCAI (3) 2023: 725-735 - [c34]Chi Zhang, Wenjie Ruan, Fu Wang, Peipei Xu, Geyong Min, Xiaowei Huang:
Model-Agnostic Reachability Analysis on Deep Neural Networks. PAKDD (1) 2023: 341-354 - [i30]Liantao Ma, Chaohe Zhang, Junyi Gao, Xianfeng Jiao, Zhihao Yu, Xinyu Ma, Yasha Wang, Wen Tang, Xinju Zhao, Wenjie Ruan, Tao Wang:
Mortality Prediction with Adaptive Feature Importance Recalibration for Peritoneal Dialysis Patients: a deep-learning-based study on a real-world longitudinal follow-up dataset. CoRR abs/2301.07107 (2023) - [i29]Chi Zhang, Wenjie Ruan, Peipei Xu:
Reachability Analysis of Neural Network Control Systems. CoRR abs/2301.12100 (2023) - [i28]Fu Wang, Peipei Xu, Wenjie Ruan, Xiaowei Huang:
Towards Verifying the Geometric Robustness of Large-scale Neural Networks. CoRR abs/2301.12456 (2023) - [i27]Yuanying Cai, Chuheng Zhang, Wei Shen, Xuyun Zhang, Wenjie Ruan, Longbo Huang:
RePreM: Representation Pre-training with Masked Model for Reinforcement Learning. CoRR abs/2303.01668 (2023) - [i26]Chi Zhang, Wenjie Ruan, Fu Wang, Peipei Xu, Geyong Min, Xiaowei Huang:
Model-Agnostic Reachability Analysis on Deep Neural Networks. CoRR abs/2304.00813 (2023) - [i25]Xiaowei Huang, Wenjie Ruan, Wei Huang, Gaojie Jin, Yi Dong, Changshun Wu, Saddek Bensalem, Ronghui Mu, Yi Qi, Xingyu Zhao, Kaiwen Cai, Yanghao Zhang, Sihao Wu, Peipei Xu, Dengyu Wu, André Freitas, Mustafa A. Mustafa:
A Survey of Safety and Trustworthiness of Large Language Models through the Lens of Verification and Validation. CoRR abs/2305.11391 (2023) - [i24]Ronghui Mu, Leandro Soriano Marcolino, Tianle Zhang, Yanghao Zhang, Xiaowei Huang, Wenjie Ruan:
Reward Certification for Policy Smoothed Reinforcement Learning. CoRR abs/2312.06436 (2023) - [i23]Xiangyu Yin, Sihao Wu, Jiaxu Liu, Meng Fang, Xingyu Zhao, Xiaowei Huang, Wenjie Ruan:
ReRoGCRL: Representation-based Robustness in Goal-Conditioned Reinforcement Learning. CoRR abs/2312.07392 (2023) - 2022
- [j12]Zhenzhong Zhang, Chunxiang Guo, Wenjie Ruan, Wei Wang, Peng Zhou:
An intelligent stochastic optimization approach for stochastic order allocation problems with high-dimensional order uncertainties. Comput. Ind. Eng. 167: 108008 (2022) - [j11]Wei Huang, Youcheng Sun, Xingyu Zhao, James Sharp, Wenjie Ruan, Jie Meng, Xiaowei Huang:
Coverage-Guided Testing for Recurrent Neural Networks. IEEE Trans. Reliab. 71(3): 1191-1206 (2022) - [c33]Xin Gao, Zhengye Zhu, Xu Chu, Yasha Wang, Wenjie Ruan, Junfeng Zhao:
Enhancing Robust Text Classification via Category Description. ICDM 2022: 151-160 - [c32]Xiaowei Huang, Wenjie Ruan, Qiyi Tang, Xingyu Zhao:
Bridging Formal Methods and Machine Learning with Global Optimisation. ICFEM 2022: 1-19 - [c31]Tianle Zhang, Wenjie Ruan, Jonathan E. Fieldsend:
PRoA: A Probabilistic Robustness Assessment Against Functional Perturbations. ECML/PKDD (3) 2022: 154-170 - [c30]Zheng Wang, Wenjie Ruan:
Understanding Adversarial Robustness of Vision Transformers via Cauchy Problem. ECML/PKDD (3) 2022: 562-577 - [i22]Tianle Zhang, Wenjie Ruan, Jonathan E. Fieldsend:
PRoA: A Probabilistic Robustness Assessment against Functional Perturbations. CoRR abs/2207.02036 (2022) - [i21]Ronghui Mu, Wenjie Ruan, Leandro Soriano Marcolino, Qiang Ni:
3DVerifier: Efficient Robustness Verification for 3D Point Cloud Models. CoRR abs/2207.07539 (2022) - [i20]Xiangyu Yin, Wenjie Ruan, Jonathan E. Fieldsend:
DIMBA: Discretely Masked Black-Box Attack in Single Object Tracking. CoRR abs/2207.08044 (2022) - [i19]Zheng Wang, Wenjie Ruan:
Understanding Adversarial Robustness of Vision Transformers via Cauchy Problem. CoRR abs/2208.00906 (2022) - [i18]Han Wu, Syed Yunas, Sareh Rowlands, Wenjie Ruan, Johan Wahlström:
Adversarial Detection: Attacking Object Detection in Real Time. CoRR abs/2209.01962 (2022) - [i17]Ronghui Mu, Wenjie Ruan, Leandro Soriano Marcolino, Gaojie Jin, Qiang Ni:
Certified Policy Smoothing for Cooperative Multi-Agent Reinforcement Learning. CoRR abs/2212.11746 (2022) - 2021
- [j10]Dawei Chen, Jiangtao Wang, Wenjie Ruan, Qiang Ni, Sumi Helal:
Enabling Cost-Effective Population Health Monitoring By Exploiting Spatiotemporal Correlation: An Empirical Study. ACM Trans. Comput. Heal. 2(2): 11:1-11:19 (2021) - [j9]Chenwang Zheng, Dan Tao, Jiangtao Wang, Lei Cui, Wenjie Ruan, Shui Yu:
Memory Augmented Hierarchical Attention Network for Next Point-of-Interest Recommendation. IEEE Trans. Comput. Soc. Syst. 8(2): 489-499 (2021) - [c29]Ronghui Mu, Wenjie Ruan, Leandro Soriano Marcolino, Qiang Ni:
Sparse Adversarial Video Attacks with Spatial Transformations. BMVC 2021: 101 - [c28]Wenjie Ruan, Xinping Yi, Xiaowei Huang:
Adversarial Robustness of Deep Learning: Theory, Algorithms, and Applications. CIKM 2021: 4866-4869 - [c27]Liantao Ma, Xinyu Ma, Junyi Gao, Xianfeng Jiao, Zhihao Yu, Chaohe Zhang, Wenjie Ruan, Yasha Wang, Wen Tang, Jiangtao Wang:
Distilling Knowledge from Publicly Available Online EMR Data to Emerging Epidemic for Prognosis. WWW 2021: 3558-3568 - [i16]Yanghao Zhang, Fu Wang, Wenjie Ruan:
Fooling Object Detectors: Adversarial Attacks by Half-Neighbor Masks. CoRR abs/2101.00989 (2021) - [i15]Fu Wang, Yanghao Zhang, Yanbin Zheng, Wenjie Ruan:
Gradient-Guided Dynamic Efficient Adversarial Training. CoRR abs/2103.03076 (2021) - [i14]Han Wu, Wenjie Ruan:
Adversarial Driving: Attacking End-to-End Autonomous Driving Systems. CoRR abs/2103.09151 (2021) - [i13]Nicolas Berthier, Youcheng Sun, Wei Huang, Yanghao Zhang, Wenjie Ruan, Xiaowei Huang:
Tutorials on Testing Neural Networks. CoRR abs/2108.01734 (2021) - [i12]Wenjie Ruan, Xinping Yi, Xiaowei Huang:
Adversarial Robustness of Deep Learning: Theory, Algorithms, and Applications. CoRR abs/2108.10451 (2021) - [i11]Ronghui Mu, Wenjie Ruan, Leandro Soriano Marcolino, Qiang Ni:
Sparse Adversarial Video Attacks with Spatial Transformations. CoRR abs/2111.05468 (2021) - 2020
- [j8]Xiaowei Huang, Daniel Kroening, Wenjie Ruan, James Sharp, Youcheng Sun, Emese Thamo, Min Wu, Xinping Yi:
A survey of safety and trustworthiness of deep neural networks: Verification, testing, adversarial attack and defence, and interpretability. Comput. Sci. Rev. 37: 100270 (2020) - [j7]Min Wu, Matthew Wicker, Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska:
A game-based approximate verification of deep neural networks with provable guarantees. Theor. Comput. Sci. 807: 298-329 (2020) - [c26]Liantao Ma, Junyi Gao, Yasha Wang, Chaohe Zhang, Jiangtao Wang, Wenjie Ruan, Wen Tang, Xin Gao, Xinyu Ma:
AdaCare: Explainable Clinical Health Status Representation Learning via Scale-Adaptive Feature Extraction and Recalibration. AAAI 2020: 825-832 - [c25]Liantao Ma, Chaohe Zhang, Yasha Wang, Wenjie Ruan, Jiangtao Wang, Wen Tang, Xinyu Ma, Xin Gao, Junyi Gao:
ConCare: Personalized Clinical Feature Embedding via Capturing the Healthcare Context. AAAI 2020: 833-840 - [c24]Yanghao Zhang, Wenjie Ruan, Fu Wang, Xiaowei Huang:
Generalizing Universal Adversarial Attacks Beyond Additive Perturbations. ICDM 2020: 1412-1417 - [c23]Shuohan Liu, Yue Cao, Wenjie Ruan, Qiang Ni, Michele Nati, Chakkaphong Suthaputchakun:
EV Charging Recommendation Concerning Preemptive Service and Charging Urgency Policy. VTC Fall 2020: 1-5 - [i10]Liantao Ma, Xinyu Ma, Junyi Gao, Chaohe Zhang, Zhihao Yu, Xianfeng Jiao, Wenjie Ruan, Yasha Wang, Wen Tang, Jiangtao Wang:
CovidCare: Transferring Knowledge from Existing EMR to Emerging Epidemic for Interpretable Prognosis. CoRR abs/2007.08848 (2020) - [i9]Peipei Xu, Wenjie Ruan, Xiaowei Huang:
Towards the Quantification of Safety Risks in Deep Neural Networks. CoRR abs/2009.06114 (2020) - [i8]Han Wu, Wenjie Ruan, Jiangtao Wang, Dingchang Zheng, Shaolin Li, Jian Chen, Kunwei Li, Xiangfei Chai, Sumi Helal:
Interpretable Machine Learning for COVID-19: An Empirical Study on Severity Prediction Task. CoRR abs/2010.02006 (2020) - [i7]Yanghao Zhang, Wenjie Ruan, Fu Wang, Xiaowei Huang:
Generalizing Universal Adversarial Attacks Beyond Additive Perturbations. CoRR abs/2010.07788 (2020)
2010 – 2019
- 2019
- [c22]Wenjie Ruan, Min Wu, Youcheng Sun, Xiaowei Huang, Daniel Kroening, Marta Kwiatkowska:
Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Hamming Distance. IJCAI 2019: 5944-5952 - [c21]Min Wu, Tyron Louw, Morteza Lahijanian, Wenjie Ruan, Xiaowei Huang, Natasha Merat, Marta Kwiatkowska:
Gaze-based Intention Anticipation over Driving Manoeuvres in Semi-Autonomous Vehicles. IROS 2019: 6210-6216 - [i6]Liantao Ma, Junyi Gao, Yasha Wang, Chaohe Zhang, Jiangtao Wang, Wenjie Ruan, Wen Tang, Xin Gao, Xinyu Ma:
AdaCare: Explainable Clinical Health Status Representation Learning via Scale-Adaptive Feature Extraction and Recalibration. CoRR abs/1911.12205 (2019) - [i5]Liantao Ma, Chaohe Zhang, Yasha Wang, Wenjie Ruan, Jiantao Wang, Wen Tang, Xinyu Ma, Xin Gao, Junyi Gao:
ConCare: Personalized Clinical Feature Embedding via Capturing the Healthcare Context. CoRR abs/1911.12216 (2019) - 2018
- [j6]Wenjie Ruan, Quan Z. Sheng, Lina Yao, Xue Li, Nickolas J. G. Falkner, Lei Yang:
Device-free human localization and tracking with UHF passive RFID tags: A data-driven approach. J. Netw. Comput. Appl. 104: 78-96 (2018) - [j5]Feng Zhou, Hui Peng, Wenjie Ruan, Dan Wang, Mingyue Liu, Yunfeng Gu, Li Li:
Cubic-RBF-ARX modeling and model-based optimal setting control in head and tail stages of cut tobacco drying process. Neural Comput. Appl. 30(4): 1039-1053 (2018) - [j4]Lina Yao, Quan Z. Sheng, Xue Li, Tao Gu, Mingkui Tan, Xianzhi Wang, Sen Wang, Wenjie Ruan:
Compressive Representation for Device-Free Activity Recognition with Passive RFID Signal Strength. IEEE Trans. Mob. Comput. 17(2): 293-306 (2018) - [j3]Wenjie Ruan, Quan Z. Sheng, Peipei Xu, Lei Yang, Tao Gu, Longfei Shangguan:
Making Sense of Doppler Effect for Multi-Modal Hand Motion Detection. IEEE Trans. Mob. Comput. 17(9): 2087-2100 (2018) - [j2]Wei Emma Zhang, Quan Z. Sheng, Jey Han Lau, Ermyas Abebe, Wenjie Ruan:
Duplicate Detection in Programming Question Answering Communities. ACM Trans. Internet Techn. 18(3): 37:1-37:21 (2018) - [c20]Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska:
Reachability Analysis of Deep Neural Networks with Provable Guarantees. IJCAI 2018: 2651-2659 - [c19]Youcheng Sun, Min Wu, Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska, Daniel Kroening:
Concolic testing for deep neural networks. ASE 2018: 109-119 - [c18]Wei Emma Zhang, Quan Z. Sheng, Zhejun Tang, Wenjie Ruan:
Related or Duplicate: Distinguishing Similar CQA Questions via Convolutional Neural Networks. SIGIR 2018: 1153-1156 - [i4]Wenjie Ruan, Min Wu, Youcheng Sun, Xiaowei Huang, Daniel Kroening, Marta Kwiatkowska:
Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for L0 Norm. CoRR abs/1804.05805 (2018) - [i3]Youcheng Sun, Min Wu, Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska, Daniel Kroening:
Concolic Testing for Deep Neural Networks. CoRR abs/1805.00089 (2018) - [i2]Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska:
Reachability Analysis of Deep Neural Networks with Provable Guarantees. CoRR abs/1805.02242 (2018) - [i1]Min Wu, Matthew Wicker, Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska:
A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees. CoRR abs/1807.03571 (2018) - 2017
- [c17]Abdullah Alfazi, Quan Z. Sheng, Ali Babar, Wenjie Ruan, Yongrui Qin:
Toward Unified Cloud Service Discovery for Enhanced Service Identification. ASSRI 2017: 149-163 - [c16]Wenjie Ruan, Peipei Xu, Quan Z. Sheng, Nickolas J. G. Falkner, Xue Li, Wei Emma Zhang:
Recovering Missing Values from Corrupted Spatio-Temporal Sensory Data via Robust Low-Rank Tensor Completion. DASFAA (1) 2017: 607-622 - [c15]Peipei Xu, Wenjie Ruan, Quan Z. Sheng, Tao Gu, Lina Yao:
Interpolating the Missing Values for Multi-Dimensional Spatial-Temporal Sensor Data: A Tensor SVD Approach. MobiQuitous 2017: 442-451 - 2016
- [c14]Wenjie Ruan, Leon Chea, Quan Z. Sheng, Lina Yao:
Recognizing Daily Living Activity Using Embedded Sensors in Smartphones: A Data-Driven Approach. ADMA 2016: 250-265 - [c13]Wenjie Ruan, Quan Z. Sheng, Peipei Xu, Nguyen Khoi Tran, Nickolas J. G. Falkner, Xue Li, Wei Emma Zhang:
Forecasting Seasonal Time Series Using Weighted Gradient RBF Network based Autoregressive Model. CIKM 2016: 2021-2024 - [c12]Wenjie Ruan, Peipei Xu, Quan Z. Sheng, Nguyen Khoi Tran, Nickolas J. G. Falkner, Xue Li, Wei Emma Zhang:
When Sensor Meets Tensor: Filling Missing Sensor Values Through a Tensor Approach. CIKM 2016: 2025-2028 - [c11]Wenjie Ruan, Quan Z. Sheng, Lei Yang, Tao Gu, Peipei Xu, Longfei Shangguan:
AudioGest: enabling fine-grained hand gesture detection by decoding echo signal. UbiComp 2016: 474-485 - [c10]Wenjie Ruan:
Unobtrusive human localization and activity recognition for supporting independent living of the elderly. PerCom Workshops 2016: 1-3 - [c9]Wenjie Ruan, Quan Z. Sheng, Lina Yao, Nguyen Khoi Tran, Yu Chieh Yang:
PreventDark: Automatically detecting and preventing problematic use of smartphones in darkness. PerCom Workshops 2016: 1-3 - [c8]Wenjie Ruan, Quan Z. Sheng, Lina Yao, Lei Yang, Tao Gu:
HOI-Loc: Towards unobstructive human localization with probabilistic multi-sensor fusion. PerCom Workshops 2016: 1-4 - [c7]Wenjie Ruan, Quan Z. Sheng, Lina Yao, Tao Gu, Michele Ruta, Longfei Shangguan:
Device-free indoor localization and tracking through Human-Object Interactions. WoWMoM 2016: 1-9 - 2015
- [j1]Lina Yao, Quan Z. Sheng, Wenjie Ruan, Tao Gu, Xue Li, Nick Falkner, Zhi Yang:
RF-Care: Device-Free Posture Recognition for Elderly People Using A Passive RFID Tag Array. EAI Endorsed Trans. Ambient Syst. 2(6): e2 (2015) - [c6]Lina Yao, Quan Z. Sheng, Xue Li, Sen Wang, Tao Gu, Wenjie Ruan, Wan Zou:
Freedom: Online Activity Recognition via Dictionary-Based Sparse Representation of RFID Sensing Data. ICDM 2015: 1087-1092 - [c5]Lina Yao, Quan Z. Sheng, Wenjie Ruan, Xue Li, Sen Wang, Zhi Yang:
Unobtrusive Posture Recognition via Online Learning of Multi-dimensional RFID Received Signal Strength. ICPADS 2015: 116-123 - [c4]Lina Yao, Xianzhi Wang, Quan Z. Sheng, Wenjie Ruan, Wei Zhang:
Service Recommendation for Mashup Composition with Implicit Correlation Regularization. ICWS 2015: 217-224 - [c3]Wenjie Ruan, Lina Yao, Quan Z. Sheng, Nickolas J. G. Falkner, Xue Li, Tao Gu:
TagFall: Towards Unobstructive Fine-Grained Fall Detection based on UHF Passive RFID Tags. MobiQuitous 2015: 140-149 - 2014
- [c2]Lina Yao, Wenjie Ruan, Quan Z. Sheng, Xue Li, Nickolas J. G. Falkner:
Exploring Tag-Free RFID-Based Passive Localization and Tracking via Learning-Based Probabilistic Approaches. CIKM 2014: 1799-1802 - [c1]Wenjie Ruan, Lina Yao, Quan Z. Sheng, Nickolas J. G. Falkner, Xue Li:
TagTrack: device-free localization and tracking using passive RFID tags. MobiQuitous 2014: 80-89