Jianqi Shi

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