Zhaoming Yang

Publication Activity (10 Years)

Years Active: 2022-2023
Publications (10 Years): 5

Top Topics

Reactive Planning

Formal Verification

Top Venues

Reliab. Eng. Syst. Saf.

Int. J. Softw. Eng. Knowl. Eng.

Publications

Yuxuan He, Huai Su, Enrico Zio, Shiliang Peng, Lin Fan, Zhaoming Yang, Zhe Yang, Jinjun Zhang
A systematic method of remaining useful life estimation based on physics-informed graph neural networks with multisensor data. Reliab. Eng. Syst. Saf. 237 (2023)
Xiaozhen Zhang, Zhaoming Yang, Hui Kong, Weiqiang Kong
Verification of Safety for Synchronous-Reactive System Using Bounded Model Checking. Int. J. Softw. Eng. Knowl. Eng. 33 (6) (2023)
Xiaozhen Zhang, Zhaoming Yang, Hui Kong, Weiqiang Kong
Bounded Model Checking of Synchronous Reactive Models in Ptolemy II. APSEC (2022)
Xiaozhen Zhang, Zhaoming Yang, Hui Kong, Weiqiang Kong
Formal Verification of Hierarchical Ptolemy II Synchronous-Reactive Models with Bounded Model Checking. QRS (2022)
Lin Fan, Huai Su, Wei Wang, Enrico Zio, Li Zhang, Zhaoming Yang, Shiliang Peng, Weichao Yu, Lili Zuo, Jinjun Zhang
A systematic method for the optimization of gas supply reliability in natural gas pipeline network based on Bayesian networks and deep reinforcement learning. Reliab. Eng. Syst. Saf. 225 (2022)