Yanhong Huang

79 papers A 2B 10C 14Misc 7Journal 32Unranked 14
YearRankTypeTitle / Venue / Authors
2025 A conf
All-in-one Defensive Network (ADNet): Trustworthy Segmentation of Complex Maritime Environments for Unmanned Surface Vessels (USVs).
IROS
Yanhong Huang, Yuze Duan, Peng Wu, Yuanchang Liu
2025 J jnl
Deep-learning-empowered visual ship detection and tracking: Literature review and future direction.
Eng. Appl. Artif. Intell.
Boxing Zhang, Jingxian Liu, Ryan Wen Liu, Yanhong Huang
2025 J jnl
FLCSDet: Federated Learning-Driven Cross-Spatial Vessel Detection for Maritime Surveillance With Privacy Preservation.
IEEE Trans. Intell. Transp. Syst.
Yanhong Huang, Ryan Wen Liu, Yijing Lin, Jiawen Kang, Fenghua Zhu, Fei-Yue Wang
2025 C conf
LLM-SYM: Integrating Symbolic Methods and Large Language Models for Automated Theorem Proving.
ICFEM
Yifan Wu, Yanhong Huang, Jianqi Shi
2025 — conf
SolSearch: An LLM-Driven Framework for Efficient SAT-Solving Code Generation.
NIER@ICSE
Junjie Sheng, Yanqiu Lin, Jiehao Wu, Yanhong Huang, Jianqi Shi, Min Zhang, Xiangfeng Wang
2025 J jnl
SolSearch: An LLM-Driven Framework for Efficient SAT-Solving Code Generation.
CoRR
Junjie Sheng, Yanqiu Lin, Jiehao Wu, Yanhong Huang, Jianqi Shi, Min Zhang, Xiangfeng Wang
2024 J jnl
Automated Test Cases Generator for IEC 61131-3 Structured Text Based Dynamic Symbolic Execution.
IEEE Trans. Computers
Jianqi Shi, Yinghao Chen, Qin Li, Yanhong Huang, Yang Yang, Mengyan Zhao
2024 J jnl
Computing minimal unsatisfiable core for LTL over finite traces.
J. Log. Comput.
Tong Niu, Shengping Xiao, Xiaoyu Zhang, Jianwen Li, Yanhong Huang, Jianqi Shi
2024 C conf
Graph Convolutional Network Robustness Verification Algorithm Based on Dual Approximation.
ICFEM
Dongdong An, Hao Zhang, Qin Zhao, Jing Liu, Jianqi Shi, Yanhong Huang, Yang Yang, Xu Liu, Shengchao Qin
2024 C conf
NL2CTL: Automatic Generation of Formal Requirements Specifications via Large Language Models.
ICFEM
Mengyan Zhao, Ran Tao, Yanhong Huang, Jianqi Shi, Shengchao Qin, Yang Yang
2024 J jnl
OpenECAD: An Efficient Visual Language Model for Computer-Aided Design.
CoRR
Zhe Yuan, Jianqi Shi, Yanhong Huang
2024 J jnl
OpenECAD: An efficient visual language model for editable 3D-CAD design.
Comput. Graph.
Zhe Yuan, Jianqi Shi, Yanhong Huang
2024 B conf
SELus: Towards Spatio-Temporal Modeling and Quantitative Evaluation for Cyber-Physical Systems.
SMC
Quanguo Zhang, Jing Liu, Mingxing Liu, Yanhong Huang, Rongbin Hou, Jianqi Shi
2024 B conf
Static Code Analysis of IEC 61131-3 ST Programs via Symbolic Execution.
SMC
Mengyan Zhao, Yanhong Huang, Jianqi Shi, Yinghao Chen, Yang Yang
2023 J jnl
A Federated Framework for Edge Computing Devices with Collaborative Fairness and Adversarial Robustness.
J. Grid Comput.
Hailin Yang, Yanhong Huang, Jianqi Shi, Yang Yang
2023 B conf
A Tool for Transforming SysML State Machine into Uppaal Automatically.
SMC
Shaopeng Wang, Jianqi Shi, Yanhong Huang, Yang Yang
2023 J jnl
Extracting optimal explanations for ensemble trees via automated reasoning.
Appl. Intell.
Gelin Zhang, Zhé Hóu, Yanhong Huang, Jianqi Shi, Hadrien Bride, Jin Song Dong, Yongsheng Gao
2023 B conf
Improving Single-Step Adversarial Training By Local Smoothing.
IJCNN
Shaopeng Wang, Yanhong Huang, Jianqi Shi, Yang Yang, Xin Guo
2023 C conf
LTLf Satisfiability Checking via Formula Progression (S).
SEKE
Tong Niu, Yicong Xu, Shengping Xiao, Lili Xiao, Yanhong Huang, Jianwen Li
2022 C conf
A Federated Model Personalisation Method Based on Sparsity Representation and Clustering.
SEKE
Hailin Yang, Yanhong Huang, Jianqi Shi, Fangda Cai
2022 J jnl
A refinement development approach for enhancing the safety of PLC programs with Event-B.
Sci. Comput. Program.
Xia Mao, Yueling Zhang, Jianqi Shi, Yanhong Huang, Qin Li
2022 — conf
Fast Deep Multi-patch Progressive Network for Low-light Image Enhancement in Intelligent Transportation Systems.
ITSC
Yuxu Lu, Yu Guo, Yanhong Huang, Fenghua Zhu, Xianjun Hu, Ryan Wen Liu
2022 J jnl
Identifying network biomarkers of cancer by sample-specific differential network.
BMC Bioinform.
Yu Zhang, Xiao Chang, Jie Xia, Yanhong Huang, Shaoyan Sun, Luonan Chen, Xiaoping Liu
2022 J jnl
Improved discrete imperialist competition algorithm for order scheduling of automated warehouses.
Comput. Ind. Eng.
Bo Yan, Yanping Liu, Yanhong Huang
2022 J jnl
MUC-driven Feature Importance Measurement and Adversarial Analysis for Random Forest.
CoRR
Shucen Ma, Jianqi Shi, Yanhong Huang, Shengchao Qin, Zhe Hou
2022 J jnl
Minimal-unsatisfiable-core-driven Local Explainability Analysis for Random Forest.
Int. J. Softw. Informatics
Shucen Ma, Jianqi Shi, Yanhong Huang, Shengchao Qin, Zhe Hou
2022 J jnl
Parallel computational tree logic model-checking on pushdown systems.
Concurr. Comput. Pract. Exp.
Xin Ye, Jianqi Shi, Yanhong Huang, Qin Li, Hansheng Wei, Xinyu Chen
2022 J jnl
Programmable Logic Controllers Past Linear Temporal Logic for Monitoring Applications in Industrial Control Systems.
IEEE Trans. Ind. Informatics
Xia Mao, Xin Li, Yanhong Huang, Jianqi Shi, Yueling Zhang
2022 J jnl
Transcriptome analysis method based on differential distribution evaluation.
Briefings Bioinform.
Yiwei Meng, Yanhong Huang, Xiao Chang, Xiaoping Liu, Luonan Chen
2021 B conf
A Formal Method for Evaluating the Performance of TSN Traffic Shapers using UPPAAL.
LCN
Wang Guo, Yanhong Huang, Jianqi Shi, Zhe Hou, Yang Yang
2021 J jnl
A Multi-Agent Spatial Logic for Scenario-Based Decision Modeling and Verification in Platoon Systems.
J. Comput. Sci. Technol.
Jingwen Xu, Yanhong Huang, Jianqi Shi, Shengchao Qin
2021 Misc conf
A Timed Automata based Automatic Framework for Verifying STL Properties of Simulink Models.
TASE
Miao Tian, Jianqi Shi, Zhe Hou, Yanhong Huang, Shengchao Qin
2021 J jnl
A deep convolution generative adversarial networks based fuzzing framework for industry control protocols.
J. Intell. Manuf.
Wanyou Lv, Jiawen Xiong, Jianqi Shi, Yanhong Huang, Shengchao Qin
2021 — conf
Accurate Recognition of Wine Grape Based on Multi-source Satellite Data.
Agro-Geoinformatics
Wenjie Li, Lingbo Yang, Yanhong Huang, Yan Chen, Jingfeng Huang
2021 J jnl
Automated test generation for IEC 61131-3 ST programs via dynamic symbolic execution.
Sci. Comput. Program.
Weigang He, Jianqi Shi, Ting Su, Zeyu Lu, Li Hao, Yanhong Huang
2021 C conf
Data Flow Testing for PLC Programs via Dynamic Symbolic Execution.
APSEC
Weigang He, Xia Mao, Ting Su, Yanhong Huang, Jianqi Shi
2021 J jnl
Disease characterization using a partial correlation-based sample-specific network.
Briefings Bioinform.
Yanhong Huang, Xiao Chang, Yu Zhang, Luonan Chen, Xiaoping Liu
2021 C conf
Dynamically Detecting Invariants for Automatic Testing PLC Programs (S).
SEKE
Zeyu Lu, Xia Mao, Yanhong Huang, Jianqi Shi, Yang Yang
2021 J jnl
Extracting Optimal Explanations for Ensemble Trees via Logical Reasoning.
CoRR
Gelin Zhang, Zhe Hou, Yanhong Huang, Jianqi Shi, Hadrien Bride, Jin Song Dong, Yongsheng Gao
2021 J jnl
General past-time linear temporal logic specification mining.
CCF Trans. High Perform. Comput.
Jianqi Shi, Jiawen Xiong, Yanhong Huang
2021 J jnl
Safety Verification of IEC 61131-3 Structured Text Programs.
IEEE Trans. Ind. Informatics
Jiawen Xiong, Xiangxing Bu, Yanhong Huang, Jianqi Shi, Weigang He
2021 C conf
Tree Ensemble Property Verification from A Testing Perspective.
SEKE
Bohao Wang, Zhe Hou, Gelin Zhang, Jianqi Shi, Yanhong Huang
2020 C conf
A Novel Self-Attention Based Automatic Code Completion Neural Network.
SEKE
Bohao Wang, Wanyou Lv, Jianqi Shi, Yanhong Huang
2020 C conf
Fault Diagnosis of Simplified Fault Trees using State Transition Diagrams.
APSEC
Mingyue Jiao, Yanhong Huang, Jianqi Shi, Fangda Cai, Rongfeng Lin
2020 J jnl
Modeling and Verification of A Timing Protection Mechanism in the OSEK/VDX OS using CSP.
Formal Aspects Comput.
Yanhong Huang, Haiping Pang, Jianqi Shi
2020 C conf
VARF: Verifying and Analyzing Robustness of Random Forests.
ICFEM
Chaoqun Nie, Jianqi Shi, Yanhong Huang
2019 J jnl
A Decomposition-Based Development Method for Industrial Control Systems.
IEEE Access
Jiawen Xiong, Ju Li, Jianqi Shi, Yanhong Huang
2019 J jnl
A Feasibility Analysis Framework of Time-Sensitive Networking Using Real-Time Calculus.
IEEE Access
Peng Zhang, Yu Liu, Jianqi Shi, Yanhong Huang, Yongxin Zhao
2019 J jnl
A Novel Deep Intrusion Detection Model Based On a Convolutional Neural Network.
Aust. J. Intell. Inf. Process. Syst.
Neng Fu, Nuerbiye Kamili, Yanhong Huang, Jianqi Shi
2019 J jnl
An Intelligent Fuzzing Data Generation Method Based on Deep Adversarial Learning.
IEEE Access
Zhihui Li, Hui Zhao, Jianqi Shi, Yanhong Huang, Jiawen Xiong
2019 — conf
Automated Mining and Checking of Formal Properties in Natural Language Requirements.
KSEM (2)
Xingxing Pi, Jianqi Shi, Yanhong Huang, Hansheng Wei
2019 Misc conf
Automated Test Generation for IEC 61131-3 ST Programs via Dynamic Symbolic Execution.
TASE
Li Hao, Jianqi Shi, Ting Su, Yanhong Huang
2019 — conf
Estimating Tea Plantation Area Based on Multi-source Satellite Data.
Agro-Geoinformatics
Yanhong Huang, Shirui Li, Lingbo Yuang, Jiefeng Cheng, Wenjie Li, Yan Chen, Jingfeng Huang
2019 J jnl
KST: Executable Formal Semantics of IEC 61131-3 Structured Text for Verification.
IEEE Access
Yanhong Huang, Xiangxing Bu, Gang Zhu, Xin Ye, Xiaoran Zhu, Jianqi Shi
2019 — conf
ParaMoC: A Parallel Model Checker for Pushdown Systems.
ICA3PP (2)
Hansheng Wei, Xin Ye, Jianqi Shi, Yanhong Huang
2019 — conf
Scade2Nu : A Tool for Verifying Safety Requirements of SCADE Models with Temporal Specifications.
REFSQ Workshops
Jian Shi, Jianqi Shi, Yanhong Huang, Jiawen Xiong, Qing She
2019 A conf
SeqFuzzer: An Industrial Protocol Fuzzing Framework from a Deep Learning Perspective.
ICST
Hui Zhao, Zhihui Li, Hansheng Wei, Jianqi Shi, Yanhong Huang
2018 — conf
Efficient Parallel CTL Model-Checking for Pushdown Systems.
ISPA/IUCC/BDCloud/SocialCom/SustainCom
Xinyu Chen, Hansheng Wei, Xin Ye, Li Hao, Yanhong Huang, Jianqi Shi
2018 — conf
GANFuzz: a GAN-based industrial network protocol fuzzing framework.
CF
Zhicheng Hu, Jianqi Shi, Yanhong Huang, Jiawen Xiong, Xiangxing Bu
2018 — conf
Parallel Model Checking on Pushdown Systems.
ISPA/IUCC/BDCloud/SocialCom/SustainCom
Hansheng Wei, Xinyu Chen, Xin Ye, Neng Fu, Yanhong Huang, Jianqi Shi
2017 B conf
Decomposition and Collaboration of Industrial Control System with Resource Constraints.
ICECCS
Ju Li, Jiawen Xiong, Xia Mao, Jianqi Shi, Xin Ye, Yanhong Huang
2016 C conf
Formalization and Verification of the Powerlink Protocol Using CSP.
APSEC
Haiping Pang, Ju Li, Yijia Ruan, Yanhong Huang, Jianqi Shi, Shengchao Qin
2015 B conf
A Formal Framework for Reasoning Emergent Behaviors in Swarm Robotic Systems.
ICECCS
Qin Li, Jinxun Wang, Qiwen Xu, Yanhong Huang, Huibiao Zhu
2015 — conf
Modeling and Verifying the Ballooning in Xen with CSP.
HASE
Luyao Wang, Fengwei Sui, Yanhong Huang, Huibiao Zhu
2015 B conf
Probabilistic Denotational Semantics for an Interrupt Modelling Language.
ICECCS
Yanhong Huang, Yongxin Zhao, Shengchao Qin, Jifeng He
2015 J jnl
Semantic theories of programs with nested interrupts.
Frontiers Comput. Sci.
Yanhong Huang, Jifeng He, Huibiao Zhu, Yongxin Zhao, Jianqi Shi, Shengchao Qin
2014 J jnl
Investigating System Survivability from a Probabilistic Perspective.
IEICE Trans. Inf. Syst.
Yongxin Zhao, Yanhong Huang, Qin Li, Huibiao Zhu, Jifeng He, Jianwen Li, Xi Wu
2014 — conf
pIML - An Interrupt Program Modelling Language for Real-Time and Embedded Systems.
APSEC (1)
Xin Li, Yanhong Huang, Jianqi Shi, Jian Guo, Huibiao Zhu, Yuanmin Xu
2013 — conf
A Denotational Model for Interrupt-Driven Programs.
ICST Workshops
Yanhong Huang, Yongxin Zhao, Jianqi Shi, Huibiao Zhu
2013 C conf
Deadline Analysis of AUTOSAR OS Periodic Tasks in the Presence of Interrupts.
ICFEM
Yanhong Huang, João F. Ferreira, Guanhua He, Shengchao Qin, Jifeng He
2013 Misc conf
Modeling and Verification of AUTOSAR OS and EMS Application.
TASE
Yunhui Peng, Yanhong Huang, Ting Su, Jian Guo
2012 C conf
A Timed CSP Model for the Time-Triggered Language Giotto.
SEW
Yanhong Huang, Yongxin Zhao, Shengchao Qin, Guanhua He, João F. Ferreira
2012 Misc conf
Binary Code Level Verification for Interrupt Safety Properties of Real-Time Operating System.
TASE
Jianqi Shi, Longfei Zhu, Yanhong Huang, Jian Guo, Huibiao Zhu, Huixing Fang, Xin Ye
2012 — conf
Investigating Time Properties of Interrupt-Driven Programs.
SBMF
Yanhong Huang, Yongxin Zhao, Jianqi Shi, Huibiao Zhu, Shengchao Qin
2012 B conf
ORIENTAIS: Formal Verified OSEK/VDX Real-Time Operating System.
ICECCS
Jianqi Shi, Jifeng He, Huibiao Zhu, Huixing Fang, Yanhong Huang, Xiaoxian Zhang
2011 B conf
Formal Model of Interrupt Program from a Probabilistic Perspective.
ICECCS
Yongxin Zhao, Yanhong Huang, Jifeng He, Si Liu
2011 Misc conf
Formalizing Application Programming Interfaces of the OSEK/VDX Operating System Specification.
TASE
Longfei Zhu, Min Zhang, Yanhong Huang, Jianqi Shi, Huibiao Zhu
2011 Misc conf
Modeling and Verifying the Code-Level OSEK/VDX Operating System with CSP.
TASE
Yanhong Huang, Yongxin Zhao, Longfei Zhu, Qin Li, Huibiao Zhu, Jianqi Shi
2010 Misc conf
Probabilistic Model of System Survivability.
TASE
Yongxin Zhao, Yanhong Huang, Jianwen Li, Huibiao Zhu