Wenxi Wang

According to our database, Wenxi Wang authored at least 34 papers between 2016 and 2024.

Collaborative distances:

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

2024

Semantic perceptive infrared and visible image fusion Transformer.

Xin Yang, Hongtao Huo, Chang Li, Xiaowen Liu, Wenxi Wang, Cheng Wang

Pattern Recognit., 2024

Metallic surface defect recognition network based on global feature aggregation and dual context decoupled head.

Kefei Qian, Lai Zou, Zhiwen Wang, Wenxi Wang

Appl. Soft Comput., 2024

2023

A Survey on the Metaverse: The State-of-the-Art, Technologies, Applications, and Challenges.

Hang Wang, Huansheng Ning, Yujia Lin, Wenxi Wang, Sahraoui Dhelim, Fadi Farha, Jianguo Ding, Mahmoud Daneshmand

IEEE Internet Things J., August, 2023

Enhancement and evaluation in path accuracy of industrial robot for complex surface grinding.

Jiangyang Li, Lai Zou, Guoyue Luo, Wenxi Wang, Chong Lv

Robotics Comput. Integr. Manuf., June, 2023

Cyberology: Cyber-Physical-Social-Thinking Spaces-Based Discipline and Interdiscipline Hierarchy for Metaverse (General Cyberspace).

Huansheng Ning, Yujia Lin, Wenxi Wang, Hang Wang, Feifei Shi, Xiaohong Zhang, Mahmoud Daneshmand

IEEE Internet Things J., March, 2023

Greybox Penetration Testing on Cloud Access Control with IAM Modeling and Deep Reinforcement Learning.

Yang Hu, Wenxi Wang, Mohit Tiwari

CoRR, 2023

CadiBack: Extracting Backbones with CaDiCaL.

Armin Biere, Nils Froleyks, Wenxi Wang

Proceedings of the 26th International Conference on Theory and Applications of Satisfiability Testing, 2023

Fixing Privilege Escalations in Cloud Access Control with MaxSAT and Graph Neural Networks.

Yang Hu, Wenxi Wang, Sarfraz Khurshid, Kenneth L. McMillan, Mohit Tiwari

Proceedings of the 38th IEEE/ACM International Conference on Automated Software Engineering, 2023

An Improved ELM Wireless Sensor Network Intrusion Detection Model Based on an Optimization Algorithm.

Wenxi Wang

Proceedings of the 2023 5th Asia Pacific Information Technology Conference, 2023

2022

A Survey of Hybrid Human-Artificial Intelligence for Social Computing.

Wenxi Wang, Huansheng Ning, Feifei Shi, Sahraoui Dhelim, Weishan Zhang, Liming Chen

IEEE Trans. Hum. Mach. Syst., 2022

An Improved Entropy-Weighted Topsis Method for Decision-Level Fusion Evaluation System of Multi-Source Data.

Lilan Liu, Xiang Wan, Jiaying Li, Wenxi Wang, Zenggui Gao

Sensors, 2022

SocialNet of Things: A Ubiquitous Relationship Network Inspired by Social Space.

Huansheng Ning, Wenxi Wang, Fadi Farha, Jinsheng Xie, Mahmoud Daneshmand

IEEE Netw., 2022

SymMC: approximate model enumeration and counting using symmetry information for Alloy specifications.

Wenxi Wang, Yang Hu, Kenneth L. McMillan, Sarfraz Khurshid

Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2022

Repairing Order-Dependent Flaky Tests via Test Generation.

Chengpeng Li, Chenguang Zhu, Wenxi Wang, August Shi

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

A Review on Serious Games for Disaster Relief.

Huansheng Ning, Zhangfeng Pi, Wenxi Wang, Fadi Farha, Shunkun Yang

Proceedings of the 4th International Conference on Data Intelligence and Security, 2022

2021

NeuroComb: Improving SAT Solving with Graph Neural Networks.

Wenxi Wang, Yang Hu, Mohit Tiwari, Sarfraz Khurshid, Kenneth L. McMillan, Risto Miikkulainen

CoRR, 2021

The Internet of People: A Survey and Tutorial.

Feifei Shi, Wenxi Wang, Hang Wang, Huansheng Ning

CoRR, 2021

A Review on Serious Games in E-learning.

Huansheng Ning, Hang Wang, Wenxi Wang, Xiaozhen Ye, Jianguo Ding, Per Backlund

Proceedings of the IEEE Symposium Series on Computational Intelligence, 2021

ACHyb: a hybrid analysis approach to detect kernel access control vulnerabilities.

Yang Hu, Wenxi Wang, Casen Hunger, Riley Wood, Sarfraz Khurshid, Mohit Tiwari

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

Initial Results on Counting Test Orders for Order-Dependent Flaky Tests Using Alloy.

Wenxi Wang, Pu Yi, Sarfraz Khurshid, Darko Marinov

Proceedings of the Testing Software and Systems, 2021

2020

A study of learning likely data structure properties using machine learning models.

Muhammad Usman, Wenxi Wang, Kaiyuan Wang, Cagdas Yelen, Nima Dini, Sarfraz Khurshid

Int. J. Softw. Tools Technol. Transf., 2020

A Study of Symmetry Breaking Predicates and Model Counting.

Wenxi Wang, Muhammad Usman, Alyas Almaawi, Kaiyuan Wang, Kuldeep S. Meel, Sarfraz Khurshid

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

AlloyMC: Alloy meets model counting.

Jiayi Yang, Wenxi Wang, Darko Marinov, Sarfraz Khurshid

Proceedings of the ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2020

A study of the learnability of relational properties: model counting meets machine learning (MCML).

Muhammad Usman, Wenxi Wang, Marko Vasic, Kaiyuan Wang, Haris Vikalo, Sarfraz Khurshid

Proceedings of the 41st ACM SIGPLAN International Conference on Programming Language Design and Implementation, 2020

TestMC: Testing Model Counters using Differential and Metamorphic Testing.

Muhammad Usman, Wenxi Wang, Sarfraz Khurshid

Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

2019

Wombit: A Portfolio Bit-Vector Solver Using Word-Level Propagation.

Wenxi Wang, Harald Søndergaard, Peter J. Stuckey

J. Autom. Reason., 2019

A Study of the Learnability of Relational Properties (Model Counting Meets Machine Learning).

Muhammad Usman, Wenxi Wang, Kaiyuan Wang, Marko Vasic, Haris Vikalo, Sarfraz Khurshid

CoRR, 2019

Deep convolutional neural network-based in-process tool condition monitoring in abrasive belt grinding.

Can Cheng, Jianyong Li, Yueming Liu, Meng Nie, Wenxi Wang

Comput. Ind., 2019

Incremental Analysis of Evolving Alloy Models.

Wenxi Wang, Kaiyuan Wang, Milos Gligoric, Sarfraz Khurshid

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

A Study of Learning Data Structure Invariants Using Off-the-shelf Tools.

Muhammad Usman, Wenxi Wang, Kaiyuan Wang, Cagdas Yelen, Nima Dini, Sarfraz Khurshid

Proceedings of the Model Checking Software - 26th International Symposium, 2019

Learning to Optimize the Alloy Analyzer.

Wenxi Wang, Kaiyuan Wang, Mengshi Zhang, Sarfraz Khurshid

Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019

A Novel Location Privacy Protection Scheme with Generative Adversarial Network.

Wenxi Wang, Weilong Zhang, Zhang Jin, Keyan Sun, Runlin Zou, Chenrong Huang, Yuan Tian

Proceedings of the Big Data and Security - First International Conference, 2019

2016

Monitoring of Grouting Compactness in a Post-Tensioning Tendon Duct Using Piezoceramic Transducers.

Tianyong Jiang, Qingzhao Kong, Wenxi Wang, Linsheng Huo, Gangbing Song

Sensors, 2016

A Bit-Vector Solver with Word-Level Propagation.

Wenxi Wang, Harald Søndergaard, Peter J. Stuckey

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2016