Chenyang Zhu

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 18

Top Topics

Reinforcement Learning

Real Time Databases

Timing Constraints

Top Venues

Sci. Comput. Program.

Publications

Zhengwei Zhu, Miaojie Chen, Chenyang Zhu, Yanping Zhu
Effective defense strategies in network security using improved double dueling deep Q-network. Comput. Secur. 136 (2024)
Chenyang Zhu, Qian Wang, Yunxin Xie, Shoukun Xu
Multiview latent space learning with progressively fine-tuned deep features for unsupervised domain adaptation. Inf. Sci. 662 (2024)
Chenyang Zhu, Wen Si, Jinyu Zhu, Zhihao Jiang
Decomposing Temporal Equilibrium Strategy for Coordinated Distributed Multi-Agent Reinforcement Learning. AAAI (2024)
Zhengwei Zhu, Yushi Lei, Yilin Qin, Chenyang Zhu, Yanping Zhu
IRE: Improved Image Super-Resolution Based on Real-ESRGAN. IEEE Access 11 (2023)
Chenyang Zhu, Michael J. Butler, Corina Cîrstea, Thai Son Hoang
A fairness-based refinement strategy to transform liveness properties in Event-B models. Sci. Comput. Program. 225 (2023)
Yanping Zhu, Qi Chen, Aimin Jiang, Chenyang Zhu, Chang Liu, Wenlong Chen
3D Single Target Tracking Algorithm Based on Dynamic Search Center. ICPADS (2023)
Yunxin Xie, Liangyu Jin, Chenyang Zhu, Siyu Wu
A semi-supervised coarse-to-fine approach with bayesian optimization for lithology identification. Earth Sci. Informatics 16 (3) (2023)
Chenyang Zhu, Jinyu Zhu, Yujie Cai, Fang Wang
Decomposing Synthesized Strategies for Reactive Multi-agent Reinforcement Learning. TASE (2023)
Hao Zhang, Chenyang Zhu, Xuegan Lian, Fei Hua
A Nested Attention Guided UNet++ Architecture for White Matter Hyperintensity Segmentation. IEEE Access 11 (2023)
Nicole Wang-Trexler, Martin K.-C. Yeh, William C. Diehl, Rebecca E. Heiser, Andrea Gregg, Ling Tran, Chenyang Zhu
Learning From Doing: Lessons Learned From Designing and Developing an Educational Software Within a Heterogeneous Group. Int. J. Web Based Learn. Teach. Technol. 16 (4) (2021)
Chenyang Zhu, Michael J. Butler, Corina Cîrstea, Thai Son Hoang
Reasoning About Real-Time Systems in Event-B Models with Fairness Assumptions. TASE (2021)
Chenyang Zhu, Michael J. Butler, Corina Cîrstea
Real-Time Trigger-Response Properties for Event-B Applied to the Pacemaker. TASE (2020)
Chenyang Zhu, Michael J. Butler, Corina Cîrstea
Formalizing hierarchical scheduling for refinement of real-time systems. Sci. Comput. Program. 189 (2020)
Chenyang Zhu, Michael J. Butler, Corina Cîrstea
Trace semantics and refinement patterns for real-time properties in event-B models. Sci. Comput. Program. 197 (2020)
Chenyang Zhu, Michael J. Butler, Corina Cîrstea
Towards Refinement Semantics of Real-Time Trigger-Response Properties in Event-B. TASE (2019)
Chenyang Zhu, Zhengwei Zhu, Yunxin Xie, Wei Jiang, Guiling Zhang
Evaluation of Machine Learning Approaches for Android Energy Bugs Detection With Revision Commits. IEEE Access 7 (2019)
Chenyang Zhu, Michael J. Butler, Corina Cîrstea
Semantics of Real-Time Trigger-Response Properties in Event-B. TASE (2018)
Chenyang Zhu, Michael J. Butler, Corina Cîrstea
Refinement of Timing Constraints for Concurrent Tasks with Scheduling. ABZ (2018)