Wenbo Zhou

According to our database, Wenbo Zhou authored at least 19 papers between 2017 and 2025.

Collaborative distances:

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

2025

A comprehensive survey of UPPAAL-assisted formal modeling and verification.

Wenbo Zhou, Yujiao Zhao, Ye Zhang, Yiyuan Wang, Minghao Yin

Softw. Pract. Exp., 2025

Improving Local Search Algorithm for Pseudo Boolean Optimization.

Yujiao Zhao, Yiyuan Wang, Yi Chu, Wenbo Zhou, Shaowei Cai, Minghao Yin

J. Artif. Intell. Res., 2025

Towards more efficient local search for weighted graph coloring problem in massive graphs.

Shiwei Pan, Yujiao Zhao, Jiangnan Li, Yiyuan Wang, Ye Zhang, Wenbo Zhou, Minghao Yin

Comput. Oper. Res., 2025

2024

Combining bounded solving and controllable randomization for approximate model counting.

Shuai Lü, Tongbo Zhang, Yue Xu, Wenbo Zhou, Yong Lai

J. Exp. Theor. Artif. Intell., October, 2024

Ensuring reliability in electronic examinations through UPPAAL-based trustworthy design.

Wenbo Zhou, Yujiao Zhao, Ye Zhang, Liwen Mu, Yiyuan Wang, Minghao Yin

PeerJ Comput. Sci., 2024

2023

An efficient local search algorithm for minimum positive influence dominating set problem.

Rui Sun, Jieyu Wu, Chenghou Jin, Yiyuan Wang, Wenbo Zhou, Minghao Yin

Comput. Oper. Res., June, 2023

Entropy regularization methods for parameter space exploration.

Shuai Han, Wenbo Zhou, Shuai Lü, Sheng Zhu, Xiaoyu Gong

Inf. Sci., April, 2023

Improving Local Search for Pseudo Boolean Optimization by Fragile Scoring Function and Deep Optimization.

Wenbo Zhou, Yujiao Zhao, Yiyuan Wang, Shaowei Cai, Shimao Wang, Xinyu Wang, Minghao Yin

Proceedings of the 29th International Conference on Principles and Practice of Constraint Programming, 2023

2022

NROWAN-DQN: A stable noisy network with noise reduction and online weight adjustment for exploration.

Shuai Han, Wenbo Zhou, Jiayi Lu, Jing Liu, Shuai Lü

Expert Syst. Appl., 2022

2021

Regularly updated deterministic policy gradient algorithm.

Shuai Han, Wenbo Zhou, Shuai Lü, Jiayu Yu

Knowl. Based Syst., 2021

Recruitment-imitation mechanism for evolutionary reinforcement learning.

Shuai Lü, Shuai Han, Wenbo Zhou, Junwei Zhang

Inf. Sci., 2021

Evolutionary Generative Adversarial Networks based on New Fitness Function and Generic Crossover Operator.

Junjie Li, Jingyao Li, Wenbo Zhou, Shuai Lü

CoRR, 2021

2020

NROWAN-DQN: A Stable Noisy Network with Noise Reduction and Online Weight Adjustment for Exploration.

Shuai Han, Wenbo Zhou, Jing Liu, Shuai Lü

CoRR, 2020

A Coloured Petri Nets Based Attack Tolerance Framework.

Wenbo Zhou, Philippe Dague, Lei Liu, Lina Ye, Fatiha Zaïdi

Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020

2019

Toward Formal Modeling and Verification of Resource Provisioning as a Service in Cloud.

Wenbo Zhou, Lei Liu, Shuai Lü, Peng Zhang

IEEE Access, 2019

A Method of Automatically Evolving Feature Models of Software Product Lines.

Junqi Ren, Lei Liu, Peng Zhang, Wenbo Zhou

IEEE Access, 2019

An Executable Specification of Map-Join-Reduce Using Haskell.

Junqi Ren, Lei Liu, Feng Liu, Wenbo Zhou, Shuai Lü

IEEE Access, 2019

2018

SDAC: A model for analysis of the execution semantics of data processing framework in cloud.

Wenbo Zhou, Lei Liu, Peng Zhang, Shuai Lü, Jingyao Li

Comput. Lang. Syst. Struct., 2018

2017

一种服务消息交互行为的元建模方法 (Meta-modeling Approach of Message Interaction in Service).

Wenbo Zhou, Hongjia Liu, Lei Liu, Peng Zhang, Shuai Lv

计算机科学, 2017