黄滟鸿 职称： 副研究员
直属机构： 软件工程学院
学科：





10 访问


相关教师




个人资料
部门： 软件工程学院
性别： 女
专业技术职务：
毕业院校： 华东师范大学
学位： 博士
学历： 研究生
联系电话：
电子邮箱： yhhuang@sei.ecnu.edu.cn
办公地址：
通讯地址： 华东师范大学
邮编：
传真：

教育经历

工作经历


个人简介

社会兼职


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


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



科研项目







学术成果
学术论文：
全部论文可见：https://dblp.uni-trier.de/pers/h/Huang:Yanhong.html
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）



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



荣誉及奖励