Wenxi Wang

Publication Activity (10 Years)

Years Active: 2016-2024
Publications (10 Years): 40

Top Topics

Disaster Relief

Top Venues

ESEC/SIGSOFT FSE

Publications

Kefei Qian, Lai Zou, Zhiwen Wang, Wenxi Wang
Metallic surface defect recognition network based on global feature aggregation and dual context decoupled head. Appl. Soft Comput. 158 (2024)
Ziling Wang, Lai Zou, Junjie Zhang, Heng Li, Wenxi Wang, Yun Huang
Tool axis vector optimization for robotic grinding based on measured point cloud of complex curved blade. Adv. Eng. Informatics 62 (2024)
Wenxi Wang, Yang Hu, Mohit Tiwari, Sarfraz Khurshid, Kenneth L. McMillan, Risto Miikkulainen
NeuroBack: Improving CDCL SAT Solving using Graph Neural Networks. ICLR (2024)
Xin Yang, Hongtao Huo, Chang Li, Xiaowen Liu, Wenxi Wang, Cheng Wang
Semantic perceptive infrared and visible image fusion Transformer. Pattern Recognit. 149 (2024)
Hang Wang, Huansheng Ning, Yujia Lin, Wenxi Wang, Sahraoui Dhelim, Fadi Farha, Jianguo Ding, Mahmoud Daneshmand
A Survey on the Metaverse: The State-of-the-Art, Technologies, Applications, and Challenges. IEEE Internet Things J. 10 (16) (2023)
Huansheng Ning, Yujia Lin, Wenxi Wang, Hang Wang, Feifei Shi, Xiaohong Zhang, Mahmoud Daneshmand
Cyberology: Cyber-Physical-Social-Thinking Spaces-Based Discipline and Interdiscipline Hierarchy for Metaverse (General Cyberspace). IEEE Internet Things J. 10 (5) (2023)
Wenxi Wang
An Improved ELM Wireless Sensor Network Intrusion Detection Model Based on an Optimization Algorithm. APIT (2023)
Armin Biere, Nils Froleyks, Wenxi Wang
CadiBack: Extracting Backbones with CaDiCaL. SAT (2023)
Yang Hu, Wenxi Wang, Sarfraz Khurshid, Kenneth L. McMillan, Mohit Tiwari
Fixing Privilege Escalations in Cloud Access Control with MaxSAT and Graph Neural Networks. ASE (2023)
Yang Hu, Wenxi Wang, Mohit Tiwari
Greybox Penetration Testing on Cloud Access Control with IAM Modeling and Deep Reinforcement Learning. CoRR (2023)
Jiangyang Li, Lai Zou, Guoyue Luo, Wenxi Wang, Chong Lv
Enhancement and evaluation in path accuracy of industrial robot for complex surface grinding. Robotics Comput. Integr. Manuf. 81 (2023)
Huansheng Ning, Zhangfeng Pi, Wenxi Wang, Fadi Farha, Shunkun Yang
A Review on Serious Games for Disaster Relief. ICDIS (2022)
Wenxi Wang, Huansheng Ning, Feifei Shi, Sahraoui Dhelim, Weishan Zhang, Liming Chen
A Survey of Hybrid Human-Artificial Intelligence for Social Computing. IEEE Trans. Hum. Mach. Syst. 52 (3) (2022)
Huansheng Ning, Zhangfeng Pi, Wenxi Wang, Fadi Farha, Shunkun Yang
A Review on Serious Games for Disaster Relief. CoRR (2022)
Huansheng Ning, Wenxi Wang, Fadi Farha, Jinsheng Xie, Mahmoud Daneshmand
SocialNet of Things: A Ubiquitous Relationship Network Inspired by Social Space. IEEE Netw. 36 (3) (2022)
Wenxi Wang, Yang Hu, Kenneth L. McMillan, Sarfraz Khurshid
SymMC: approximate model enumeration and counting using symmetry information for Alloy specifications. ESEC/SIGSOFT FSE (2022)
Huansheng Ning, Hang Wang, Wenxi Wang, Xiaozhen Ye, Jianguo Ding, Per Backlund
A Review on Serious Games in E-learning. CoRR (2022)
Chengpeng Li, Chenguang Zhu, Wenxi Wang, August Shi
Repairing Order-Dependent Flaky Tests via Test Generation. ICSE (2022)
Lilan Liu, Xiang Wan, Jiaying Li, Wenxi Wang, Zenggui Gao
An Improved Entropy-Weighted Topsis Method for Decision-Level Fusion Evaluation System of Multi-Source Data. Sensors 22 (17) (2022)
Wenxi Wang, Pu Yi, Sarfraz Khurshid, Darko Marinov
Initial Results on Counting Test Orders for Order-Dependent Flaky Tests Using Alloy. ICTSS (2021)
Huansheng Ning, Hang Wang, Wenxi Wang, Xiaozhen Ye, Jianguo Ding, Per Backlund
A Review on Serious Games in E-learning. SSCI (2021)
Wenxi Wang, Huansheng Ning, Feifei Shi, Sahraoui Dhelim, Weishan Zhang, Liming Chen
A Survey of Hybrid Human-Artificial Intelligence for Social Computing. CoRR (2021)
Huansheng Ning, Hang Wang, Yujia Lin, Wenxi Wang, Sahraoui Dhelim, Fadi Farha, Jianguo Ding, Mahmoud Daneshmand
A Survey on Metaverse: the State-of-the-art, Technologies, Applications, and Challenges. CoRR (2021)
Yang Hu, Wenxi Wang, Casen Hunger, Riley Wood, Sarfraz Khurshid, Mohit Tiwari
ACHyb: a hybrid analysis approach to detect kernel access control vulnerabilities. ESEC/SIGSOFT FSE (2021)
Feifei Shi, Wenxi Wang, Hang Wang, Huansheng Ning
The Internet of People: A Survey and Tutorial. CoRR (2021)
Wenxi Wang, Yang Hu, Mohit Tiwari, Sarfraz Khurshid, Kenneth L. McMillan, Risto Miikkulainen
NeuroComb: Improving SAT Solving with Graph Neural Networks. CoRR (2021)
Muhammad Usman, Wenxi Wang, Kaiyuan Wang, Cagdas Yelen, Nima Dini, Sarfraz Khurshid
A study of learning likely data structure properties using machine learning models. Int. J. Softw. Tools Technol. Transf. 22 (5) (2020)
Muhammad Usman, Wenxi Wang, Sarfraz Khurshid
TestMC: Testing Model Counters using Differential and Metamorphic Testing. ASE (2020)
Wenxi Wang, Muhammad Usman, Alyas Almaawi, Kaiyuan Wang, Kuldeep S. Meel, Sarfraz Khurshid
A Study of Symmetry Breaking Predicates and Model Counting. TACAS (1) (2020)
Muhammad Usman, Wenxi Wang, Marko Vasic, Kaiyuan Wang, Haris Vikalo, Sarfraz Khurshid
A study of the learnability of relational properties: model counting meets machine learning (MCML). PLDI (2020)
Jiayi Yang, Wenxi Wang, Darko Marinov, Sarfraz Khurshid
AlloyMC: Alloy meets model counting. ESEC/SIGSOFT FSE (2020)
Wenxi Wang, Kaiyuan Wang, Mengshi Zhang, Sarfraz Khurshid
Learning to Optimize the Alloy Analyzer. ICST (2019)
Muhammad Usman, Wenxi Wang, Kaiyuan Wang, Marko Vasic, Haris Vikalo, Sarfraz Khurshid
A Study of the Learnability of Relational Properties (Model Counting Meets Machine Learning). CoRR (2019)
Wenxi Wang, Harald Søndergaard, Peter J. Stuckey
Wombit: A Portfolio Bit-Vector Solver Using Word-Level Propagation. J. Autom. Reason. 63 (3) (2019)
Muhammad Usman, Wenxi Wang, Kaiyuan Wang, Cagdas Yelen, Nima Dini, Sarfraz Khurshid
A Study of Learning Data Structure Invariants Using Off-the-shelf Tools. SPIN (2019)
Can Cheng, Jianyong Li, Yueming Liu, Meng Nie, Wenxi Wang
Deep convolutional neural network-based in-process tool condition monitoring in abrasive belt grinding. Comput. Ind. 106 (2019)
Wenxi Wang, Weilong Zhang, Zhang Jin, Keyan Sun, Runlin Zou, Chenrong Huang, Yuan Tian
A Novel Location Privacy Protection Scheme with Generative Adversarial Network. ICBDS (2019)
Wenxi Wang, Kaiyuan Wang, Milos Gligoric, Sarfraz Khurshid
Incremental Analysis of Evolving Alloy Models. TACAS (1) (2019)
Wenxi Wang, Harald Søndergaard, Peter J. Stuckey
A Bit-Vector Solver with Word-Level Propagation. CPAIOR (2016)
Tianyong Jiang, Qingzhao Kong, Wenxi Wang, Linsheng Huo, Gangbing Song
Monitoring of Grouting Compactness in a Post-Tensioning Tendon Duct Using Piezoceramic Transducers. Sensors 16 (8) (2016)