Yanhong Huang

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Xia Mao

> Home > Persons > Yanhong Huang

Publications

2022
[j16]
- view
  authority control:
- export record
  dblp key:
  - journals/scp/MaoZSHL22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/scp/MaoZSHL22
Xia Mao, Yueling Zhang, Jianqi Shi, Yanhong Huang, Qin Li:
A refinement development approach for enhancing the safety of PLC programs with Event-B. Sci. Comput. Program. 215: 102763 (2022)
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/tii/MaoLHSZ22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tii/MaoLHSZ22
Xia Mao, Xin Li, Yanhong Huang, Jianqi Shi, Yueling Zhang:
Programmable Logic Controllers Past Linear Temporal Logic for Monitoring Applications in Industrial Control Systems. IEEE Trans. Ind. Informatics 18(7): 4393-4405 (2022)
2021
[c34]
- view
  authority control:
- export record
  dblp key:
  - conf/apsec/HeMSHS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/apsec/HeMSHS21
Weigang He, Xia Mao, Ting Su, Yanhong Huang, Jianqi Shi:
Data Flow Testing for PLC Programs via Dynamic Symbolic Execution. APSEC 2021: 152-160
[c31]
- view
  authority control:
- export record
  dblp key:
  - conf/seke/LuMHSY21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/seke/LuMHSY21
Zeyu Lu, Xia Mao, Yanhong Huang, Jianqi Shi, Yang Yang:
Dynamically Detecting Invariants for Automatic Testing PLC Programs (S). SEKE 2021: 532-537
2017
[c17]
- view
  authority control:
- export record
  dblp key:
  - conf/iceccs/LiXMSYH17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/iceccs/LiXMSYH17
Ju Li, Jiawen Xiong, Xia Mao, Jianqi Shi, Xin Ye, Yanhong Huang:
Decomposition and Collaboration of Industrial Control System with Resource Constraints. ICECCS 2017: 162-165

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.