Showing 1 - 7 results of 7 for search 'Jianqi Shi', query time: 0.02s Refine Results
  1. 1
    A Performance Analysis Framework of Time-Triggered Ethernet Using Real-Time Calculus

    A Performance Analysis Framework of Time-Triggered Ethernet Using Real-Time Calculus by Xiuli Yang, Yanhong Huang, Jianqi Shi, Zongyu Cao

    Published 2020-07-01
    Get full text
    Article
  2. 2
    A Decomposition-Based Development Method for Industrial Control Systems

    A Decomposition-Based Development Method for Industrial Control Systems by Jiawen Xiong, Ju Li, Jianqi Shi, Yanhong Huang

    Published 2019-01-01
    Get full text
    Article
  3. 3
    An optimal solution for software testing case generation based on particle swarm optimization

    An optimal solution for software testing case generation based on particle swarm optimization by Jianqi Shi, Yanhong Huang, Ang Li, Fangda Cai

    Published 2018-06-01
    Get full text
    Article
  4. 4
    A User-Friendly Verification Approach for IEC 61131-3 PLC Programs

    A User-Friendly Verification Approach for IEC 61131-3 PLC Programs by Jiawen Xiong, Gang Zhu, Yanhong Huang, Jianqi Shi

    Published 2020-03-01
    Get full text
    Article
  5. 5
    An Intelligent Fuzzing Data Generation Method Based on Deep Adversarial Learning

    An Intelligent Fuzzing Data Generation Method Based on Deep Adversarial Learning by Zhihui Li, Hui Zhao, Jianqi Shi, Yanhong Huang, Jiawen Xiong

    Published 2019-01-01
    Get full text
    Article
  6. 6
    A Feasibility Analysis Framework of Time-Sensitive Networking Using Real-Time Calculus

    A Feasibility Analysis Framework of Time-Sensitive Networking Using Real-Time Calculus by Peng Zhang, Yu Liu, Jianqi Shi, Yanhong Huang, Yongxin Zhao

    Published 2019-01-01
    Get full text
    Article
  7. 7
    KST: Executable Formal Semantics of IEC 61131-3 Structured Text for Verification

    KST: Executable Formal Semantics of IEC 61131-3 Structured Text for Verification by Yanhong Huang, Xiangxing Bu, Gang Zhu, Xin Ye, Xiaoran Zhu, Jianqi Shi

    Published 2019-01-01
    Get full text
    Article

Search Tools: