Jianqi Shi

Publication Activity (10 Years)

Years Active: 2007-2024
Publications (10 Years): 45

Top Topics

Symbolic Execution

Top Venues

Publications

Jianqi Shi, Yinghao Chen, Qin Li, Yanhong Huang, Yang Yang, Mengyan Zhao
Automated Test Cases Generator for IEC 61131-3 Structured Text Based Dynamic Symbolic Execution. IEEE Trans. Computers 73 (4) (2024)
Zhe Yuan, Jianqi Shi, Yanhong Huang
OpenECAD: An efficient visual language model for editable 3D-CAD design. Comput. Graph. 124 (2024)
Zhe Yuan, Jianqi Shi, Yanhong Huang
OpenECAD: An Efficient Visual Language Model for Computer-Aided Design. CoRR (2024)
Hailin Yang, Yanhong Huang, Jianqi Shi, Yang Yang
A Federated Framework for Edge Computing Devices with Collaborative Fairness and Adversarial Robustness. J. Grid Comput. 21 (3) (2023)
Shaopeng Wang, Yanhong Huang, Jianqi Shi, Yang Yang, Xin Guo
Improving Single-Step Adversarial Training By Local Smoothing. IJCNN (2023)
Gelin Zhang, Zhé Hóu, Yanhong Huang, Jianqi Shi, Hadrien Bride, Jin Song Dong, Yongsheng Gao
Extracting optimal explanations for ensemble trees via automated reasoning. Appl. Intell. 53 (11) (2023)
Shaopeng Wang, Jianqi Shi, Yanhong Huang, Yang Yang
A Tool for Transforming SysML State Machine into Uppaal Automatically. SMC (2023)
Hailin Yang, Yanhong Huang, Jianqi Shi, Fangda Cai
A Federated Model Personalisation Method Based on Sparsity Representation and Clustering. SEKE (2022)
Xia Mao, Xin Li, Yanhong Huang, Jianqi Shi, Yueling Zhang
Programmable Logic Controllers Past Linear Temporal Logic for Monitoring Applications in Industrial Control Systems. IEEE Trans. Ind. Informatics 18 (7) (2022)
Xia Mao, Yueling Zhang, Jianqi Shi, Yanhong Huang, Qin Li
A refinement development approach for enhancing the safety of PLC programs with Event-B. Sci. Comput. Program. 215 (2022)
Shucen Ma, Jianqi Shi, Yanhong Huang, Shengchao Qin, Zhe Hou
Minimal-unsatisfiable-core-driven Local Explainability Analysis for Random Forest. Int. J. Softw. Informatics 12 (4) (2022)
Xin Ye, Jianqi Shi, Yanhong Huang, Qin Li, Hansheng Wei, Xinyu Chen
Parallel computational tree logic model-checking on pushdown systems. Concurr. Comput. Pract. Exp. 34 (23) (2022)
Shucen Ma, Jianqi Shi, Yanhong Huang, Shengchao Qin, Zhe Hou
MUC-driven Feature Importance Measurement and Adversarial Analysis for Random Forest. CoRR (2022)
Jingwen Xu, Yanhong Huang, Jianqi Shi, Shengchao Qin
A Multi-Agent Spatial Logic for Scenario-Based Decision Modeling and Verification in Platoon Systems. J. Comput. Sci. Technol. 36 (6) (2021)
Jiawen Xiong, Xiangxing Bu, Yanhong Huang, Jianqi Shi, Weigang He
Safety Verification of IEC 61131-3 Structured Text Programs. IEEE Trans. Ind. Informatics 17 (4) (2021)
Wanyou Lv, Jiawen Xiong, Jianqi Shi, Yanhong Huang, Shengchao Qin
A deep convolution generative adversarial networks based fuzzing framework for industry control protocols. J. Intell. Manuf. 32 (2) (2021)
Zeyu Lu, Xia Mao, Yanhong Huang, Jianqi Shi, Yang Yang
Dynamically Detecting Invariants for Automatic Testing PLC Programs (S). SEKE (2021)
Gelin Zhang, Zhe Hou, Yanhong Huang, Jianqi Shi, Hadrien Bride, Jin Song Dong, Yongsheng Gao
Extracting Optimal Explanations for Ensemble Trees via Logical Reasoning. CoRR (2021)
Jianqi Shi, Jiawen Xiong, Yanhong Huang
General past-time linear temporal logic specification mining. CCF Trans. High Perform. Comput. 3 (4) (2021)
Weigang He, Xia Mao, Ting Su, Yanhong Huang, Jianqi Shi
Data Flow Testing for PLC Programs via Dynamic Symbolic Execution. APSEC (2021)
Miao Tian, Jianqi Shi, Zhe Hou, Yanhong Huang, Shengchao Qin
A Timed Automata based Automatic Framework for Verifying STL Properties of Simulink Models. TASE (2021)
Bohao Wang, Zhe Hou, Gelin Zhang, Jianqi Shi, Yanhong Huang
Tree Ensemble Property Verification from A Testing Perspective. SEKE (2021)
Weigang He, Jianqi Shi, Ting Su, Zeyu Lu, Li Hao, Yanhong Huang
Automated test generation for IEC 61131-3 ST programs via dynamic symbolic execution. Sci. Comput. Program. 206 (2021)
Wang Guo, Yanhong Huang, Jianqi Shi, Zhe Hou, Yang Yang
A Formal Method for Evaluating the Performance of TSN Traffic Shapers using UPPAAL. LCN (2021)
Mingyue Jiao, Yanhong Huang, Jianqi Shi, Fangda Cai, Rongfeng Lin
Fault Diagnosis of Simplified Fault Trees using State Transition Diagrams. APSEC (2020)
Yanhong Huang, Haiping Pang, Jianqi Shi
Modeling and Verification of A Timing Protection Mechanism in the OSEK/VDX OS using CSP. Formal Aspects Comput. 32 (1) (2020)
Chaoqun Nie, Jianqi Shi, Yanhong Huang
VARF: Verifying and Analyzing Robustness of Random Forests. ICFEM (2020)
Bohao Wang, Wanyou Lv, Jianqi Shi, Yanhong Huang
A Novel Self-Attention Based Automatic Code Completion Neural Network. SEKE (2020)
Hansheng Wei, Xin Ye, Jianqi Shi, Yanhong Huang
ParaMoC: A Parallel Model Checker for Pushdown Systems. ICA3PP (2) (2019)
Neng Fu, Nuerbiye Kamili, Yanhong Huang, Jianqi Shi
A Novel Deep Intrusion Detection Model Based On a Convolutional Neural Network. Aust. J. Intell. Inf. Process. Syst. 15 (2) (2019)
Peng Zhang, Yu Liu, Jianqi Shi, Yanhong Huang, Yongxin Zhao
A Feasibility Analysis Framework of Time-Sensitive Networking Using Real-Time Calculus. IEEE Access 7 (2019)
Li Hao, Jianqi Shi, Ting Su, Yanhong Huang
Automated Test Generation for IEC 61131-3 ST Programs via Dynamic Symbolic Execution. TASE (2019)
Jiawen Xiong, Ju Li, Jianqi Shi, Yanhong Huang
A Decomposition-Based Development Method for Industrial Control Systems. IEEE Access 7 (2019)
Zhihui Li, Hui Zhao, Jianqi Shi, Yanhong Huang, Jiawen Xiong
An Intelligent Fuzzing Data Generation Method Based on Deep Adversarial Learning. IEEE Access 7 (2019)
Hui Zhao, Zhihui Li, Hansheng Wei, Jianqi Shi, Yanhong Huang
SeqFuzzer: An Industrial Protocol Fuzzing Framework from a Deep Learning Perspective. ICST (2019)
Xingxing Pi, Jianqi Shi, Yanhong Huang, Hansheng Wei
Automated Mining and Checking of Formal Properties in Natural Language Requirements. KSEM (2) (2019)
Fan Wang, Jianqi Shi, Xuan Tang, Jielong Guo, Peidong Liang, Yuanzhi Feng
CNN-based Super-resolution Reconstruction for Traffic Sign Detection. SSCI (2019)
Yanhong Huang, Xiangxing Bu, Gang Zhu, Xin Ye, Xiaoran Zhu, Jianqi Shi
KST: Executable Formal Semantics of IEC 61131-3 Structured Text for Verification. IEEE Access 7 (2019)
Jian Shi, Jianqi Shi, Yanhong Huang, Jiawen Xiong, Qing She
Scade2Nu : A Tool for Verifying Safety Requirements of SCADE Models with Temporal Specifications. REFSQ Workshops (2019)
Zhicheng Hu, Jianqi Shi, Yanhong Huang, Jiawen Xiong, Xiangxing Bu
GANFuzz: a GAN-based industrial network protocol fuzzing framework. CF (2018)
Hansheng Wei, Xinyu Chen, Xin Ye, Neng Fu, Yanhong Huang, Jianqi Shi
Parallel Model Checking on Pushdown Systems. ISPA/IUCC/BDCloud/SocialCom/SustainCom (2018)
Xinyu Chen, Hansheng Wei, Xin Ye, Li Hao, Yanhong Huang, Jianqi Shi
Efficient Parallel CTL Model-Checking for Pushdown Systems. ISPA/IUCC/BDCloud/SocialCom/SustainCom (2018)
Lingjie Shu, Jianqi Shi, Xin Ye, Ningkang Jiang, Yichun Li
A New Parallel Approach for Reachability Analysis of Pushdown Models. ICMSS (2017)
Ju Li, Jiawen Xiong, Xia Mao, Jianqi Shi, Xin Ye, Yanhong Huang
Decomposition and Collaboration of Industrial Control System with Resource Constraints. ICECCS (2017)
Haiping Pang, Ju Li, Yijia Ruan, Yanhong Huang, Jianqi Shi, Shengchao Qin
Formalization and Verification of the Powerlink Protocol Using CSP. APSEC (2016)
Yanhong Huang, Jifeng He, Huibiao Zhu, Yongxin Zhao, Jianqi Shi, Shengchao Qin
Semantic theories of programs with nested interrupts. Frontiers Comput. Sci. 9 (3) (2015)
Huixing Fang, Huibiao Zhu, Jianqi Shi
An Object-Oriented Language for Modeling of Hybrid Systems. HASE (2015)
Conghua Zhou, Yong Wang, Meiling Cao, Jianqi Shi, Yang Liu
Formal Analysis of MAC in IEEE 802.11p with Probabilistic Model Checking. TASE (2015)
Zhimin Wu, Yang Liu, Jun Sun, Jianqi Shi, Shengchao Qin
GPU Accelerated On-the-Fly Reachability Checking. ICECCS (2015)
Can Pan, Jian Guo, Longfei Zhu, Jianqi Shi, Huibiao Zhu, Xinyun Zhou
Modeling and Verification of CAN Bus with Application Layer using UPPAAL. Electron. Notes Theor. Comput. Sci. 309 (2014)
Xin Li, Yanhong Huang, Jianqi Shi, Jian Guo, Huibiao Zhu, Yuanmin Xu
pIML - An Interrupt Program Modelling Language for Real-Time and Embedded Systems. APSEC (1) (2014)
Huixing Fang, Jianqi Shi, Huibiao Zhu, Jian Guo, Kim Guldstrand Larsen, Alexandre David
Formal verification and simulation for platform screen doors and collision avoidance in subway control systems. Int. J. Softw. Tools Technol. Transf. 16 (4) (2014)
Qinwen Ran, Xi Wu, Xin Li, Jianqi Shi, Jian Guo, Huibiao Zhu
Modeling and Verifying the TTCAN Protocol Using Timed CSP. TASE (2014)
Qin Li, Jianqi Shi, Huibiao Zhu
A formal framework for service mashups with dynamic service selection. Innov. Syst. Softw. Eng. 10 (3) (2014)
Huixing Fang, Huibiao Zhu, Jianqi Shi
Apricot - An Object-Oriented Modeling Language for Hybrid Systems CoRR (2013)
Yanhong Huang, Yongxin Zhao, Jianqi Shi, Huibiao Zhu
A Denotational Model for Interrupt-Driven Programs. ICST Workshops (2013)
Longfei Zhu, Peng Liu, Jianqi Shi, Zheng Wang, Huibiao Zhu
A Timing Verification Framework for AUTOSAR OS Component Development Based on Real-Time Maude. TASE (2013)
Huixing Fang, Jian Guo, Huibiao Zhu, Jianqi Shi
Formal Verification and Simulation: Co-verification for Subway Control Systems. TASE (2012)
Jianqi Shi, Longfei Zhu, Yanhong Huang, Jian Guo, Huibiao Zhu, Huixing Fang, Xin Ye
Binary Code Level Verification for Interrupt Safety Properties of Real-Time Operating System. TASE (2012)
Jianqi Shi, Longfei Zhu, Huixing Fang, Jian Guo, Huibiao Zhu, Xin Ye
xBIL - A Hardware Resource Oriented Binary Intermediate Language. ICECCS (2012)
Jianqi Shi, Jifeng He, Huibiao Zhu, Huixing Fang, Yanhong Huang, Xiaoxian Zhang
ORIENTAIS: Formal Verified OSEK/VDX Real-Time Operating System. ICECCS (2012)
Yanhong Huang, Yongxin Zhao, Jianqi Shi, Huibiao Zhu, Shengchao Qin
Investigating Time Properties of Interrupt-Driven Programs. SBMF (2012)
Jianqi Shi, Xin Ye, Liangyu Chen, Pei Zhang, Ningkang Jiang
ESF - An Extensive Service Foundation from Internet of Things Perspective. ISORC Workshops (2012)
Longfei Zhu, Min Zhang, Yanhong Huang, Jianqi Shi, Huibiao Zhu
Formalizing Application Programming Interfaces of the OSEK/VDX Operating System Specification. TASE (2011)
Yanhong Huang, Yongxin Zhao, Longfei Zhu, Qin Li, Huibiao Zhu, Jianqi Shi
Modeling and Verifying the Code-Level OSEK/VDX Operating System with CSP. TASE (2011)
Geguang Pu, Jianqi Shi, Zheng Wang, Lu Jin, Jing Liu, Jifeng He
The Validation and Verification of WSCDL. APSEC (2007)