default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJianqi Shi
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j22]Zhe Yuan
, Jianqi Shi, Yanhong Huang:
OpenECAD: An efficient visual language model for editable 3D-CAD design. Comput. Graph. 124: 104048 (2024)- [j21]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): 1048-1059 (2024) - [i4]Zhe Yuan, Jianqi Shi, Yanhong Huang:
OpenECAD: An Efficient Visual Language Model for Computer-Aided Design. CoRR abs/2406.09913 (2024) - 2023
- [j20]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): 14371-14382 (2023) - [j19]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): 36 (2023) - [c40]Shaopeng Wang, Yanhong Huang, Jianqi Shi, Yang Yang, Xin Guo:
Improving Single-Step Adversarial Training By Local Smoothing. IJCNN 2023: 1-8 - [c39]Shaopeng Wang, Jianqi Shi, Yanhong Huang, Yang Yang:
A Tool for Transforming SysML State Machine into Uppaal Automatically. SMC 2023: 2471-2476 - 2022
- [j18]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) - [j17]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): 355-376 (2022) - [j16]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: 102763 (2022) - [j15]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): 4393-4405 (2022) - [c38]Hailin Yang, Yanhong Huang, Jianqi Shi, Fangda Cai:
A Federated Model Personalisation Method Based on Sparsity Representation and Clustering. SEKE 2022: 160-165 - [i3]Shucen Ma, Jianqi Shi, Yanhong Huang, Shengchao Qin, Zhe Hou:
MUC-driven Feature Importance Measurement and Adversarial Analysis for Random Forest. CoRR abs/2202.12512 (2022) - 2021
- [j14]Jianqi Shi, Jiawen Xiong, Yanhong Huang:
General past-time linear temporal logic specification mining. CCF Trans. High Perform. Comput. 3(4): 393-406 (2021) - [j13]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): 1231-1247 (2021) - [j12]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): 441-457 (2021) - [j11]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: 102608 (2021) - [j10]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): 2632-2640 (2021) - [c37]Weigang He, Xia Mao, Ting Su, Yanhong Huang, Jianqi Shi:
Data Flow Testing for PLC Programs via Dynamic Symbolic Execution. APSEC 2021: 152-160 - [c36]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: 241-248 - [c35]Bohao Wang, Zhe Hou, Gelin Zhang, Jianqi Shi, Yanhong Huang:
Tree Ensemble Property Verification from A Testing Perspective. SEKE 2021: 166-171 - [c34]Zeyu Lu, Xia Mao, Yanhong Huang, Jianqi Shi, Yang Yang:
Dynamically Detecting Invariants for Automatic Testing PLC Programs (S). SEKE 2021: 532-537 - [c33]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: 151-158 - [i2]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 abs/2103.02191 (2021) - 2020
- [j9]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): 113-145 (2020) - [c32]Mingyue Jiao, Yanhong Huang, Jianqi Shi, Fangda Cai, Rongfeng Lin:
Fault Diagnosis of Simplified Fault Trees using State Transition Diagrams. APSEC 2020: 11-20 - [c31]Chaoqun Nie, Jianqi Shi, Yanhong Huang:
VARF: Verifying and Analyzing Robustness of Random Forests. ICFEM 2020: 163-178 - [c30]Bohao Wang, Wanyou Lv, Jianqi Shi, Yanhong Huang:
A Novel Self-Attention Based Automatic Code Completion Neural Network. SEKE 2020: 386-391
2010 – 2019
- 2019
- [j8]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: 14593-14602 (2019) - [j7]Zhihui Li, Hui Zhao, Jianqi Shi, Yanhong Huang, Jiawen Xiong:
An Intelligent Fuzzing Data Generation Method Based on Deep Adversarial Learning. IEEE Access 7: 49327-49340 (2019) - [j6]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: 90069-90081 (2019) - [j5]Jiawen Xiong, Ju Li, Jianqi Shi, Yanhong Huang:
A Decomposition-Based Development Method for Industrial Control Systems. IEEE Access 7: 93161-93174 (2019) - [j4]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): 52-59 (2019) - [c29]Hansheng Wei, Xin Ye, Jianqi Shi, Yanhong Huang:
ParaMoC: A Parallel Model Checker for Pushdown Systems. ICA3PP (2) 2019: 305-312 - [c28]Hui Zhao, Zhihui Li, Hansheng Wei, Jianqi Shi, Yanhong Huang:
SeqFuzzer: An Industrial Protocol Fuzzing Framework from a Deep Learning Perspective. ICST 2019: 59-67 - [c27]Xingxing Pi, Jianqi Shi, Yanhong Huang, Hansheng Wei:
Automated Mining and Checking of Formal Properties in Natural Language Requirements. KSEM (2) 2019: 75-87 - [c26]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 - [c25]Fan Wang, Jianqi Shi, Xuan Tang, Jielong Guo, Peidong Liang, Yuanzhi Feng:
CNN-based Super-resolution Reconstruction for Traffic Sign Detection. SSCI 2019: 1208-1213 - [c24]Li Hao, Jianqi Shi, Ting Su, Yanhong Huang:
Automated Test Generation for IEC 61131-3 ST Programs via Dynamic Symbolic Execution. TASE 2019: 200-207 - 2018
- [c23]Zhicheng Hu, Jianqi Shi, Yanhong Huang, Jiawen Xiong, Xiangxing Bu:
GANFuzz: a GAN-based industrial network protocol fuzzing framework. CF 2018: 138-145 - [c22]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: 23-30 - [c21]Hansheng Wei, Xinyu Chen, Xin Ye, Neng Fu, Yanhong Huang, Jianqi Shi:
Parallel Model Checking on Pushdown Systems. ISPA/IUCC/BDCloud/SocialCom/SustainCom 2018: 88-95 - 2017
- [c20]Ju Li, Jiawen Xiong, Xia Mao, Jianqi Shi, Xin Ye, Yanhong Huang:
Decomposition and Collaboration of Industrial Control System with Resource Constraints. ICECCS 2017: 162-165 - [c19]Lingjie Shu, Jianqi Shi, Xin Ye, Ningkang Jiang, Yichun Li:
A New Parallel Approach for Reachability Analysis of Pushdown Models. ICMSS 2017: 113-118 - 2016
- [c18]Haiping Pang, Ju Li, Yijia Ruan, Yanhong Huang, Jianqi Shi, Shengchao Qin:
Formalization and Verification of the Powerlink Protocol Using CSP. APSEC 2016: 321-328 - 2015
- [j3]Yanhong Huang, Jifeng He, Huibiao Zhu, Yongxin Zhao, Jianqi Shi, Shengchao Qin:
Semantic theories of programs with nested interrupts. Frontiers Comput. Sci. 9(3): 331-345 (2015) - [c17]Huixing Fang, Huibiao Zhu, Jianqi Shi:
An Object-Oriented Language for Modeling of Hybrid Systems. HASE 2015: 1-9 - [c16]Zhimin Wu, Yang Liu, Jun Sun, Jianqi Shi, Shengchao Qin:
GPU Accelerated On-the-Fly Reachability Checking. ICECCS 2015: 100-109 - [c15]Conghua Zhou, Yong Wang, Meiling Cao, Jianqi Shi, Yang Liu:
Formal Analysis of MAC in IEEE 802.11p with Probabilistic Model Checking. TASE 2015: 55-62 - 2014
- [j2]Qin Li, Jianqi Shi, Huibiao Zhu:
A formal framework for service mashups with dynamic service selection. Innov. Syst. Softw. Eng. 10(3): 219-234 (2014) - [j1]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): 339-361 (2014) - [c14]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: 78-85 - [c13]Qinwen Ran, Xi Wu, Xin Li, Jianqi Shi, Jian Guo, Huibiao Zhu:
Modeling and Verifying the TTCAN Protocol Using Timed CSP. TASE 2014: 90-97 - 2013
- [c12]Yanhong Huang, Yongxin Zhao, Jianqi Shi, Huibiao Zhu:
A Denotational Model for Interrupt-Driven Programs. ICST Workshops 2013: 15-20 - [c11]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: 29-36 - [c10]Can Pan, Jian Guo, Longfei Zhu, Jianqi Shi, Huibiao Zhu, Xinyun Zhou:
Modeling and Verification of CAN Bus with Application Layer using UPPAAL. TTSS 2013: 31-49 - [i1]Huixing Fang, Huibiao Zhu, Jianqi Shi:
Apricot - An Object-Oriented Modeling Language for Hybrid Systems. CoRR abs/1304.6498 (2013) - 2012
- [c9]Jianqi Shi, Longfei Zhu, Huixing Fang, Jian Guo, Huibiao Zhu, Xin Ye:
xBIL - A Hardware Resource Oriented Binary Intermediate Language. ICECCS 2012: 211-219 - [c8]Jianqi Shi, Jifeng He, Huibiao Zhu, Huixing Fang, Yanhong Huang, Xiaoxian Zhang:
ORIENTAIS: Formal Verified OSEK/VDX Real-Time Operating System. ICECCS 2012: 293-301 - [c7]Jianqi Shi, Xin Ye, Liangyu Chen, Pei Zhang, Ningkang Jiang:
ESF - An Extensive Service Foundation from Internet of Things Perspective. ISORC Workshops 2012: 59-64 - [c6]Yanhong Huang, Yongxin Zhao, Jianqi Shi, Huibiao Zhu, Shengchao Qin:
Investigating Time Properties of Interrupt-Driven Programs. SBMF 2012: 131-146 - [c5]Huixing Fang, Jian Guo, Huibiao Zhu, Jianqi Shi:
Formal Verification and Simulation: Co-verification for Subway Control Systems. TASE 2012: 145-152 - [c4]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: 223-226 - 2011
- [c3]Longfei Zhu, Min Zhang, Yanhong Huang, Jianqi Shi, Huibiao Zhu:
Formalizing Application Programming Interfaces of the OSEK/VDX Operating System Specification. TASE 2011: 27-34 - [c2]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: 142-149
2000 – 2009
- 2007
- [c1]Geguang Pu, Jianqi Shi, Zheng Wang, Lu Jin, Jing Liu, Jifeng He:
The Validation and Verification of WSCDL. APSEC 2007: 81-88
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-09-10 02:08 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
