default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDYanhong Huang
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2025
[j28]Boxing Zhang, Jingxian Liu, Ryan Wen Liu
, Yanhong Huang:
Deep-learning-empowered visual ship detection and tracking: Literature review and future direction. Eng. Appl. Artif. Intell. 141: 109754 (2025)- [j27]Yanhong Huang, Ryan Wen Liu, Yijing Lin, Jiawen Kang, Fenghua Zhu, Fei-Yue Wang:
FLCSDet: Federated Learning-Driven Cross-Spatial Vessel Detection for Maritime Surveillance With Privacy Preservation. IEEE Trans. Intell. Transp. Syst. 26(1): 1177-1192 (2025) - 2024
- [j26]Zhe Yuan, Jianqi Shi, Yanhong Huang:
OpenECAD: An efficient visual language model for editable 3D-CAD design. Comput. Graph. 124: 104048 (2024) - [j25]Tong Niu, Shengping Xiao, Xiaoyu Zhang, Jianwen Li, Yanhong Huang, Jianqi Shi:
Computing minimal unsatisfiable core for LTL over finite traces. J. Log. Comput. 34(7): 1274-1294 (2024) - [j24]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) - [c42]Mengyan Zhao, Ran Tao, Yanhong Huang, Jianqi Shi, Shengchao Qin, Yang Yang:
NL2CTL: Automatic Generation of Formal Requirements Specifications via Large Language Models. ICFEM 2024: 1-17 - [c41]Dongdong An, Hao Zhang, Qin Zhao, Jing Liu, Jianqi Shi, Yanhong Huang, Yang Yang, Xu Liu, Shengchao Qin:
Graph Convolutional Network Robustness Verification Algorithm Based on Dual Approximation. ICFEM 2024: 146-161 - [i3]Zhe Yuan, Jianqi Shi, Yanhong Huang:
OpenECAD: An Efficient Visual Language Model for Computer-Aided Design. CoRR abs/2406.09913 (2024) - 2023
- [j23]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) - [j22]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) - [c40]Shaopeng Wang, Yanhong Huang, Jianqi Shi, Yang Yang, Xin Guo:
Improving Single-Step Adversarial Training By Local Smoothing. IJCNN 2023: 1-8 - [c39]Tong Niu, Yicong Xu, Shengping Xiao, Lili Xiao, Yanhong Huang, Jianwen Li:
LTLf Satisfiability Checking via Formula Progression (S). SEKE 2023: 357-362 - [c38]Shaopeng Wang, Jianqi Shi, Yanhong Huang, Yang Yang:
A Tool for Transforming SysML State Machine into Uppaal Automatically. SMC 2023: 2471-2476 - 2022
- [j21]Yiwei Meng, Yanhong Huang, Xiao Chang, Xiaoping Liu, Luonan Chen:
Transcriptome analysis method based on differential distribution evaluation. Briefings Bioinform. 23(2) (2022) - [j20]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) - [j19]Bo Yan, Yanping Liu, Yanhong Huang:
Improved discrete imperialist competition algorithm for order scheduling of automated warehouses. Comput. Ind. Eng. 168: 108075 (2022) - [j18]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) - [j17]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) - [j16]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) - [j15]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) - [c37]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 - [c36]Hailin Yang, Yanhong Huang, Jianqi Shi, Fangda Cai:
A Federated Model Personalisation Method Based on Sparsity Representation and Clustering. SEKE 2022: 160-165 - [i2]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) - 2021
- [j14]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) - [j13]Jianqi Shi, Jiawen Xiong, Yanhong Huang:
General past-time linear temporal logic specification mining. CCF Trans. High Perform. Comput. 3(4): 393-406 (2021) - [j12]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) - [j11]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) - [j10]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) - [j9]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) - [c35]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 - [c34]Weigang He, Xia Mao, Ting Su, Yanhong Huang, Jianqi Shi:
Data Flow Testing for PLC Programs via Dynamic Symbolic Execution. APSEC 2021: 152-160 - [c33]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 - [c32]Bohao Wang, Zhe Hou, Gelin Zhang, Jianqi Shi, Yanhong Huang:
Tree Ensemble Property Verification from A Testing Perspective. SEKE 2021: 166-171 - [c31]Zeyu Lu, Xia Mao, Yanhong Huang, Jianqi Shi, Yang Yang:
Dynamically Detecting Invariants for Automatic Testing PLC Programs (S). SEKE 2021: 532-537 - [c30]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 - [i1]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) - 2020
- [j8]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) - [c29]Mingyue Jiao, Yanhong Huang, Jianqi Shi, Fangda Cai, Rongfeng Lin:
Fault Diagnosis of Simplified Fault Trees using State Transition Diagrams. APSEC 2020: 11-20 - [c28]Chaoqun Nie, Jianqi Shi, Yanhong Huang:
VARF: Verifying and Analyzing Robustness of Random Forests. ICFEM 2020: 163-178 - [c27]Bohao Wang, Wanyou Lv, Jianqi Shi, Yanhong Huang:
A Novel Self-Attention Based Automatic Code Completion Neural Network. SEKE 2020: 386-391
2010 – 2019
- 2019
- [j7]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) - [j6]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) - [j5]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) - [j4]Jiawen Xiong, Ju Li, Jianqi Shi, Yanhong Huang:
A Decomposition-Based Development Method for Industrial Control Systems. IEEE Access 7: 93161-93174 (2019) - [j3]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) - [c26]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 - [c25]Hansheng Wei, Xin Ye, Jianqi Shi, Yanhong Huang:
ParaMoC: A Parallel Model Checker for Pushdown Systems. ICA3PP (2) 2019: 305-312 - [c24]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 - [c23]Xingxing Pi, Jianqi Shi, Yanhong Huang, Hansheng Wei:
Automated Mining and Checking of Formal Properties in Natural Language Requirements. KSEM (2) 2019: 75-87 - [c22]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 - [c21]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 - 2018
- [c20]Zhicheng Hu, Jianqi Shi, Yanhong Huang, Jiawen Xiong, Xiangxing Bu:
GANFuzz: a GAN-based industrial network protocol fuzzing framework. CF 2018: 138-145 - [c19]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 - [c18]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 - 2017
- [c17]Ju Li, Jiawen Xiong, Xia Mao, Jianqi Shi, Xin Ye, Yanhong Huang:
Decomposition and Collaboration of Industrial Control System with Resource Constraints. ICECCS 2017: 162-165 - 2016
- [c16]Haiping Pang, Ju Li, Yijia Ruan, Yanhong Huang, Jianqi Shi, Shengchao Qin:
Formalization and Verification of the Powerlink Protocol Using CSP. APSEC 2016: 321-328 - 2015
- [j2]Yanhong Huang, Jifeng He, Huibiao Zhu, Yongxin Zhao, Jianqi Shi, Shengchao Qin:
Semantic theories of programs with nested interrupts. Frontiers Comput. Sci. 9(3): 331-345 (2015) - [c15]Luyao Wang, Fengwei Sui, Yanhong Huang, Huibiao Zhu:
Modeling and Verifying the Ballooning in Xen with CSP. HASE 2015: 18-25 - [c14]Qin Li, Jinxun Wang, Qiwen Xu, Yanhong Huang, Huibiao Zhu:
A Formal Framework for Reasoning Emergent Behaviors in Swarm Robotic Systems. ICECCS 2015: 150-159 - [c13]Yanhong Huang, Yongxin Zhao, Shengchao Qin, Jifeng He:
Probabilistic Denotational Semantics for an Interrupt Modelling Language. ICECCS 2015: 160-169 - 2014
- [j1]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. 97-D(9): 2356-2370 (2014) - [c12]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: 78-85 - 2013
- [c11]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: 165-181 - [c10]Yanhong Huang, Yongxin Zhao, Jianqi Shi, Huibiao Zhu:
A Denotational Model for Interrupt-Driven Programs. ICST Workshops 2013: 15-20 - [c9]Yunhui Peng, Yanhong Huang, Ting Su, Jian Guo:
Modeling and Verification of AUTOSAR OS and EMS Application. TASE 2013: 37-44 - 2012
- [c8]Jianqi Shi, Jifeng He, Huibiao Zhu, Huixing Fang, Yanhong Huang, Xiaoxian Zhang:
ORIENTAIS: Formal Verified OSEK/VDX Real-Time Operating System. ICECCS 2012: 293-301 - [c7]Yanhong Huang, Yongxin Zhao, Jianqi Shi, Huibiao Zhu, Shengchao Qin:
Investigating Time Properties of Interrupt-Driven Programs. SBMF 2012: 131-146 - [c6]Yanhong Huang, Yongxin Zhao, Shengchao Qin, Guanhua He, João F. Ferreira:
A Timed CSP Model for the Time-Triggered Language Giotto. SEW 2012: 110-119 - [c5]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: 223-226 - 2011
- [c4]Yongxin Zhao, Yanhong Huang, Jifeng He, Si Liu:
Formal Model of Interrupt Program from a Probabilistic Perspective. ICECCS 2011: 87-94 - [c3]Longfei Zhu, Min Zhang, Yanhong Huang, Jianqi Shi, Huibiao Zhu:
Formalizing Application Programming Interfaces of the OSEK/VDX Operating System Specification. TASE 2011: 27-34 - [c2]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: 142-149 - 2010
- [c1]Yongxin Zhao, Yanhong Huang, Jianwen Li, Huibiao Zhu:
Probabilistic Model of System Survivability. TASE 2010: 193-200
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-27 00:48 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
