个人简历

开授课程
软件工程与软件过程
软件项目管理

知识产权（部分）：
带过去时态的线性时态逻辑性质的有界运行时验证方法，ZL 2017 1 0434656.8 （授权发明专利）
基于加权下推系统的中断验证系统，ZL 2017 1 0139023.4 （授权发明专利）
一种基于协同开发系统的构件交互关系建模方法 （授权发明专利）
一种基于程序演进模型的目标代码逆向工程方法，ZL 2016 1 0456943.4 （授权发明专利）
一种软件自适应决策验证方法，ZL 2016 1 1218766.2 （授权发明专利）
一种基于代数演算的中间代码优化系统，ZL 2016 1 0459128.3 （授权发明专利）
一种空间飞行器的自适应重构方法及系统，ZL 2016 1 0757031.0（授权发明专利）
一种基于运行时验证技术的嵌入式系统软件调试方法（授权发明专利）
基于形式化操作语义的PLC软件验证软件，2019SR0270088.（软件著作权登记）
工控状态网络协议模糊测试用例生成工具软件，2019SR0916088.（软件著作权登记）
面向SCADE/SMAVE语言的语法树解析软件，2019SR0916101.（软件著作权登记）
面向C++语言语法解析软件，2019SR1224307.（软件著作权登记）
基于线性时态逻辑的Buchi自动机生成与验证软件, 2017SR167766. （软件著作权登记）

研究领域

可信计算，形式化建模与验证，高可信嵌入式控制软件""

近期论文

Formal Analysis and Verification of Airborne Software Based on DO-333, Zongyu Cao, Wangyou Lv, Yanhong Huang*, Jianqi Shi, Qin Li, , Electronics, 2020, 9(327): 1-20. (SCI 3 区)
Modeling and Verification of A Timing Protection Mechanism in the OSEK/VDX OS using CSP, Yanhong Huang, Haiping Pang, Jianqi Shi, , accepted by Formal Aspects of Computing, doi 10.1007/s00165-020-00511-6. (CCF B 期刊)
KST: Executable Formal Semantics of IEC 61131-3 Structured Text for Verification, Yanhong Huang, Xiangxing Bu, Gang Zhu, Xin Ye, Xiaoran Zhu, Jianqi Shi, IEEE ACCESS 2019, 14593-14602. （SCIE 2区）
A Decomposition-Based Development Method for Industrial Control Systems, Jiawen Xiong, Ju Li, Jianqi Shi, Yanhong Huang. IEEE ACCESS 2019, 93161-93174. （SCIE 2区）
A Feasibility Analysis Framework of Time-Sensitive Networking Using Real-Time Calculus,Peng Zhang, Yu Liu, Jianqi Shi, Yanhong Huang, Yongxin Zhao, IEEE Access 2019, 90069-90081. （SCIE 2区）
An Intelligent Fuzzing Data Generation Method Based on Deep Adversarial Learning, Zhihui Li, Hui Zhao, Jianqi Shi, Yanhong Huang*, Jianwen Xiong, IEEE ACCESS 2019, 49327-49340. （SCIE 2区）
Automated Test Generation for IEC 61131-3 ST Programs via Dynamic Symbolic Execution，Li Hao, Jianqi Shi, Ting Su, Yanhong Huang, TASE 2019, 200-207. （CCF C）
Scade2Nu : A Tool for Verifying Safety Requirements of SCADE Models with Temporal Specifications, Jian Shi, Jianqi Shi, Yanhong Huang, Jiawen Xiong, Qing She, REFSQ Workshops 2019, 1-8. (CCF C)
ParaMoC: A Parallel Model Checker for Pushdown Systems, Hansheng Wei, Xin Ye, Jianqi Shi, Yanhong Huang, ICA3PP (2) 2019, 305-312. (CCF C)
SeqFuzzer: An Industrial Protocol Fuzzing Framework from a Deep Learning Perspective, Hui Zhao, Zhihui Li, Hansheng Wei, Jianqi Shi, Yanhong Huang, ICST 2019, 59-67. (CCF C)
GANFuzz: a GAN-based industrial network protocol fuzzing framework, Zhicheng Hu, Jianqi Shi, Yanhong Huang, Jiawen Xiong, Xiangxing Bu, CF 2018, 138-145. (CCF C)
Decompostion and Collaboration of Industrail Control System with Resource Constraints, Ju Li, Jiawen Xiong, Xia Mao, Jianqi Shi, Xin Ye, Yanhong Huang*, ICECCS 2017,162-165.（CCF C）
Formalization and Verification of the Powerlink Protocol using CSP, Haiping Pang, Ju Li, Yijia Ruan, Yanhong Huang*, Jianqi Shi, Shengchao Qin, APSEC 2016, 321-328. （CCF C）
Semantic theories of programs with nested interrupts, Yanhong Huang, Jifeng He, Huibiao Zhu, Yongxin Zhao, Jianqi Shi, Shengchao Qin, FCS 2015, 331-345（SCI 3区）
Probabilistic Denotational Semantics for an Interrupt Modelling Language, Yanhong Huang, Yongxin Zhao, Shengchao Qin, Jifeng He, ICECCS 2015, 160-169. （CCF C）