近期论文
查看导师最新文章
（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）
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)
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)
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)
Shaopeng Wang, Yanhong Huang, Jianqi Shi, Yang Yang, Xin Guo: Improving Single-Step Adversarial Training By Local Smoothing. IJCNN 2023: 1-8
Tong Niu, Yicong Xu, Shengping Xiao, Lili Xiao, Yanhong Huang, Jianwen Li: LTLf Satisfiability Checking via Formula Progression (S). SEKE 2023: 357-362
Shaopeng Wang, Jianqi Shi, Yanhong Huang, Yang Yang: A Tool for Transforming SysML State Machine into Uppaal Automatically. SMC 2023: 2471-2476
Yiwei Meng, Yanhong Huang, Xiao Chang, Xiaoping Liu, Luonan Chen: Transcriptome analysis method based on differential distribution evaluation. Briefings Bioinform. 23(2) (2022)
Yu Zhang, Xiao Chang, Jie Xia, Yanhong Huang, Shaoyan Sun, Luonan Chen, Xiaoping Liu: Identifying network biomarkers of cancer by sample-specific differential network. BMC Bioinform. 23(1): 230 (2022)
Bo Yan, Yanping Liu, Yanhong Huang: Improved discrete imperialist competition algorithm for order scheduling of automated warehouses. Comput. Ind. Eng. 168: 108075 (2022)
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)
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)
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)
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)
Yuxu Lu, Yu Guo, Yanhong Huang, Fenghua Zhu, Xianjun Hu, Ryan Wen Liu: Fast Deep Multi-patch Progressive Network for Low-light Image Enhancement in Intelligent Transportation Systems. ITSC 2022: 2675-2680
Hailin Yang, Yanhong Huang, Jianqi Shi, Fangda Cai: A Federated Model Personalisation Method Based on Sparsity Representation and Clustering. SEKE 2022: 160-165
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)
Yanhong Huang, Xiao Chang, Yu Zhang, Luonan Chen, Xiaoping Liu: Disease characterization using a partial correlation-based sample-specific network. Briefings Bioinform. 22(3) (2021)
Jianqi Shi, Jiawen Xiong, Yanhong Huang: General past-time linear temporal logic specification mining. CCF Trans. High Perform. Comput. 3(4): 393-406 (2021)
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)
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)
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)
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)
Wenjie Li, Lingbo Yang, Yanhong Huang, Yan Chen, Jingfeng Huang: Accurate Recognition of Wine Grape Based on Multi-source Satellite Data. Agro-Geoinformatics 2021: 1-5
Weigang He, Xia Mao, Ting Su, Yanhong Huang, Jianqi Shi: Data Flow Testing for PLC Programs via Dynamic Symbolic Execution. APSEC 2021: 152-160
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
Bohao Wang, Zhe Hou, Gelin Zhang, Jianqi Shi, Yanhong Huang: Tree Ensemble Property Verification from A Testing Perspective. SEKE 2021: 166-171
Zeyu Lu, Xia Mao, Yanhong Huang, Jianqi Shi, Yang Yang: Dynamically Detecting Invariants for Automatic Testing PLC Programs (S). SEKE 2021: 532-537
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
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)
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)
Mingyue Jiao, Yanhong Huang, Jianqi Shi, Fangda Cai, Rongfeng Lin: Fault Diagnosis of Simplified Fault Trees using State Transition Diagrams. APSEC 2020: 11-20
Chaoqun Nie, Jianqi Shi, Yanhong Huang: VARF: Verifying and Analyzing Robustness of Random Forests. ICFEM 2020: 163-178
Bohao Wang, Wanyou Lv, Jianqi Shi, Yanhong Huang: A Novel Self-Attention Based Automatic Code Completion Neural Network. SEKE 2020: 386-391
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)
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)
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)
Jiawen Xiong, Ju Li, Jianqi Shi, Yanhong Huang: A Decomposition-Based Development Method for Industrial Control Systems. IEEE Access 7: 93161-93174 (2019)
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)
Yanhong Huang, Shirui Li, Lingbo Yuang, Jiefeng Cheng, Wenjie Li, Yan Chen, Jingfeng Huang: Estimating Tea Plantation Area Based on Multi-source Satellite Data. Agro-Geoinformatics 2019: 1-4
Hansheng Wei, Xin Ye, Jianqi Shi, Yanhong Huang: ParaMoC: A Parallel Model Checker for Pushdown Systems. ICA3PP (2) 2019: 305-312
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
Xingxing Pi, Jianqi Shi, Yanhong Huang, Hansheng Wei: Automated Mining and Checking of Formal Properties in Natural Language Requirements. KSEM (2) 2019: 75-87
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
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
Zhicheng Hu, Jianqi Shi, Yanhong Huang, Jiawen Xiong, Xiangxing Bu: GANFuzz: a GAN-based industrial network protocol fuzzing framework. CF 2018: 138-145
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
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
京公网安备 11010802027423号