GANFuzz: A GAN-based industrial network protocol fuzzing framework Z Hu, J Shi, YH Huang, J Xiong, X Bu Proceedings of the 15th ACM International Conference on Computing Frontiers …, 2018 | 85 | 2018 |
SeqFuzzer: An industrial protocol fuzzing framework from a deep learning perspective H Zhao, Z Li, H Wei, J Shi, Y Huang 2019 12th IEEE Conference on software testing, validation and verification …, 2019 | 71 | 2019 |
Modeling and verifying the code-level OSEK/VDX operating system with CSP Y Huang, Y Zhao, L Zhu, Q Li, H Zhu, J Shi 2011 Fifth International Conference on Theoretical Aspects of Software …, 2011 | 57 | 2011 |
An intelligent fuzzing data generation method based on deep adversarial learning Z Li, H Zhao, J Shi, Y Huang, J Xiong IEEE Access 7, 49327-49340, 2019 | 43 | 2019 |
Modeling and verification of CAN bus with application layer using UPPAAL C Pan, J Guo, L Zhu, J Shi, H Zhu, X Zhou Electronic Notes in Theoretical Computer Science 309, 31-49, 2014 | 37 | 2014 |
A deep convolution generative adversarial networks based fuzzing framework for industry control protocols W Lv, J Xiong, J Shi, Y Huang, S Qin Journal of Intelligent Manufacturing 32, 441-457, 2021 | 36 | 2021 |
ORIENTAIS: Formal verified OSEK/VDX real-time operating system J Shi, J He, H Zhu, H Fang, Y Huang, X Zhang 2012 IEEE 17th International Conference on Engineering of Complex Computer …, 2012 | 31 | 2012 |
A feasibility analysis framework of time-sensitive networking using real-time calculus P Zhang, Y Liu, J Shi, Y Huang, Y Zhao IEEE Access 7, 90069-90081, 2019 | 23 | 2019 |
GPU accelerated on-the-fly reachability checking Z Wu, Y Liu, J Sun, J Shi, S Qin 2015 20th International Conference on Engineering of Complex Computer …, 2015 | 23 | 2015 |
Automated test generation for IEC 61131-3 ST programs via dynamic symbolic execution W He, J Shi, T Su, Z Lu, L Hao, Y Huang Science of Computer Programming 206, 102608, 2021 | 17 | 2021 |
The validation and verification of wscdl G Pu, J Shi, Z Wang, L Jin, J Liu, J He 14th Asia-Pacific Software Engineering Conference (APSEC'07), 81-88, 2007 | 17 | 2007 |
Formal verification and simulation for platform screen doors and collision avoidance in subway control systems H Fang, J Shi, H Zhu, J Guo, KG Larsen, A David International Journal on Software Tools for Technology Transfer 16, 339-361, 2014 | 14 | 2014 |
Programmable logic controllers past linear temporal logic for monitoring applications in industrial control systems X Mao, X Li, Y Huang, J Shi, Y Zhang IEEE Transactions on Industrial Informatics 18 (7), 4393-4405, 2021 | 13 | 2021 |
A user-friendly verification approach for IEC 61131-3 PLC programs J Xiong, G Zhu, Y Huang, J Shi Electronics 9 (4), 572, 2020 | 12 | 2020 |
A timing verification framework for AUTOSAR OS component development based on real-time maude L Zhu, P Liu, J Shi, Z Wang, H Zhu 2013 International Symposium on Theoretical Aspects of Software Engineering …, 2013 | 12 | 2013 |
A formal method for evaluating the performance of tsn traffic shapers using uppaal W Guo, Y Huang, J Shi, Z Hou, Y Yang 2021 IEEE 46th Conference on Local Computer Networks (LCN), 241-248, 2021 | 11 | 2021 |
KST: Executable formal semantics of IEC 61131-3 structured text for verification Y Huang, X Bu, G Zhu, X Ye, X Zhu, J Shi IEEE Access 7, 14593-14602, 2019 | 10 | 2019 |
Investigating time properties of interrupt-driven programs Y Huang, Y Zhao, J Shi, H Zhu, S Qin Formal Methods: Foundations and Applications: 15th Brazilian Symposium, SBMF …, 2012 | 10 | 2012 |
Safety verification of IEC 61131-3 Structured Text programs J Xiong, X Bu, Y Huang, J Shi, W He IEEE Transactions on Industrial Informatics 17 (4), 2632-2640, 2020 | 9 | 2020 |
A Novel Deep Intrusion Detection Model Based On a Convolutional Neural Network. N Fu, N Kamili, Y Huang, J Shi Aust. J. Intell. Inf. Process. Syst. 15 (2), 52-59, 2019 | 9 | 2019 |