Wenjie Ruan

According to our database, Wenjie Ruan authored at least 83 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

DIMBA: discretely masked black-box attack in single object tracking.

Xiangyu Yin, Wenjie Ruan, Jonathan E. Fieldsend

Mach. Learn., April, 2024

3DVerifier: efficient robustness verification for 3D point cloud models.

Ronghui Mu, Wenjie Ruan, Leandro Soriano Marcolino, Qiang Ni

Mach. Learn., April, 2024

Bridging formal methods and machine learning with model checking and global optimisation.

Saddek Bensalem, Xiaowei Huang, Wenjie Ruan, Qiyi Tang, Changshun Wu, Xingyu Zhao

J. Log. Algebraic Methods Program., February, 2024

Boosting Adversarial Training via Fisher-Rao Norm-based Regularization.

Xiangyu Yin, Wenjie Ruan

CoRR, 2024

Towards Fairness-Aware Adversarial Learning.

Yanghao Zhang, Tianle Zhang, Ronghui Mu, Xiaowei Huang, Wenjie Ruan

CoRR, 2024

ProTIP: Probabilistic Robustness Verification on Text-to-Image Diffusion Models against Stochastic Perturbation.

Yi Zhang, Yun Tang, Wenjie Ruan, Xiaowei Huang, Siddartha Khastgir, Paul A. Jennings, Xingyu Zhao

CoRR, 2024

Building Guardrails for Large Language Models.

Yi Dong, Ronghui Mu, Gaojie Jin, Yi Qi, Jinwei Hu, Xingyu Zhao, Jie Meng, Wenjie Ruan, Xiaowei Huang

CoRR, 2024

Representation-Based Robustness in Goal-Conditioned Reinforcement Learning.

Xiangyu Yin, Sihao Wu, Jiaxu Liu, Meng Fang, Xingyu Zhao, Xiaowei Huang, Wenjie Ruan

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

Reward Certification for Policy Smoothed Reinforcement Learning.

Ronghui Mu, Leandro Soriano Marcolino, Yanghao Zhang, Tianle Zhang, Xiaowei Huang, Wenjie Ruan

Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024

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, Tao Wang

Patterns, December, 2023

Generalizing universal adversarial perturbations for deep neural networks.

Yanghao Zhang, Wenjie Ruan, Fu Wang, Xiaowei Huang

Mach. Learn., May, 2023

<i>ODE4ViTRobustness</i>: A tool for understanding adversarial robustness of Vision Transformers.

Zheng Wang, Wenjie Ruan, Xiangyu Yin

Softw. Impacts, March, 2023

Machine Learning Safety

Xiaowei Huang, Gaojie Jin, Wenjie Ruan

Artificial Intelligence: Foundations, Theory, and Algorithms, Springer, ISBN: 978-981-19-6813-6, 2023

Interpretable Machine Learning for COVID-19: An Empirical Study on Severity Prediction Task.

Han Wu, Wenjie Ruan, Jiangtao Wang, Dingchang Zheng, Bei Liu, Yayuan Geng, Xiangfei Chai, Jian Chen, Kunwei Li, Shaolin Li, Sumi Helal

IEEE Trans. Artif. Intell., 2023

ReRoGCRL: Representation-based Robustness in Goal-Conditioned Reinforcement Learning.

Xiangyu Yin, Sihao Wu, Jiaxu Liu, Meng Fang, Xingyu Zhao, Xiaowei Huang, Wenjie Ruan

CoRR, 2023

Reward Certification for Policy Smoothed Reinforcement Learning.

Ronghui Mu, Leandro Soriano Marcolino, Tianle Zhang, Yanghao Zhang, Xiaowei Huang, Wenjie Ruan

CoRR, 2023

A Survey of Safety and Trustworthiness of Large Language Models through the Lens of Verification and Validation.

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

CoRR, 2023

Towards Verifying the Geometric Robustness of Large-scale Neural Networks.

Fu Wang, Peipei Xu, Wenjie Ruan, Xiaowei Huang

CoRR, 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

Model-Agnostic Reachability Analysis on Deep Neural Networks.

Chi Zhang, Wenjie Ruan, Fu Wang, Peipei Xu, Geyong Min, Xiaowei Huang

Proceedings of the Advances in Knowledge Discovery and Data Mining, 2023

Self-adaptive Adversarial Training for Robust Medical Segmentation.

Fu Wang, Zeyu Fu, Yanghao Zhang, Wenjie Ruan

Proceedings of the Medical Image Computing and Computer Assisted Intervention - MICCAI 2023, 2023

Adversarial Detection: Attacking Object Detection in Real Time.

Han Wu, Syed Yunas, Sareh Rowlands, Wenjie Ruan, Johan Wahlström

Proceedings of the IEEE Intelligent Vehicles Symposium, 2023

Adversarial Driving: Attacking End-to-End Autonomous Driving.

Han Wu, Syed Yunas, Sareh Rowlands, Wenjie Ruan, Johan Wahlström

Proceedings of the IEEE Intelligent Vehicles Symposium, 2023

Sora: Scalable Black-Box Reachability Analyser on Neural Networks.

Peipei Xu, Fu Wang, Wenjie Ruan, Chi Zhang, Xiaowei Huang

Proceedings of the IEEE International Conference on Acoustics, 2023

TextVerifier: Robustness Verification for Textual Classifiers with Certifiable Guarantees.

Siqi Sun, Wenjie Ruan

Proceedings of the Findings of the Association for Computational Linguistics: ACL 2023, 2023

Reachability Analysis of Neural Network Control Systems.

Chi Zhang, Wenjie Ruan, Peipei Xu

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

Towards Verifying the Geometric Robustness of Large-Scale Neural Networks.

Fu Wang, Peipei Xu, Wenjie Ruan, Xiaowei Huang

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

Certified Policy Smoothing for Cooperative Multi-Agent Reinforcement Learning.

Ronghui Mu, Wenjie Ruan, Leandro Soriano Marcolino, Gaojie Jin, Qiang Ni

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

RePreM: Representation Pre-training with Masked Model for Reinforcement Learning.

Yuanying Cai, Chuheng Zhang, Wei Shen, Xuyun Zhang, Wenjie Ruan, Longbo Huang

Proceedings of the Thirty-Seventh AAAI Conference on Artificial Intelligence, 2023

2022

Coverage-Guided Testing for Recurrent Neural Networks.

Wei Huang, Youcheng Sun, Xingyu Zhao, James Sharp, Wenjie Ruan, Jie Meng, Xiaowei Huang

IEEE Trans. Reliab., 2022

An intelligent stochastic optimization approach for stochastic order allocation problems with high-dimensional order uncertainties.

Zhenzhong Zhang, Chunxiang Guo, Wenjie Ruan, Wei Wang, Peng Zhou

Comput. Ind. Eng., 2022

PRoA: A Probabilistic Robustness Assessment Against Functional Perturbations.

Tianle Zhang, Wenjie Ruan, Jonathan E. Fieldsend

Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2022

Understanding Adversarial Robustness of Vision Transformers via Cauchy Problem.

Zheng Wang, Wenjie Ruan

Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2022

Bridging Formal Methods and Machine Learning with Global Optimisation.

Xiaowei Huang, Wenjie Ruan, Qiyi Tang, Xingyu Zhao

Proceedings of the Formal Methods and Software Engineering, 2022

Enhancing Robust Text Classification via Category Description.

Xin Gao, Zhengye Zhu, Xu Chu, Yasha Wang, Wenjie Ruan, Junfeng Zhao

Proceedings of the IEEE International Conference on Data Mining, 2022

2021

Memory Augmented Hierarchical Attention Network for Next Point-of-Interest Recommendation.

Chenwang Zheng, Dan Tao, Jiangtao Wang, Lei Cui, Wenjie Ruan, Shui Yu

IEEE Trans. Comput. Soc. Syst., 2021

Enabling Cost-Effective Population Health Monitoring By Exploiting Spatiotemporal Correlation: An Empirical Study.

Dawei Chen, Jiangtao Wang, Wenjie Ruan, Qiang Ni, Sumi Helal

ACM Trans. Comput. Heal., 2021

Tutorials on Testing Neural Networks.

Nicolas Berthier, Youcheng Sun, Wei Huang, Yanghao Zhang, Wenjie Ruan, Xiaowei Huang

CoRR, 2021

Adversarial Driving: Attacking End-to-End Autonomous Driving Systems.

Han Wu, Wenjie Ruan

CoRR, 2021

Gradient-Guided Dynamic Efficient Adversarial Training.

Fu Wang, Yanghao Zhang, Yanbin Zheng, Wenjie Ruan

CoRR, 2021

Fooling Object Detectors: Adversarial Attacks by Half-Neighbor Masks.

Yanghao Zhang, Fu Wang, Wenjie Ruan

CoRR, 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

Proceedings of the WWW '21: The Web Conference 2021, 2021

Adversarial Robustness of Deep Learning: Theory, Algorithms, and Applications.

Wenjie Ruan, Xinping Yi, Xiaowei Huang

Proceedings of the CIKM '21: The 30th ACM International Conference on Information and Knowledge Management, Virtual Event, Queensland, Australia, November 1, 2021

Sparse Adversarial Video Attacks with Spatial Transformations.

Ronghui Mu, Wenjie Ruan, Leandro Soriano Marcolino, Qiang Ni

Proceedings of the 32nd British Machine Vision Conference 2021, 2021

2020

A game-based approximate verification of deep neural networks with provable guarantees.

Min Wu, Matthew Wicker, Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska

Theor. Comput. Sci., 2020

A survey of safety and trustworthiness of deep neural networks: Verification, testing, adversarial attack and defence, and interpretability.

Xiaowei Huang, Daniel Kroening, Wenjie Ruan, James Sharp, Youcheng Sun, Emese Thamo, Min Wu, Xinping Yi

Comput. Sci. Rev., 2020

Interpretable Machine Learning for COVID-19: An Empirical Study on Severity Prediction Task.

Han Wu, Wenjie Ruan, Jiangtao Wang, Dingchang Zheng, Shaolin Li, Jian Chen, Kunwei Li, Xiangfei Chai, Sumi Helal

CoRR, 2020

Towards the Quantification of Safety Risks in Deep Neural Networks.

Peipei Xu, Wenjie Ruan, Xiaowei Huang

CoRR, 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

CoRR, 2020

EV Charging Recommendation Concerning Preemptive Service and Charging Urgency Policy.

Shuohan Liu, Yue Cao, Wenjie Ruan, Qiang Ni, Michele Nati, Chakkaphong Suthaputchakun

Proceedings of the 92nd IEEE Vehicular Technology Conference, 2020

Generalizing Universal Adversarial Attacks Beyond Additive Perturbations.

Yanghao Zhang, Wenjie Ruan, Fu Wang, Xiaowei Huang

Proceedings of the 20th IEEE International Conference on Data Mining, 2020

ConCare: Personalized Clinical Feature Embedding via Capturing the Healthcare Context.

Liantao Ma, Chaohe Zhang, Yasha Wang, Wenjie Ruan, Jiangtao Wang, Wen Tang, Xinyu Ma, Xin Gao, Junyi Gao

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

AdaCare: Explainable Clinical Health Status Representation Learning via Scale-Adaptive Feature Extraction and Recalibration.

Liantao Ma, Junyi Gao, Yasha Wang, Chaohe Zhang, Jiangtao Wang, Wenjie Ruan, Wen Tang, Xin Gao, Xinyu Ma

Proceedings of the Thirty-Fourth AAAI Conference on Artificial Intelligence, 2020

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

Gaze-based Intention Anticipation over Driving Manoeuvres in Semi-Autonomous Vehicles.

Min Wu, Tyron Louw, Morteza Lahijanian, Wenjie Ruan, Xiaowei Huang, Natasha Merat, Marta Kwiatkowska

Proceedings of the 2019 IEEE/RSJ International Conference on Intelligent Robots and Systems, 2019

Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for the Hamming Distance.

Wenjie Ruan, Min Wu, Youcheng Sun, Xiaowei Huang, Daniel Kroening, Marta Kwiatkowska

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

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

Compressive Representation for Device-Free Activity Recognition with Passive RFID Signal Strength.

Lina Yao, Quan Z. Sheng, Xue Li, Tao Gu, Mingkui Tan, Xianzhi Wang, Sen Wang, Wenjie Ruan

IEEE Trans. Mob. Comput., 2018

Making Sense of Doppler Effect for Multi-Modal Hand Motion Detection.

Wenjie Ruan, Quan Z. Sheng, Peipei Xu, Lei Yang, Tao Gu, Longfei Shangguan

IEEE Trans. Mob. Comput., 2018

Cubic-RBF-ARX modeling and model-based optimal setting control in head and tail stages of cut tobacco drying process.

Feng Zhou, Hui Peng, Wenjie Ruan, Dan Wang, Mingyue Liu, Yunfeng Gu, Li Li

Neural Comput. Appl., 2018

Device-free human localization and tracking with UHF passive RFID tags: A data-driven approach.

Wenjie Ruan, Quan Z. Sheng, Lina Yao, Xue Li, Nickolas J. G. Falkner, Lei Yang

J. Netw. Comput. Appl., 2018

Global Robustness Evaluation of Deep Neural Networks with Provable Guarantees for L0 Norm.

Wenjie Ruan, Min Wu, Youcheng Sun, Xiaowei Huang, Daniel Kroening, Marta Kwiatkowska

CoRR, 2018

Related or Duplicate: Distinguishing Similar CQA Questions via Convolutional Neural Networks.

Wei Emma Zhang, Quan Z. Sheng, Zhejun Tang, Wenjie Ruan

Proceedings of the 41st International ACM SIGIR Conference on Research & Development in Information Retrieval, 2018

Concolic testing for deep neural networks.

Youcheng Sun, Min Wu, Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska, Daniel Kroening

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018

Reachability Analysis of Deep Neural Networks with Provable Guarantees.

Wenjie Ruan, Xiaowei Huang, Marta Kwiatkowska

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

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, Lina Yao

Proceedings of the 14th EAI International Conference on Mobile and Ubiquitous Systems: Computing, 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, Wei Emma Zhang

Proceedings of the Database Systems for Advanced Applications, 2017

Toward Unified Cloud Service Discovery for Enhanced Service Identification.

Abdullah Alfazi, Quan Z. Sheng, Ali Babar, Wenjie Ruan, Yongrui Qin

Proceedings of the Service Research and Innovation - 5th and 6th Australasian Symposium, 2017

2016

Device-free indoor localization and tracking through Human-Object Interactions.

Wenjie Ruan, Quan Z. Sheng, Lina Yao, Tao Gu, Michele Ruta, Longfei Shangguan

Proceedings of the 17th IEEE International Symposium on A World of Wireless, 2016

HOI-Loc: Towards unobstructive human localization with probabilistic multi-sensor fusion.

Wenjie Ruan, Quan Z. Sheng, Lina Yao, Lei Yang, Tao Gu

Proceedings of the 2016 IEEE International Conference on Pervasive Computing and Communication Workshops, 2016

PreventDark: Automatically detecting and preventing problematic use of smartphones in darkness.

Wenjie Ruan, Quan Z. Sheng, Lina Yao, Nguyen Khoi Tran, Yu Chieh Yang

Proceedings of the 2016 IEEE International Conference on Pervasive Computing and Communication Workshops, 2016

Unobtrusive human localization and activity recognition for supporting independent living of the elderly.

Wenjie Ruan

Proceedings of the 2016 IEEE International Conference on Pervasive Computing and Communication Workshops, 2016

AudioGest: enabling fine-grained hand gesture detection by decoding echo signal.

Wenjie Ruan, Quan Z. Sheng, Lei Yang, Tao Gu, Peipei Xu, Longfei Shangguan

Proceedings of the 2016 ACM International Joint Conference on Pervasive and Ubiquitous Computing, 2016

When Sensor Meets Tensor: Filling Missing Sensor Values Through a Tensor Approach.

Wenjie Ruan, Peipei Xu, Quan Z. Sheng, Nguyen Khoi Tran, Nickolas J. G. Falkner, Xue Li, Wei Emma Zhang

Proceedings of the 25th ACM International Conference on Information and Knowledge Management, 2016

Forecasting Seasonal Time Series Using Weighted Gradient RBF Network based Autoregressive Model.

Wenjie Ruan, Quan Z. Sheng, Peipei Xu, Nguyen Khoi Tran, Nickolas J. G. Falkner, Xue Li, Wei Emma Zhang

Proceedings of the 25th ACM International Conference on Information and Knowledge Management, 2016

Recognizing Daily Living Activity Using Embedded Sensors in Smartphones: A Data-Driven Approach.

Wenjie Ruan, Leon Chea, Quan Z. Sheng, Lina Yao

Proceedings of the Advanced Data Mining and Applications - 12th International Conference, 2016

2015

RF-Care: Device-Free Posture Recognition for Elderly People Using A Passive RFID Tag Array.

Lina Yao, Quan Z. Sheng, Wenjie Ruan, Tao Gu, Xue Li, Nick Falkner, Zhi Yang

EAI Endorsed Trans. Ambient Syst., 2015

TagFall: Towards Unobstructive Fine-Grained Fall Detection based on UHF Passive RFID Tags.

Wenjie Ruan, Lina Yao, Quan Z. Sheng, Nickolas J. G. Falkner, Xue Li, Tao Gu

Proceedings of the 12th EAI International Conference on Mobile and Ubiquitous Systems: Computing, 2015

Service Recommendation for Mashup Composition with Implicit Correlation Regularization.

Lina Yao, Xianzhi Wang, Quan Z. Sheng, Wenjie Ruan, Wei Zhang

Proceedings of the 2015 IEEE International Conference on Web Services, 2015

Unobtrusive Posture Recognition via Online Learning of Multi-dimensional RFID Received Signal Strength.

Lina Yao, Quan Z. Sheng, Wenjie Ruan, Xue Li, Sen Wang, Zhi Yang

Proceedings of the 21st IEEE International Conference on Parallel and Distributed Systems, 2015

Freedom: Online Activity Recognition via Dictionary-Based Sparse Representation of RFID Sensing Data.

Lina Yao, Quan Z. Sheng, Xue Li, Sen Wang, Tao Gu, Wenjie Ruan, Wan Zou

Proceedings of the 2015 IEEE International Conference on Data Mining, 2015

2014

TagTrack: device-free localization and tracking using passive RFID tags.

Wenjie Ruan, Lina Yao, Quan Z. Sheng, Nickolas J. G. Falkner, Xue Li

Proceedings of the 11th International Conference on Mobile and Ubiquitous Systems: Computing, 2014

Exploring Tag-Free RFID-Based Passive Localization and Tracking via Learning-Based Probabilistic Approaches.

Lina Yao, Wenjie Ruan, Quan Z. Sheng, Xue Li, Nickolas J. G. Falkner

Proceedings of the 23rd ACM International Conference on Conference on Information and Knowledge Management, 2014