Yanhong Huang

Publication Activity (10 Years)

Years Active: 2010-2024
Publications (10 Years): 52

Top Topics

Modelling Language

Symbolic Execution

Top Venues

Publications

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) (2024)
Zhe Yuan, Jianqi Shi, Yanhong Huang
OpenECAD: An efficient visual language model for editable 3D-CAD design. Comput. Graph. 124 (2024)
Zhe Yuan, Jianqi Shi, Yanhong Huang
OpenECAD: An Efficient Visual Language Model for Computer-Aided Design. CoRR (2024)
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) (2023)
Shaopeng Wang, Yanhong Huang, Jianqi Shi, Yang Yang, Xin Guo
Improving Single-Step Adversarial Training By Local Smoothing. IJCNN (2023)
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) (2023)
Shaopeng Wang, Jianqi Shi, Yanhong Huang, Yang Yang
A Tool for Transforming SysML State Machine into Uppaal Automatically. SMC (2023)
Tong Niu, Yicong Xu, Shengping Xiao, Lili Xiao, Yanhong Huang, Jianwen Li
LTLf Satisfiability Checking via Formula Progression (S). SEKE (2023)
Hailin Yang, Yanhong Huang, Jianqi Shi, Fangda Cai
A Federated Model Personalisation Method Based on Sparsity Representation and Clustering. SEKE (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) (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) (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 (2022)
Yiwei Meng, Yanhong Huang, Xiao Chang, Xiaoping Liu, Luonan Chen
Transcriptome analysis method based on differential distribution evaluation. Briefings Bioinform. 23 (2) (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) (2022)
Bo Yan, Yanping Liu, Yanhong Huang
Improved discrete imperialist competition algorithm for order scheduling of automated warehouses. Comput. Ind. Eng. 168 (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)
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
MUC-driven Feature Importance Measurement and Adversarial Analysis for Random Forest. CoRR (2022)
Jun Cang, Yichen Huang, Yanhong Huang
Research on the Application of Intelligent Choreography for Musical Theater Based on Mixture Density Network Algorithm. Comput. Intell. Neurosci. 2021 (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) (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) (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)
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) (2021)
Zeyu Lu, Xia Mao, Yanhong Huang, Jianqi Shi, Yang Yang
Dynamically Detecting Invariants for Automatic Testing PLC Programs (S). SEKE (2021)
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 (2021)
Jianqi Shi, Jiawen Xiong, Yanhong Huang
General past-time linear temporal logic specification mining. CCF Trans. High Perform. Comput. 3 (4) (2021)
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)
Weigang He, Xia Mao, Ting Su, Yanhong Huang, Jianqi Shi
Data Flow Testing for PLC Programs via Dynamic Symbolic Execution. APSEC (2021)
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)
Bohao Wang, Zhe Hou, Gelin Zhang, Jianqi Shi, Yanhong Huang
Tree Ensemble Property Verification from A Testing Perspective. SEKE (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 (2021)
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)
Mingyue Jiao, Yanhong Huang, Jianqi Shi, Fangda Cai, Rongfeng Lin
Fault Diagnosis of Simplified Fault Trees using State Transition Diagrams. APSEC (2020)
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) (2020)
Chaoqun Nie, Jianqi Shi, Yanhong Huang
VARF: Verifying and Analyzing Robustness of Random Forests. ICFEM (2020)
Bohao Wang, Wanyou Lv, Jianqi Shi, Yanhong Huang
A Novel Self-Attention Based Automatic Code Completion Neural Network. SEKE (2020)
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)
Hansheng Wei, Xin Ye, Jianqi Shi, Yanhong Huang
ParaMoC: A Parallel Model Checker for Pushdown Systems. ICA3PP (2) (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) (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 (2019)
Li Hao, Jianqi Shi, Ting Su, Yanhong Huang
Automated Test Generation for IEC 61131-3 ST Programs via Dynamic Symbolic Execution. TASE (2019)
Jiawen Xiong, Ju Li, Jianqi Shi, Yanhong Huang
A Decomposition-Based Development Method for Industrial Control Systems. IEEE Access 7 (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 (2019)
Hui Zhao, Zhihui Li, Hansheng Wei, Jianqi Shi, Yanhong Huang
SeqFuzzer: An Industrial Protocol Fuzzing Framework from a Deep Learning Perspective. ICST (2019)
Xingxing Pi, Jianqi Shi, Yanhong Huang, Hansheng Wei
Automated Mining and Checking of Formal Properties in Natural Language Requirements. KSEM (2) (2019)
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 (2019)
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)
Zhicheng Hu, Jianqi Shi, Yanhong Huang, Jiawen Xiong, Xiangxing Bu
GANFuzz: a GAN-based industrial network protocol fuzzing framework. CF (2018)
Hansheng Wei, Xinyu Chen, Xin Ye, Neng Fu, Yanhong Huang, Jianqi Shi
Parallel Model Checking on Pushdown Systems. ISPA/IUCC/BDCloud/SocialCom/SustainCom (2018)
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)
Ju Li, Jiawen Xiong, Xia Mao, Jianqi Shi, Xin Ye, Yanhong Huang
Decomposition and Collaboration of Industrial Control System with Resource Constraints. ICECCS (2017)
Haiping Pang, Ju Li, Yijia Ruan, Yanhong Huang, Jianqi Shi, Shengchao Qin
Formalization and Verification of the Powerlink Protocol Using CSP. APSEC (2016)
Yanhong Huang, Yongxin Zhao, Shengchao Qin, Jifeng He
Probabilistic Denotational Semantics for an Interrupt Modelling Language. ICECCS (2015)
Yanhong Huang, Jifeng He, Huibiao Zhu, Yongxin Zhao, Jianqi Shi, Shengchao Qin
Semantic theories of programs with nested interrupts. Frontiers Comput. Sci. 9 (3) (2015)
Luyao Wang, Fengwei Sui, Yanhong Huang, Huibiao Zhu
Modeling and Verifying the Ballooning in Xen with CSP. HASE (2015)
Qin Li, Jinxun Wang, Qiwen Xu, Yanhong Huang, Huibiao Zhu
A Formal Framework for Reasoning Emergent Behaviors in Swarm Robotic Systems. ICECCS (2015)
Xin Li, Yanhong Huang, Jianqi Shi, Jian Guo, Huibiao Zhu, Yuanmin Xu
pIML - An Interrupt Program Modelling Language for Real-Time and Embedded Systems. APSEC (1) (2014)
Yongxin Zhao, Yanhong Huang, Qin Li, Huibiao Zhu, Jifeng He, Jianwen Li, Xi Wu
Investigating System Survivability from a Probabilistic Perspective. IEICE Trans. Inf. Syst. (9) (2014)
Yunhui Peng, Yanhong Huang, Ting Su, Jian Guo
Modeling and Verification of AUTOSAR OS and EMS Application. TASE (2013)
Yanhong Huang, Yongxin Zhao, Jianqi Shi, Huibiao Zhu
A Denotational Model for Interrupt-Driven Programs. ICST Workshops (2013)
Yanhong Huang, João F. Ferreira, Guanhua He, Shengchao Qin, Jifeng He
Deadline Analysis of AUTOSAR OS Periodic Tasks in the Presence of Interrupts. ICFEM (2013)
Jianqi Shi, Longfei Zhu, Yanhong Huang, Jian Guo, Huibiao Zhu, Huixing Fang, Xin Ye
Binary Code Level Verification for Interrupt Safety Properties of Real-Time Operating System. TASE (2012)
Yanhong Huang, Yongxin Zhao, Shengchao Qin, Guanhua He, João F. Ferreira
A Timed CSP Model for the Time-Triggered Language Giotto. SEW (2012)
Jianqi Shi, Jifeng He, Huibiao Zhu, Huixing Fang, Yanhong Huang, Xiaoxian Zhang
ORIENTAIS: Formal Verified OSEK/VDX Real-Time Operating System. ICECCS (2012)
Yanhong Huang, Yongxin Zhao, Jianqi Shi, Huibiao Zhu, Shengchao Qin
Investigating Time Properties of Interrupt-Driven Programs. SBMF (2012)
Yongxin Zhao, Yanhong Huang, Jifeng He, Si Liu
Formal Model of Interrupt Program from a Probabilistic Perspective. ICECCS (2011)
Longfei Zhu, Min Zhang, Yanhong Huang, Jianqi Shi, Huibiao Zhu
Formalizing Application Programming Interfaces of the OSEK/VDX Operating System Specification. TASE (2011)
Yanhong Huang, Yongxin Zhao, Longfei Zhu, Qin Li, Huibiao Zhu, Jianqi Shi
Modeling and Verifying the Code-Level OSEK/VDX Operating System with CSP. TASE (2011)
Yongxin Zhao, Yanhong Huang, Jianwen Li, Huibiao Zhu
Probabilistic Model of System Survivability. TASE (2010)