Zezhong Chen

According to our database, Zezhong Chen authored at least 3 papers between 2019 and 2023.

Collaborative distances:

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

2023

Trusta: Reasoning about Assurance Cases with Formal Methods and Large Language Models.

Zezhong Chen, Yuxin Deng, Wenjie Du

CoRR, 2023

2021

Trustworthiness Derivation Tree: A Model of Evidence-Based Software Trustworthiness.

Yuxin Deng, Zezhong Chen, Wenjie Du, Bifei Mao, Zhizhang Liang, Qiushi Lin, Jinghui Li

Proceedings of the 21st IEEE International Conference on Software Quality, 2021

2019

Research on Multiple-Degree-of-Freedom Manipulator.

Zezhong Chen

Proceedings of the Cyber Security Intelligence and Analytics, 2019