The University of Southampton
Telephone:
07784525786
Email:
cz4g16@soton.ac.uk

Chenyang Zhu PhD

B.A. Electronics and Information Engineering, Huazhong University of Science and Technology

M.Sc. Computer and Information Science, University of Pennsylvania

PhD. Electronics and Computer Science, University of Southampton

Research

Research interests

Formal methods, Time Modelling, Machine Learning, Data Visualization.

Publications

Xie, Yunxin, Zhu, Chenyang, Zhou, Wen, LI, Zhongdong and Tu, Mei (2018) Evaluation of machine learning methods for formation lithology identification: A comparison of tuning processes and model performances. Journal of Petroleum Science and Engineering, 160, 182-193. (doi:10.1016/j.petrol.2017.10.028).

Wang, Nicole, Yeh, Martin, Gregg, Andrea, Zhu, Chenyang, Garbrick, Amy and Peck, Kyle (2017) Beyond academic grade dashboard: Integrating performance visualization to increase peer support: a work in-progress paper. 7th Annual International Conference on Education & e-Learning Conference 2017. 25 - 26 Sep 2017. (doi:10.5176/2251-1814_EeL17.36).

Zhu, Chenyang, Butler, Michael and Cirstea, Corina (2018) Refinement of timing constraints for concurrent tasks with scheduling. Butler, M., Raschke, A., Hoang, T. and Reichl, K. (eds.) In Abstract State Machines, Alloy, B, TLA, VDM, and Z: ABZ 2018. vol. 10817, Springer. pp. 219-233 . (doi:10.1007/978-3-319-91271-4).

Zhu, Chenyang, Butler, Michael and Cirstea, Corina (2018) Semantics of real-time trigger-response properties in Event-B. In 2018 International Symposium on Theoretical Aspects of Software Engineering (TASE). IEEE. pp. 150-156 . (doi:10.1109/TASE.2018.00028).

Zhu, Chenyang, Butler, Michael and Cirstea, Corina (2019) Towards refinement semantics of real-time trigger-response properties in Event-B. 13th International Symposium on Theoretical Aspects of Software Engineering, Guilin, China. 29 Jul - 01 Aug 2019. 8 pp .

Xie, Yunxin, Zhu, Chenyang, Lu, Yue and Zhu, Zhengwei (2019) Towards optimization of boosting models for formation lithology identification. Mathematical Problems in Engineering, 2019. (doi:10.1155/2019/5309852).

Zhu, Chenyang (2019) Formalizing Hierarchical Scheduling for Refinement of Real-Time Systems. University of Southampton [Dataset]

Contact

Telephone: 07784525786

Email: cz4g16

Share this profile FacebookGoogle+TwitterWeibo

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×