Refinement of Timing Constraints for Concurrent Tasks with Scheduling. - Chenyang Zhu 001; Michael J. Butler; Corina Cîrstea (ABZ, 2018)

Semantics of Real-Time Trigger-Response Properties in Event-B. - Chenyang Zhu 001; Michael J. Butler; Corina Cîrstea (TASE, 2018)

Towards Refinement Semantics of Real-Time Trigger-Response Properties in Event-B. - Chenyang Zhu 001; Michael J. Butler; Corina Cîrstea (TASE, 2019)

Evaluation of Machine Learning Approaches for Android Energy Bugs Detection With Revision Commits. - Chenyang Zhu 001; Zhengwei Zhu; Yunxin Xie; Wei Jiang 022; Guiling Zhang (IEEE Access, 2019)

Real-Time Trigger-Response Properties for Event-B Applied to the Pacemaker. - Chenyang Zhu 001; Michael J. Butler; Corina Cîrstea (TASE, 2020)

Trace semantics and refinement patterns for real-time properties in event-B models. - Chenyang Zhu 001; Michael J. Butler; Corina Cîrstea (Sci. Comput. Program., 2020)

Formalizing hierarchical scheduling for refinement of real-time systems. - Chenyang Zhu 001; Michael J. Butler; Corina Cîrstea (Sci. Comput. Program., 2020)

Formal treatment of real-time properties in Event-B - Chenyang Zhu 001 (2020)

Reasoning About Real-Time Systems in Event-B Models with Fairness Assumptions. - Chenyang Zhu 001; Michael J. Butler; Corina Cîrstea; Thai Son Hoang (TASE, 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 001 (Int. J. Web Based Learn. Teach. Technol., 2021)

Efficient Reinforcement Learning with Generalized-Reactivity Specifications. - Chenyang Zhu 001; Yujie Cai; Can Hu; Jia Bi (APSEC, 2022)

3D Single Target Tracking Algorithm Based on Dynamic Search Center. - Yanping Zhu; Qi Chen; Aimin Jiang; Chenyang Zhu 001; Chang Liu; Wenlong Chen (ICPADS, 2023)

Decomposing Synthesized Strategies for Reactive Multi-agent Reinforcement Learning. - Chenyang Zhu 001; Jinyu Zhu; Yujie Cai; Fang Wang 010 (TASE, 2023)

A Nested Attention Guided UNet++ Architecture for White Matter Hyperintensity Segmentation. - Hao Zhang; Chenyang Zhu 001; Xuegan Lian; Fei Hua (IEEE Access, 2023)

IRE: Improved Image Super-Resolution Based on Real-ESRGAN. - Zhengwei Zhu; Yushi Lei; Yilin Qin; Chenyang Zhu 001; Yanping Zhu (IEEE Access, 2023)

A fairness-based refinement strategy to transform liveness properties in Event-B models. - Chenyang Zhu 001; Michael J. Butler; Corina Cîrstea; Thai Son Hoang (Sci. Comput. Program., 2023)

A semi-supervised coarse-to-fine approach with bayesian optimization for lithology identification. - Yunxin Xie; Liangyu Jin; Chenyang Zhu 001; Siyu Wu (Earth Sci. Informatics, 2023)

Decomposing Temporal Equilibrium Strategy for Coordinated Distributed Multi-Agent Reinforcement Learning. - Chenyang Zhu 001; Wen Si; Jinyu Zhu; Zhihao Jiang (AAAI, 2024)

Residual SwinV2 transformer coordinate attention network for image super resolution. - Yushi Lei; Zhengwei Zhu; Yilin Qin; Chenyang Zhu 001; Yanping Zhu (AI Commun., 2024)

Efficient deployment of Single Shot Multibox Detector network on FPGAs. - Wei Qian; Zhengwei Zhu; Chenyang Zhu 001; Weibin Luo; Yanping Zhu (Integr., 2024)

Multiview latent space learning with progressively fine-tuned deep features for unsupervised domain adaptation. - Chenyang Zhu 001; Qian Wang 017; Yunxin Xie; Shoukun Xu (Inf. Sci., 2024)

Multi-agent reinforcement learning with synchronized and decomposed reward automaton synthesized from reactive temporal logic. - Chenyang Zhu 001; Jinyu Zhu; Wen Si; Xueyuan Wang; Fang Wang 010 (Knowl. Based Syst., 2024)

Effective defense strategies in network security using improved double dueling deep Q-network. - Zhengwei Zhu; Miaojie Chen; Chenyang Zhu 001; Yanping Zhu (Comput. Secur., 2024)

Enhanced cross-domain lithology classification in imbalanced datasets using an unsupervised domain Adversarial Network. - Yunxin Xie; Liangyu Jin; Chenyang Zhu 001; Weibin Luo; Qian Wang 017 (Eng. Appl. Artif. Intell., 2025)

Tensorial multiview low-rank high-order graph learning for context-enhanced domain adaptation. - Chenyang Zhu 001; Lanlan Zhang; Weibin Luo; Guangqi Jiang; Qian Wang 017 (Neural Networks, 2025)

FPGA-based accelerator for YOLOv5 object detection with optimized computation and data access for edge deployment. - Wei Qian; Zhengwei Zhu; Chenyang Zhu 001; Yanping Zhu (Parallel Comput., 2025)