导航

  • 个人资料
  • 个人概况
  • 研究方向
  • 招生与培养
  • 开授课程
  • 科研项目
  • 学术成果
  • 荣誉及奖励
头像

黄滟鸿

职称： 副研究员

直属机构： 软件工程学院

学科：

10 访问

相关教师

个人资料

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

教育经历

工作经历

个人简介

社会兼职

研究方向

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

招生与培养

开授课程

软件工程与软件过程

软件项目管理


科研项目




学术成果

学术论文：

全部论文可见：https://dblp.uni-trier.de/pers/h/Huang:Yanhong.html

  1. 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 区)

  2. 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 期刊)

  3. 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区）

  4. A Decomposition-Based Development Method for Industrial Control Systems, Jiawen Xiong, Ju Li, Jianqi Shi, Yanhong Huang. IEEE ACCESS 2019, 93161-93174. （SCIE 2区）

  5. 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区）

  6. 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区）

  7. 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）

  8. 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)

  9. ParaMoC: A Parallel Model Checker for Pushdown Systems, Hansheng Wei, Xin Ye, Jianqi Shi, Yanhong Huang, ICA3PP (2) 2019, 305-312.  (CCF C)

  10. 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)

  11. 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)

  12. 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）

  13. 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）

  14. 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区）

  15. Probabilistic Denotational Semantics for an Interrupt Modelling Language, Yanhong Huang, Yongxin Zhao, Shengchao Qin, Jifeng He, ICECCS 2015, 160-169. （CCF C） 


知识产权（部分）：

  1. 带过去时态的线性时态逻辑性质的有界运行时验证方法，ZL 2017 1 0434656.8 （授权发明专利）

  2. 基于加权下推系统的中断验证系统，ZL 2017 1 0139023.4 （授权发明专利）

  3. 一种基于协同开发系统的构件交互关系建模方法 （授权发明专利）

  4. 一种基于程序演进模型的目标代码逆向工程方法，ZL 2016 1 0456943.4 （授权发明专利）

  5. 一种软件自适应决策验证方法，ZL 2016 1 1218766.2 （授权发明专利）

  6. 一种基于代数演算的中间代码优化系统，ZL 2016 1 0459128.3 （授权发明专利）

  7. 一种空间飞行器的自适应重构方法及系统，ZL 2016 1 0757031.0（授权发明专利）

  8. 一种基于运行时验证技术的嵌入式系统软件调试方法（授权发明专利）

  9. 基于形式化操作语义的PLC软件验证软件，2019SR0270088.（软件著作权登记）

  10. 工控状态网络协议模糊测试用例生成工具软件，2019SR0916088.（软件著作权登记）

  11. 面向SCADE/SMAVE语言的语法树解析软件，2019SR0916101.（软件著作权登记）

  12. 面向C++语言语法解析软件，2019SR1224307.（软件著作权登记）

  13. 基于线性时态逻辑的Buchi自动机生成与验证软件, 2017SR167766. （软件著作权登记）


荣誉及奖励