Chenyang Zhu

According to our database, Chenyang Zhu authored at least 18 papers between 2018 and 2024.

Collaborative distances:

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

2024

Effective defense strategies in network security using improved double dueling deep Q-network.

Zhengwei Zhu, Miaojie Chen, Chenyang Zhu, Yanping Zhu

Comput. Secur., January, 2024

Decomposing Temporal Equilibrium Strategy for Coordinated Distributed Multi-Agent Reinforcement Learning.

Chenyang Zhu, Wen Si, Jinyu Zhu, Zhihao Jiang

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

2023

A semi-supervised coarse-to-fine approach with bayesian optimization for lithology identification.

Yunxin Xie, Liangyu Jin, Chenyang Zhu, Siyu Wu

Earth Sci. Informatics, September, 2023

A fairness-based refinement strategy to transform liveness properties in Event-B models.

Chenyang Zhu, Michael J. Butler, Corina Cîrstea, Thai Son Hoang

Sci. Comput. Program., 2023

IRE: Improved Image Super-Resolution Based on Real-ESRGAN.

Zhengwei Zhu, Yushi Lei, Yilin Qin, Chenyang Zhu, Yanping Zhu

IEEE Access, 2023

A Nested Attention Guided UNet++ Architecture for White Matter Hyperintensity Segmentation.

Hao Zhang, Chenyang Zhu, Xuegan Lian, Fei Hua

IEEE Access, 2023

Decomposing Synthesized Strategies for Reactive Multi-agent Reinforcement Learning.

Chenyang Zhu, Jinyu Zhu, Yujie Cai, Fang Wang

Proceedings of the Theoretical Aspects of Software Engineering, 2023

3D Single Target Tracking Algorithm Based on Dynamic Search Center.

Yanping Zhu, Qi Chen, Aimin Jiang, Chenyang Zhu, Chang Liu, Wenlong Chen

Proceedings of the 29th IEEE International Conference on Parallel and Distributed Systems, 2023

2022

Efficient Reinforcement Learning with Generalized-Reactivity Specifications.

Chenyang Zhu, Yujie Cai, Can Hu, Jia Bi

Proceedings of the 29th Asia-Pacific Software Engineering Conference, 2022

2021

Learning From Doing: Lessons Learned From Designing and Developing an Educational Software Within a Heterogeneous Group.

Nicole Wang-Trexler, Martin K.-C. Yeh, William C. Diehl, Rebecca E. Heiser, Andrea Gregg, Ling Tran, Chenyang Zhu

Int. J. Web Based Learn. Teach. Technol., 2021

Reasoning About Real-Time Systems in Event-B Models with Fairness Assumptions.

Chenyang Zhu, Michael J. Butler, Corina Cîrstea, Thai Son Hoang

Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2021

2020

Formalizing hierarchical scheduling for refinement of real-time systems.

Chenyang Zhu, Michael J. Butler, Corina Cîrstea

Sci. Comput. Program., 2020

Trace semantics and refinement patterns for real-time properties in event-B models.

Chenyang Zhu, Michael J. Butler, Corina Cîrstea

Sci. Comput. Program., 2020

Real-Time Trigger-Response Properties for Event-B Applied to the Pacemaker.

Chenyang Zhu, Michael J. Butler, Corina Cîrstea

Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2020

2019

Evaluation of Machine Learning Approaches for Android Energy Bugs Detection With Revision Commits.

Chenyang Zhu, Zhengwei Zhu, Yunxin Xie, Wei Jiang, Guiling Zhang

IEEE Access, 2019

Towards Refinement Semantics of Real-Time Trigger-Response Properties in Event-B.

Chenyang Zhu, Michael J. Butler, Corina Cîrstea

Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

2018

Semantics of Real-Time Trigger-Response Properties in Event-B.

Chenyang Zhu, Michael J. Butler, Corina Cîrstea

Proceedings of the 2018 International Symposium on Theoretical Aspects of Software Engineering, 2018

Refinement of Timing Constraints for Concurrent Tasks with Scheduling.

Chenyang Zhu, Michael J. Butler, Corina Cîrstea

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2018