We stand with Ukraine  

Yang Yang

Orcid: 0009-0000-6034-5586

Affiliations:
  • East China Normal University (ECNU), National Trusted Embedded Software Engineering Technology Research Center, Shanghai, China


According to our database1, Yang Yang authored at least 9 papers between 2021 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Automated Test Cases Generator for IEC 61131-3 Structured Text Based Dynamic Symbolic Execution.
[BibTeX]
[DOI]
Jianqi Shi
,
Yinghao Chen
,
Qin Li
,
Yanhong Huang
,
Yang Yang
,
Mengyan Zhao
IEEE Trans. Computers, April, 2024

Static Code Analysis of IEC 61131-3 ST Programs via Symbolic Execution.
[BibTeX]
[DOI]
Mengyan Zhao
,
Yanhong Huang
,
Jianqi Shi
,
Yinghao Chen
,
Yang Yang
Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2024

NL2CTL: Automatic Generation of Formal Requirements Specifications via Large Language Models.
[BibTeX]
[DOI]
Mengyan Zhao
,
Ran Tao
,
Yanhong Huang
,
Jianqi Shi
,
Shengchao Qin
,
Yang Yang
Proceedings of the Formal Methods and Software Engineering, 2024

Graph Convolutional Network Robustness Verification Algorithm Based on Dual Approximation.
[BibTeX]
[DOI]
Dongdong An
,
Hao Zhang
,
Qin Zhao
,
Jing Liu
,
Jianqi Shi
,
Yanhong Huang
,
Yang Yang
,
Xu Liu
,
Shengchao Qin
Proceedings of the Formal Methods and Software Engineering, 2024

2023
A Federated Framework for Edge Computing Devices with Collaborative Fairness and Adversarial Robustness.
[BibTeX]
[DOI]
Hailin Yang
,
Yanhong Huang
,
Jianqi Shi
,
Yang Yang
J. Grid Comput., September, 2023

A Tool for Transforming SysML State Machine into Uppaal Automatically.
[BibTeX]
[DOI]
Shaopeng Wang
,
Jianqi Shi
,
Yanhong Huang
,
Yang Yang
Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2023

Improving Single-Step Adversarial Training By Local Smoothing.
[BibTeX]
[DOI]
Shaopeng Wang
,
Yanhong Huang
,
Jianqi Shi
,
Yang Yang
,
Xin Guo
Proceedings of the International Joint Conference on Neural Networks, 2023

2021
Dynamically Detecting Invariants for Automatic Testing PLC Programs (S).
[BibTeX]
[DOI]
Zeyu Lu
,
Xia Mao
,
Yanhong Huang
,
Jianqi Shi
,
Yang Yang
Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021

A Formal Method for Evaluating the Performance of TSN Traffic Shapers using UPPAAL.
[BibTeX]
[DOI]
Wang Guo
,
Yanhong Huang
,
Jianqi Shi
,
Zhe Hou
,
Yang Yang
Proceedings of the 46th IEEE Conference on Local Computer Networks, 2021


  Loading...