Jianqi Shi - Citegraph

Author Info

Name	Affiliation	Papers
JIANQI SHI	Natl Univ Singapore, Sch Comp, Singapore, Singapore	32
Collaborators	Citations	PageRank
65	57	12.50
Referers	Referees	References
114	441	210

Search Limit

100441

Publications (32 rows)

Collaborators (65 rows)

Referers (100 rows)

Referees (100 rows)

Title	Citations	PageRank	Year
A Deep Convolution Generative Adversarial Networks Based Fuzzing Framework For Industry Control Protocols	1	0.35	2021
A Novel Self-Attention Based Automatic Code Completion Neural Network (IPA).	0	0.34	2020
VARF - Verifying and Analyzing Robustness of Random Forests.	0	0.34	2020
An Intelligent Fuzzing Data Generation Method Based on Deep Adversarial Learning	0	0.34	2019
A Novel Deep Intrusion Detection Model Based On a Convolutional Neural Network.	0	0.34	2019
A Decomposition-Based Development Method For Industrial Control Systems	0	0.34	2019
Scade2Nu : A Tool for Verifying Safety Requirements of SCADE Models with Temporal Specifications.	0	0.34	2019
Kst: Executable Formal Semantics Of Iec 61131-3 Structured Text For Verification	0	0.34	2019
A Feasibility Analysis Framework of Time-Sensitive Networking Using Real-Time Calculus.	0	0.34	2019
A New Parallel Approach for Reachability Analysis of Pushdown Models	0	0.34	2017
Formalization and Verification of the Powerlink Protocol Using CSP.	0	0.34	2016
Semantic theories of programs with nested interrupts	2	0.36	2015
An Object-Oriented Language for Modeling of Hybrid Systems	0	0.34	2015
Formal Analysis of MAC in IEEE 802.11p with Probabilistic Model Checking	0	0.34	2015
GPU Accelerated On-the-Fly Reachability Checking	4	0.41	2015
pIML -- An Interrupt Program Modelling Language for Real-Time and Embedded Systems	1	0.36	2014
Modeling and Verification of CAN Bus with Application Layer using UPPAAL.	3	0.47	2014
Formal verification and simulation for platform screen doors and collision avoidance in subway control systems	1	0.35	2014
Modeling and Verifying the TTCAN Protocol Using Timed CSP	1	0.37	2014
A formal framework for service mashups with dynamic service selection	2	0.39	2014
A Denotational Model for Interrupt-Driven Programs	2	0.37	2013
Apricot - An Object-Oriented Modeling Language for Hybrid Systems	0	0.34	2013
A Timing Verification Framework for AUTOSAR OS Component Development Based on Real-Time Maude	3	0.41	2013
ORIENTAIS: Formal Verified OSEK/VDX Real-Time Operating System	9	0.57	2012
Binary Code Level Verification for Interrupt Safety Properties of Real-Time Operating System	1	0.39	2012
Formal Verification and Simulation: Co-verification for Subway Control Systems	0	0.34	2012
ESF - An Extensive Service Foundation from Internet of Things Perspective	0	0.34	2012
xBIL -- A Hardware Resource Oriented Binary Intermediate Language	0	0.34	2012
Investigating time properties of interrupt-driven programs	4	0.51	2012
Modeling and Verifying the Code-Level OSEK/VDX Operating System with CSP	17	0.89	2011
Formalizing Application Programming Interfaces of the OSEK/VDX Operating System Specification	1	0.37	2011
The Validation and Verification of WSCDL	5	0.53	2007