Bounded Model Checking of Synchronous Reactive Models in Ptolemy II. - Xiaozhen Zhang; Zhaoming Yang; Hui Kong 004; Weiqiang Kong (APSEC, 2022)

Formal Verification of Hierarchical Ptolemy II Synchronous-Reactive Models with Bounded Model Checking. - Xiaozhen Zhang; Zhaoming Yang; Hui Kong 004; Weiqiang Kong (QRS, 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 279; Enrico Zio; Li Zhang; Zhaoming Yang; Shiliang Peng; Weichao Yu; Lili Zuo; Jinjun Zhang (Reliab. Eng. Syst. Saf., 2022)

Verification of Safety for Synchronous-Reactive System Using Bounded Model Checking. - Xiaozhen Zhang; Zhaoming Yang; Hui Kong 004; Weiqiang Kong (Int. J. Softw. Eng. Knowl. Eng., 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 014; Jinjun Zhang (Reliab. Eng. Syst. Saf., 2023)

A systematic resilience assessment framework for multi-state systems based on physics-informed neural network. - Yuxuan He; Enrico Zio; Zhaoming Yang; Qi Xiang; Lin Fan; Qian He; Shiliang Peng; Zongjie Zhang; Huai Su; Jinjun Zhang (Reliab. Eng. Syst. Saf., 2025)

A methodology of natural gas pipeline network system supply resilience optimization: Based on demand-side and data science-driven approach. - Zhiwei Zhao; Zhaoming Yang; Huai Su; Michael H. Faber; Jinjun Zhang (Reliab. Eng. Syst. Saf., 2025)