Jianqi Shi

According to our database1, Jianqi Shi authored at least 63 papers between 2007 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
A Federated Framework for Edge Computing Devices with Collaborative Fairness and Adversarial Robustness.
J. Grid Comput., September, 2023

Extracting optimal explanations for ensemble trees via automated reasoning.
Appl. Intell., June, 2023

A Tool for Transforming SysML State Machine into Uppaal Automatically.
Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2023

Improving Single-Step Adversarial Training By Local Smoothing.
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.
IEEE Trans. Ind. Informatics, 2022

A refinement development approach for enhancing the safety of PLC programs with Event-B.
Sci. Comput. Program., 2022

Minimal-unsatisfiable-core-driven Local Explainability Analysis for Random Forest.
Int. J. Softw. Informatics, 2022

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

Parallel computational tree logic model-checking on pushdown systems.
Concurr. Comput. Pract. Exp., 2022

A Federated Model Personalisation Method Based on Sparsity Representation and Clustering.
Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering, 2022

2021
Safety Verification of IEC 61131-3 Structured Text Programs.
IEEE Trans. Ind. Informatics, 2021

Automated test generation for IEC 61131-3 ST programs via dynamic symbolic execution.
Sci. Comput. Program., 2021

A deep convolution generative adversarial networks based fuzzing framework for industry control protocols.
J. Intell. Manuf., 2021

A Multi-Agent Spatial Logic for Scenario-Based Decision Modeling and Verification in Platoon Systems.
J. Comput. Sci. Technol., 2021

Extracting Optimal Explanations for Ensemble Trees via Logical Reasoning.
CoRR, 2021

General past-time linear temporal logic specification mining.
CCF Trans. High Perform. Comput., 2021

A Timed Automata based Automatic Framework for Verifying STL Properties of Simulink Models.
Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2021

Tree Ensemble Property Verification from A Testing Perspective.
Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021

Dynamically Detecting Invariants for Automatic Testing PLC Programs (S).
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.
Proceedings of the 46th IEEE Conference on Local Computer Networks, 2021

Data Flow Testing for PLC Programs via Dynamic Symbolic Execution.
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.
Formal Aspects Comput., 2020

A Novel Self-Attention Based Automatic Code Completion Neural Network.
Proceedings of the 32nd International Conference on Software Engineering and Knowledge Engineering, 2020

VARF: Verifying and Analyzing Robustness of Random Forests.
Proceedings of the Formal Methods and Software Engineering, 2020

Fault Diagnosis of Simplified Fault Trees using State Transition Diagrams.
Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020

2019
A Novel Deep Intrusion Detection Model Based On a Convolutional Neural Network.
Aust. J. Intell. Inf. Process. Syst., 2019

A Feasibility Analysis Framework of Time-Sensitive Networking Using Real-Time Calculus.
IEEE Access, 2019

A Decomposition-Based Development Method for Industrial Control Systems.
IEEE Access, 2019

An Intelligent Fuzzing Data Generation Method Based on Deep Adversarial Learning.
IEEE Access, 2019

KST: Executable Formal Semantics of IEC 61131-3 Structured Text for Verification.
IEEE Access, 2019

Automated Test Generation for IEC 61131-3 ST Programs via Dynamic Symbolic Execution.
Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

CNN-based Super-resolution Reconstruction for Traffic Sign Detection.
Proceedings of the IEEE Symposium Series on Computational Intelligence, 2019

Scade2Nu : A Tool for Verifying Safety Requirements of SCADE Models with Temporal Specifications.
Proceedings of the Joint Proceedings of REFSQ-2019 Workshops, 2019

Automated Mining and Checking of Formal Properties in Natural Language Requirements.
Proceedings of the Knowledge Science, Engineering and Management, 2019

SeqFuzzer: An Industrial Protocol Fuzzing Framework from a Deep Learning Perspective.
Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019

ParaMoC: A Parallel Model Checker for Pushdown Systems.
Proceedings of the Algorithms and Architectures for Parallel Processing, 2019

2018
Parallel Model Checking on Pushdown Systems.
Proceedings of the IEEE International Conference on Parallel & Distributed Processing with Applications, 2018

Efficient Parallel CTL Model-Checking for Pushdown Systems.
Proceedings of the IEEE International Conference on Parallel & Distributed Processing with Applications, 2018

GANFuzz: a GAN-based industrial network protocol fuzzing framework.
Proceedings of the 15th ACM International Conference on Computing Frontiers, 2018

2017
A New Parallel Approach for Reachability Analysis of Pushdown Models.
Proceedings of the 2017 International Conference on Management Engineering, 2017

Decomposition and Collaboration of Industrial Control System with Resource Constraints.
Proceedings of the 22nd International Conference on Engineering of Complex Computer Systems, 2017

2016
Formalization and Verification of the Powerlink Protocol Using CSP.
Proceedings of the 23rd Asia-Pacific Software Engineering Conference, 2016

2015
Semantic theories of programs with nested interrupts.
Frontiers Comput. Sci., 2015

Formal Analysis of MAC in IEEE 802.11p with Probabilistic Model Checking.
Proceedings of the 2015 International Symposium on Theoretical Aspects of Software Engineering, 2015

GPU Accelerated On-the-Fly Reachability Checking.
Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015

An Object-Oriented Language for Modeling of Hybrid Systems.
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.
Int. J. Softw. Tools Technol. Transf., 2014

A formal framework for service mashups with dynamic service selection.
Innov. Syst. Softw. Eng., 2014

Modeling and Verifying the TTCAN Protocol Using Timed CSP.
Proceedings of the 2014 Theoretical Aspects of Software Engineering Conference, 2014

pIML - An Interrupt Program Modelling Language for Real-Time and Embedded Systems.
Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

2013
Modeling and Verification of CAN Bus with Application Layer using UPPAAL.
Proceedings of the Sixth International Workshop on Harnessing Theories for Tool Support for Software, 2013

Apricot - An Object-Oriented Modeling Language for Hybrid Systems
CoRR, 2013

A Timing Verification Framework for AUTOSAR OS Component Development Based on Real-Time Maude.
Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

A Denotational Model for Interrupt-Driven Programs.
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.
Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

Formal Verification and Simulation: Co-verification for Subway Control Systems.
Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

Investigating Time Properties of Interrupt-Driven Programs.
Proceedings of the Formal Methods: Foundations and Applications - 15th Brazilian Symposium, 2012

ESF - An Extensive Service Foundation from Internet of Things Perspective.
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.
Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

ORIENTAIS: Formal Verified OSEK/VDX Real-Time Operating System.
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.
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.
Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

2007
The Validation and Verification of WSCDL.
Proceedings of the 14th Asia-Pacific Software Engineering Conference (APSEC 2007), 2007


  Loading...