高可靠FPGA技术/智能化软件开发/柔性智能测试

   

081203-计算机应用技术

高可靠FPGA技术

2024-11--中国科学院空间应用中心软件工程中心   正高级工程师

2022-12--2024-10   中国科学院空间应用中心软件评测中心   正高级工程师

2017-12--2022-12   中国科学院空间应用中心软件评测中心   高级工程师

2011-01--2017-12   中国科学院空间应用中心系统测试室   工程师

2010-12--2011-01   中国科学院光电研究院软件评测站   工程师

2009-09--2010-12   中国科学院光电研究院软件评测站   助理工程师

   

（1） GNN-MFF: A Multi-View Graph-Based Model for RTL Hardware Trojan Detection, APPLIED SCIENCES, 2025, 第 2 作者
（2） Hardware Trojan Detection with Feature Fusion, 2024 IEEE 24th International Conference on Software Quality, Reliability, and Security Companion (QRS-C), 2024, 第 2 作者
（3） Identification of Important FPGA Modules Based on Complex Network, CMC-Computers, Materials & Continua, 2023, 第 3 作者
（4） Thermal Performance Characteristics of an 80-Ton Variable-Thrust Liquid Engine for Reusable Launch Rockets, SUSTAINABILITY, 2023, 第 2 作者
（5） TitleGen-FL: Quality prediction-based filter for automated issue title generation, JOURNAL OF SYSTEMS AND SOFTWARE, 2023, 第 6 作者
（6） An Approach to Tackle State Space Explosion Problem of SOPC, Electronics, 2023, 第 1 作者
（7） Exploring Better Black-Box Test Case Prioritization via Log Analysis, ACM Transactions on Software Engineering and Methodology (TOSEM), 2022, 第 7 作者
（8） Performance study of a pre-cooled turbo-rocket combined engine under a wide Mach number of 0~5, CASE STUDIES IN THERMAL ENGINEERING, 2022, 第 4 作者
（9） A Formal Verification Method for the SOPC Software, IEEE TRANSACTIONS ON RELIABILITY, 2022, 第 1 作者
（10） Quantitative Analysis of Information Leakage Hardware Trojans in IP Cores, 2022 International Conference on Dependable Systems and Their Applications 2022, 2022, 第 4 作者
（11） Test Case Prioritization for Deep Neural Networks, The 9th IEEE International Conference on Dependable Systems and Their Applications, 2022, 第 2 作者
（12） Single Particle Fault Injection Signal Generation Method Using Gaussian Cloud Model, JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS, 2021, 第 4 作者
（13） An Approach To Generate Test Using SysML Activity Diagram, 2021 8th International Conference on Dependable Systems and Their Applications (DSA), 2021, 第 3 作者
（14） A Multiple-Fault Localization Method for Embedded Software with Applications in Engineering, MATHEMATICAL PROBLEMS IN ENGINEERING, 2021, 第 3 作者
（15） 一种SRAM型FPGA单粒子故障注入实验集的筛选方法, A Screening method for single particle fault injection experimental set for SRAM-FPGA, 微电子学与计算机, 2021, 第 2 作者
（16） 基于SEM IP和部分重配置的SRAM型FPGA单粒子故障注入, SRAM FPGA single event fault injection based on SEM IP and partial reconfiguration, 微电子学与计算机, 2021, 第 2 作者
（17） Saturation control for a nonlinear second-order system with parameter uncertainties and disturbances, Proceedings of 2021 Chinese Intelligent Systems Conference., 2021, 第 2 作者
（18） Efficient Automaton Theoretical Vacuity Detection for Formal Properties, IEEE TRANSACTIONS ON RELIABILITY, 2021, 第 1 作者
（19） Test Case Reuse based on ESIM Model, 2021 8th International Conference on Dependable Systems and Their Applications (DSA), 2021, 第 3 作者
（20） SEE Fault Sensitivity Analysis and Security Reinforcement Design for FPGA Circuits Based on Complex Network, IEEE ACCESS, 2020, 第 4 作者
（21） A Novel Polynomial Tracking Differentiator, 2019 Chinese Intelligent Systems Conference, 2019, 第 2 作者
（22） Coverage Test Technology Based on ONESPIN Verification Platform, 2018 INTERNATIONAL CONFERENCE ON ELECTRONICS, COMMUNICATIONS AND CONTROL ENGINEERING (ICECC), 2018, 第 2 作者
（23） 基于MATLAB的智能测试系统PMSM物理实时仿真平台, MATLAB-based physical real-time simulation platform of PMSM in Intelligent Test System, 系统仿真学报, 2018, 第 2 作者
（24） Cross Clock Domain signal Research on Dynamic Motivation Model, 2017 International Conference on Dependable Systems and Their Applications, 2017, 第 1 作者
（25） 航天高可靠FPGA测试技术研究, Research on High Reliable FPGA Test Technology on Spaceflight, 计算机技术与发展, 2017, 第 1 作者
（26） A Novel Approach for Coverage Probing of Embedded Software in SoPC, 2017 International Conference on Dependable Systems and Their Applications, 2017, 第 2 作者
（27） 基于时序路径的FPGA时序分析技术研究, Research of FPGA Timing Sequence Analysis Technology Based on Timing Sequence Path, 微电子学与计算机, 2016, 第 1 作者
（28） 基于软件和逻辑联合仿真的SOPC验证技术研究, SOPC Verification Technology Research Based on Software and Logical Combined Simulation, 微电子学与计算机, 2016, 第 1 作者