Jianqi Shi

Orcid: 0000-0002-8993-7603

According to our database¹, Jianqi Shi authored at least 69 papers between 2007 and 2024.

Collaborative distances:

Dijkstra number² of three.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2024

Automated Test Cases Generator for IEC 61131-3 Structured Text Based Dynamic Symbolic Execution.

[BibT_eX]

[DOI]

IEEE Trans. Computers, April, 2024

Computing minimal unsatisfiable core for LTL over finite traces.

[BibT_eX]

[DOI]

J. Log. Comput., 2024

OpenECAD: An Efficient Visual Language Model for Computer-Aided Design.

[BibT_eX]

[DOI]

Zhe Yuan

Jianqi Shi

Yanhong Huang

CoRR, 2024

OpenECAD: An efficient visual language model for editable 3D-CAD design.

[BibT_eX]

[DOI]

Zhe Yuan

Jianqi Shi

Yanhong Huang

Comput. Graph., 2024

NL2CTL: Automatic Generation of Formal Requirements Specifications via Large Language Models.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2024

Graph Convolutional Network Robustness Verification Algorithm Based on Dual Approximation.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2024

2023

A Federated Framework for Edge Computing Devices with Collaborative Fairness and Adversarial Robustness.

[BibT_eX]

[DOI]

J. Grid Comput., September, 2023

Extracting optimal explanations for ensemble trees via automated reasoning.

[BibT_eX]

[DOI]

Appl. Intell., June, 2023

A Tool for Transforming SysML State Machine into Uppaal Automatically.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2023

Improving Single-Step Adversarial Training By Local Smoothing.

[BibT_eX]

[DOI]

Proceedings of the International Joint Conference on Neural Networks, 2023

2022

Programmable Logic Controllers Past Linear Temporal Logic for Monitoring Applications in Industrial Control Systems.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Informatics, 2022

A refinement development approach for enhancing the safety of PLC programs with Event-B.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2022

Minimal-unsatisfiable-core-driven Local Explainability Analysis for Random Forest.

[BibT_eX]

[DOI]

Int. J. Softw. Informatics, 2022

MUC-driven Feature Importance Measurement and Adversarial Analysis for Random Forest.

[BibT_eX]

[DOI]

CoRR, 2022

Parallel computational tree logic model-checking on pushdown systems.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2022

A Federated Model Personalisation Method Based on Sparsity Representation and Clustering.

[BibT_eX]

[DOI]

Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering, 2022

2021

Safety Verification of IEC 61131-3 Structured Text Programs.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Informatics, 2021

Automated test generation for IEC 61131-3 ST programs via dynamic symbolic execution.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2021

A deep convolution generative adversarial networks based fuzzing framework for industry control protocols.

[BibT_eX]

[DOI]

J. Intell. Manuf., 2021

A Multi-Agent Spatial Logic for Scenario-Based Decision Modeling and Verification in Platoon Systems.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2021

Extracting Optimal Explanations for Ensemble Trees via Logical Reasoning.

[BibT_eX]

[DOI]

CoRR, 2021

General past-time linear temporal logic specification mining.

[BibT_eX]

[DOI]

Jianqi Shi

Jiawen Xiong

Yanhong Huang

CCF Trans. High Perform. Comput., 2021

A Timed Automata based Automatic Framework for Verifying STL Properties of Simulink Models.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2021

Tree Ensemble Property Verification from A Testing Perspective.

[BibT_eX]

[DOI]

Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021

Dynamically Detecting Invariants for Automatic Testing PLC Programs (S).

[BibT_eX]

[DOI]

Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021

A Formal Method for Evaluating the Performance of TSN Traffic Shapers using UPPAAL.

[BibT_eX]

[DOI]

Proceedings of the 46th IEEE Conference on Local Computer Networks, 2021

Data Flow Testing for PLC Programs via Dynamic Symbolic Execution.

[BibT_eX]

[DOI]

Proceedings of the 28th Asia-Pacific Software Engineering Conference, 2021

2020

Modeling and Verification of A Timing Protection Mechanism in the OSEK/VDX OS using CSP.

[BibT_eX]

[DOI]

Yanhong Huang

Haiping Pang

Jianqi Shi

Formal Aspects Comput., 2020

A Novel Self-Attention Based Automatic Code Completion Neural Network.

[BibT_eX]

[DOI]

Proceedings of the 32nd International Conference on Software Engineering and Knowledge Engineering, 2020

VARF: Verifying and Analyzing Robustness of Random Forests.

[BibT_eX]

[DOI]

Chaoqun Nie

Jianqi Shi

Yanhong Huang

Proceedings of the Formal Methods and Software Engineering, 2020

Fault Diagnosis of Simplified Fault Trees using State Transition Diagrams.

[BibT_eX]

[DOI]

Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020

2019

A Novel Deep Intrusion Detection Model Based On a Convolutional Neural Network.

[BibT_eX]

[DOI]

Aust. J. Intell. Inf. Process. Syst., 2019

A Feasibility Analysis Framework of Time-Sensitive Networking Using Real-Time Calculus.

[BibT_eX]

[DOI]

IEEE Access, 2019

A Decomposition-Based Development Method for Industrial Control Systems.

[BibT_eX]

[DOI]

IEEE Access, 2019

An Intelligent Fuzzing Data Generation Method Based on Deep Adversarial Learning.

[BibT_eX]

[DOI]

IEEE Access, 2019

KST: Executable Formal Semantics of IEC 61131-3 Structured Text for Verification.

[BibT_eX]

[DOI]

IEEE Access, 2019

Automated Test Generation for IEC 61131-3 ST Programs via Dynamic Symbolic Execution.

[BibT_eX]

[DOI]

Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

CNN-based Super-resolution Reconstruction for Traffic Sign Detection.

[BibT_eX]

[DOI]

Proceedings of the IEEE Symposium Series on Computational Intelligence, 2019

Scade2Nu : A Tool for Verifying Safety Requirements of SCADE Models with Temporal Specifications.

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of REFSQ-2019 Workshops, 2019

Automated Mining and Checking of Formal Properties in Natural Language Requirements.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Science, Engineering and Management, 2019

SeqFuzzer: An Industrial Protocol Fuzzing Framework from a Deep Learning Perspective.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019

ParaMoC: A Parallel Model Checker for Pushdown Systems.

[BibT_eX]

[DOI]

Proceedings of the Algorithms and Architectures for Parallel Processing, 2019

2018

Parallel Model Checking on Pushdown Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Parallel & Distributed Processing with Applications, 2018

Efficient Parallel CTL Model-Checking for Pushdown Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Parallel & Distributed Processing with Applications, 2018

GANFuzz: a GAN-based industrial network protocol fuzzing framework.

[BibT_eX]

[DOI]

Proceedings of the 15th ACM International Conference on Computing Frontiers, 2018

2017

A New Parallel Approach for Reachability Analysis of Pushdown Models.

[BibT_eX]

[DOI]

Proceedings of the 2017 International Conference on Management Engineering, 2017

Decomposition and Collaboration of Industrial Control System with Resource Constraints.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on Engineering of Complex Computer Systems, 2017

2016

Formalization and Verification of the Powerlink Protocol Using CSP.

[BibT_eX]

[DOI]

Proceedings of the 23rd Asia-Pacific Software Engineering Conference, 2016

2015

Semantic theories of programs with nested interrupts.

[BibT_eX]

[DOI]

Frontiers Comput. Sci., 2015

Formal Analysis of MAC in IEEE 802.11p with Probabilistic Model Checking.

[BibT_eX]

[DOI]

Proceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering, 2015

GPU Accelerated On-the-Fly Reachability Checking.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015

An Object-Oriented Language for Modeling of Hybrid Systems.

[BibT_eX]

[DOI]

Huixing Fang

Huibiao Zhu

Jianqi Shi

Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015

2014

Formal verification and simulation for platform screen doors and collision avoidance in subway control systems.

[BibT_eX]

[DOI]

Kim Guldstrand Larsen

Alexandre David

Int. J. Softw. Tools Technol. Transf., 2014

A formal framework for service mashups with dynamic service selection.

[BibT_eX]

[DOI]

Qin Li

Jianqi Shi

Huibiao Zhu

Innov. Syst. Softw. Eng., 2014

Modeling and Verifying the TTCAN Protocol Using Timed CSP.

[BibT_eX]

[DOI]

Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014

pIML - An Interrupt Program Modelling Language for Real-Time and Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

2013

Modeling and Verification of CAN Bus with Application Layer using UPPAAL.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Workshop on Harnessing Theories for Tool Support for Software, 2013

Apricot - An Object-Oriented Modeling Language for Hybrid Systems

[BibT_eX]

[DOI]

Huixing Fang

Huibiao Zhu

Jianqi Shi

CoRR, 2013

A Timing Verification Framework for AUTOSAR OS Component Development Based on Real-Time Maude.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

A Denotational Model for Interrupt-Driven Programs.

[BibT_eX]

[DOI]

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

2012

Binary Code Level Verification for Interrupt Safety Properties of Real-Time Operating System.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

Formal Verification and Simulation: Co-verification for Subway Control Systems.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

Investigating Time Properties of Interrupt-Driven Programs.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods: Foundations and Applications - 15th Brazilian Symposium, 2012

ESF - An Extensive Service Foundation from Internet of Things Perspective.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2012

xBIL - A Hardware Resource Oriented Binary Intermediate Language.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

ORIENTAIS: Formal Verified OSEK/VDX Real-Time Operating System.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

2011

Formalizing Application Programming Interfaces of the OSEK/VDX Operating System Specification.

[BibT_eX]

[DOI]

Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

Modeling and Verifying the Code-Level OSEK/VDX Operating System with CSP.

[BibT_eX]

[DOI]

Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

2007

The Validation and Verification of WSCDL.

[BibT_eX]

[DOI]

Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 2007

Jianqi Shi

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...