A Formal Method for Evaluating the Performance of TSN Traffic Shapers using UPPAAL. - Wang Guo; Yanhong Huang; Jianqi Shi; Zhe Hou; Yang Yang 141 (LCN, 2021)

Dynamically Detecting Invariants for Automatic Testing PLC Programs (S). - Zeyu Lu; Xia Mao; Yanhong Huang; Jianqi Shi; Yang Yang 141 (SEKE, 2021)

Improving Single-Step Adversarial Training By Local Smoothing. - Shaopeng Wang; Yanhong Huang; Jianqi Shi; Yang Yang 141; Xin Guo (IJCNN, 2023)

A Tool for Transforming SysML State Machine into Uppaal Automatically. - Shaopeng Wang; Jianqi Shi; Yanhong Huang; Yang Yang 141 (SMC, 2023)

A Federated Framework for Edge Computing Devices with Collaborative Fairness and Adversarial Robustness. - Hailin Yang; Yanhong Huang; Jianqi Shi; Yang Yang 141 (J. Grid Comput., 2023)

Graph Convolutional Network Robustness Verification Algorithm Based on Dual Approximation. - Dongdong An; Hao Zhang; Qin Zhao; Jing Liu; Jianqi Shi; Yanhong Huang; Yang Yang 141; Xu Liu; Shengchao Qin (ICFEM, 2024)

NL2CTL: Automatic Generation of Formal Requirements Specifications via Large Language Models. - Mengyan Zhao; Ran Tao; Yanhong Huang; Jianqi Shi; Shengchao Qin; Yang Yang 141 (ICFEM, 2024)

Static Code Analysis of IEC 61131-3 ST Programs via Symbolic Execution. - Mengyan Zhao; Yanhong Huang; Jianqi Shi; Yinghao Chen; Yang Yang 141 (SMC, 2024)

Automated Test Cases Generator for IEC 61131-3 Structured Text Based Dynamic Symbolic Execution. - Jianqi Shi; Yinghao Chen; Qin Li 002; Yanhong Huang; Yang Yang 141; Mengyan Zhao (IEEE Trans. Computers, 2024)