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 Yang Yang

> Home > Persons > Yanhong Huang

Publications

2024
[j24]
- view
  authority control:
- export record
  dblp key:
  - journals/tc/ShiCLHYZ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tc/ShiCLHYZ24
Jianqi Shi, Yinghao Chen, Qin Li, Yanhong Huang, Yang Yang, Mengyan Zhao:
Automated Test Cases Generator for IEC 61131-3 Structured Text Based Dynamic Symbolic Execution. IEEE Trans. Computers 73(4): 1048-1059 (2024)
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/ZhaoTHSQY24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/ZhaoTHSQY24
Mengyan Zhao, Ran Tao, Yanhong Huang, Jianqi Shi, Shengchao Qin, Yang Yang:
NL2CTL: Automatic Generation of Formal Requirements Specifications via Large Language Models. ICFEM 2024: 1-17
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/icfem/AnZZLSHYLQ24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icfem/AnZZLSHYLQ24
Dongdong An, Hao Zhang, Qin Zhao, Jing Liu, Jianqi Shi, Yanhong Huang, Yang Yang, Xu Liu, Shengchao Qin:
Graph Convolutional Network Robustness Verification Algorithm Based on Dual Approximation. ICFEM 2024: 146-161
[c41]
- view
  authority control:
- export record
  dblp key:
  - conf/smc/ZhaoHSCY24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smc/ZhaoHSCY24
Mengyan Zhao, Yanhong Huang, Jianqi Shi, Yinghao Chen, Yang Yang:
Static Code Analysis of IEC 61131-3 ST Programs via Symbolic Execution. SMC 2024: 1510-1517
2023
[j22]
- view
  authority control:
- export record
  dblp key:
  - journals/grid/YangHSY23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/grid/YangHSY23
Hailin Yang, Yanhong Huang, Jianqi Shi, Yang Yang:
A Federated Framework for Edge Computing Devices with Collaborative Fairness and Adversarial Robustness. J. Grid Comput. 21(3): 36 (2023)
[c40]
- view
  authority control:
- export record
  dblp key:
  - conf/ijcnn/WangHSYG23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcnn/WangHSYG23
Shaopeng Wang, Yanhong Huang, Jianqi Shi, Yang Yang, Xin Guo:
Improving Single-Step Adversarial Training By Local Smoothing. IJCNN 2023: 1-8
[c38]
- view
  authority control:
- export record
  dblp key:
  - conf/smc/WangSHY23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/smc/WangSHY23
Shaopeng Wang, Jianqi Shi, Yanhong Huang, Yang Yang:
A Tool for Transforming SysML State Machine into Uppaal Automatically. SMC 2023: 2471-2476
2021
[c33]
- view
  authority control:
- export record
  dblp key:
  - conf/lcn/GuoHSHY21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lcn/GuoHSHY21
Wang Guo, Yanhong Huang, Jianqi Shi, Zhe Hou, Yang Yang:
A Formal Method for Evaluating the Performance of TSN Traffic Shapers using UPPAAL. LCN 2021: 241-248
[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

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.