default search action

combined dblp search
author search
venue search
publication search

ask others

Zhaoming Yang

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2023
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/ijseke/ZhangYKK23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ijseke/ZhangYKK23
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): 885-932 (2023)
[j2]
- view
  authority control:
- export record
  dblp key:
  - journals/ress/HeSZPFYYZ23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ress/HeSZPFYYZ23
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: 109333 (2023)
2022
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/ress/FanSWZZYPYZZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ress/FanSWZZYPYZZ22
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: 108613 (2022)
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/ZhangYKK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/ZhangYKK22
Xiaozhen Zhang, Zhaoming Yang, Hui Kong, Weiqiang Kong:
Bounded Model Checking of Synchronous Reactive Models in Ptolemy II. APSEC 2022: 407-416
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/qrs/ZhangYKK22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/qrs/ZhangYKK22
Xiaozhen Zhang, Zhaoming Yang, Hui Kong, Weiqiang Kong:
Formal Verification of Hierarchical Ptolemy II Synchronous-Reactive Models with Bounded Model Checking. QRS 2022: 410-421

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.