头像

黄滟鸿

职称: 副研究员

直属机构: 软件工程学院

学科:

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 CSPYanhong 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. (软件著作权登记)


荣誉及奖励