Zhaoming Yang

According to our database, Zhaoming Yang authored at least 5 papers between 2022 and 2023.

Collaborative distances:

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

2023

A systematic method of remaining useful life estimation based on physics-informed graph neural networks with multisensor data.

Yuxuan He, Huai Su, Enrico Zio, Shiliang Peng, Lin Fan, Zhaoming Yang, Zhe Yang, Jinjun Zhang

Reliab. Eng. Syst. Saf., September, 2023

Verification of Safety for Synchronous-Reactive System Using Bounded Model Checking.

Xiaozhen Zhang, Zhaoming Yang, Hui Kong, Weiqiang Kong

Int. J. Softw. Eng. Knowl. Eng., June, 2023

2022

A systematic method for the optimization of gas supply reliability in natural gas pipeline network based on Bayesian networks and deep reinforcement learning.

Lin Fan, Huai Su, Wei Wang, Enrico Zio, Li Zhang, Zhaoming Yang, Shiliang Peng, Weichao Yu, Lili Zuo, Jinjun Zhang

Reliab. Eng. Syst. Saf., 2022

Formal Verification of Hierarchical Ptolemy II Synchronous-Reactive Models with Bounded Model Checking.

Xiaozhen Zhang, Zhaoming Yang, Hui Kong, Weiqiang Kong

Proceedings of the 22nd IEEE International Conference on Software Quality, 2022

Bounded Model Checking of Synchronous Reactive Models in Ptolemy II.

Xiaozhen Zhang, Zhaoming Yang, Hui Kong, Weiqiang Kong

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