Yanhong Huang

Orcid: 0000-0003-2102-4303

According to our database¹, Yanhong Huang authored at least 71 papers between 2010 and 2024.

Collaborative distances:

Dijkstra number² of three.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2024

Automated Test Cases Generator for IEC 61131-3 Structured Text Based Dynamic Symbolic Execution.

[BibT_eX]

[DOI]

IEEE Trans. Computers, April, 2024

Computing minimal unsatisfiable core for LTL over finite traces.

[BibT_eX]

[DOI]

J. Log. Comput., 2024

OpenECAD: An Efficient Visual Language Model for Computer-Aided Design.

[BibT_eX]

[DOI]

Zhe Yuan

Jianqi Shi

Yanhong Huang

CoRR, 2024

OpenECAD: An efficient visual language model for editable 3D-CAD design.

[BibT_eX]

[DOI]

Zhe Yuan

Jianqi Shi

Yanhong Huang

Comput. Graph., 2024

NL2CTL: Automatic Generation of Formal Requirements Specifications via Large Language Models.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2024

Graph Convolutional Network Robustness Verification Algorithm Based on Dual Approximation.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2024

2023

A Federated Framework for Edge Computing Devices with Collaborative Fairness and Adversarial Robustness.

[BibT_eX]

[DOI]

J. Grid Comput., September, 2023

Extracting optimal explanations for ensemble trees via automated reasoning.

[BibT_eX]

[DOI]

Appl. Intell., June, 2023

A Tool for Transforming SysML State Machine into Uppaal Automatically.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2023

LTLf Satisfiability Checking via Formula Progression (S).

[BibT_eX]

[DOI]

Proceedings of the 35th International Conference on Software Engineering and Knowledge Engineering, 2023

Improving Single-Step Adversarial Training By Local Smoothing.

[BibT_eX]

[DOI]

Proceedings of the International Joint Conference on Neural Networks, 2023

2022

Programmable Logic Controllers Past Linear Temporal Logic for Monitoring Applications in Industrial Control Systems.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Informatics, 2022

A refinement development approach for enhancing the safety of PLC programs with Event-B.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2022

Minimal-unsatisfiable-core-driven Local Explainability Analysis for Random Forest.

[BibT_eX]

[DOI]

Int. J. Softw. Informatics, 2022

MUC-driven Feature Importance Measurement and Adversarial Analysis for Random Forest.

[BibT_eX]

[DOI]

CoRR, 2022

Parallel computational tree logic model-checking on pushdown systems.

[BibT_eX]

[DOI]

Concurr. Comput. Pract. Exp., 2022

Improved discrete imperialist competition algorithm for order scheduling of automated warehouses.

[BibT_eX]

[DOI]

Bo Yan

Yanping Liu

Yanhong Huang

Comput. Ind. Eng., 2022

Identifying network biomarkers of cancer by sample-specific differential network.

[BibT_eX]

[DOI]

BMC Bioinform., 2022

Transcriptome analysis method based on differential distribution evaluation.

[BibT_eX]

[DOI]

Briefings Bioinform., 2022

A Federated Model Personalisation Method Based on Sparsity Representation and Clustering.

[BibT_eX]

[DOI]

Proceedings of the 34th International Conference on Software Engineering and Knowledge Engineering, 2022

Fast Deep Multi-patch Progressive Network for Low-light Image Enhancement in Intelligent Transportation Systems.

[BibT_eX]

[DOI]

Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2022

2021

Safety Verification of IEC 61131-3 Structured Text Programs.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Informatics, 2021

Automated test generation for IEC 61131-3 ST programs via dynamic symbolic execution.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2021

A deep convolution generative adversarial networks based fuzzing framework for industry control protocols.

[BibT_eX]

[DOI]

J. Intell. Manuf., 2021

A Multi-Agent Spatial Logic for Scenario-Based Decision Modeling and Verification in Platoon Systems.

[BibT_eX]

[DOI]

J. Comput. Sci. Technol., 2021

Extracting Optimal Explanations for Ensemble Trees via Logical Reasoning.

[BibT_eX]

[DOI]

CoRR, 2021

General past-time linear temporal logic specification mining.

[BibT_eX]

[DOI]

Jianqi Shi

Jiawen Xiong

Yanhong Huang

CCF Trans. High Perform. Comput., 2021

Disease characterization using a partial correlation-based sample-specific network.

[BibT_eX]

[DOI]

Briefings Bioinform., 2021

A Timed Automata based Automatic Framework for Verifying STL Properties of Simulink Models.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2021

Tree Ensemble Property Verification from A Testing Perspective.

[BibT_eX]

[DOI]

Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021

Dynamically Detecting Invariants for Automatic Testing PLC Programs (S).

[BibT_eX]

[DOI]

Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021

A Formal Method for Evaluating the Performance of TSN Traffic Shapers using UPPAAL.

[BibT_eX]

[DOI]

Proceedings of the 46th IEEE Conference on Local Computer Networks, 2021

Data Flow Testing for PLC Programs via Dynamic Symbolic Execution.

[BibT_eX]

[DOI]

Proceedings of the 28th Asia-Pacific Software Engineering Conference, 2021

Accurate Recognition of Wine Grape Based on Multi-source Satellite Data.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Agro-Geoinformatics, 2021

2020

Modeling and Verification of A Timing Protection Mechanism in the OSEK/VDX OS using CSP.

[BibT_eX]

[DOI]

Yanhong Huang

Haiping Pang

Jianqi Shi

Formal Aspects Comput., 2020

A Novel Self-Attention Based Automatic Code Completion Neural Network.

[BibT_eX]

[DOI]

Proceedings of the 32nd International Conference on Software Engineering and Knowledge Engineering, 2020

VARF: Verifying and Analyzing Robustness of Random Forests.

[BibT_eX]

[DOI]

Chaoqun Nie

Jianqi Shi

Yanhong Huang

Proceedings of the Formal Methods and Software Engineering, 2020

Fault Diagnosis of Simplified Fault Trees using State Transition Diagrams.

[BibT_eX]

[DOI]

Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020

2019

A Novel Deep Intrusion Detection Model Based On a Convolutional Neural Network.

[BibT_eX]

[DOI]

Aust. J. Intell. Inf. Process. Syst., 2019

A Feasibility Analysis Framework of Time-Sensitive Networking Using Real-Time Calculus.

[BibT_eX]

[DOI]

IEEE Access, 2019

A Decomposition-Based Development Method for Industrial Control Systems.

[BibT_eX]

[DOI]

IEEE Access, 2019

An Intelligent Fuzzing Data Generation Method Based on Deep Adversarial Learning.

[BibT_eX]

[DOI]

IEEE Access, 2019

KST: Executable Formal Semantics of IEC 61131-3 Structured Text for Verification.

[BibT_eX]

[DOI]

IEEE Access, 2019

Automated Test Generation for IEC 61131-3 ST Programs via Dynamic Symbolic Execution.

[BibT_eX]

[DOI]

Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

Scade2Nu : A Tool for Verifying Safety Requirements of SCADE Models with Temporal Specifications.

[BibT_eX]

[DOI]

Proceedings of the Joint Proceedings of REFSQ-2019 Workshops, 2019

Automated Mining and Checking of Formal Properties in Natural Language Requirements.

[BibT_eX]

[DOI]

Proceedings of the Knowledge Science, Engineering and Management, 2019

SeqFuzzer: An Industrial Protocol Fuzzing Framework from a Deep Learning Perspective.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019

ParaMoC: A Parallel Model Checker for Pushdown Systems.

[BibT_eX]

[DOI]

Proceedings of the Algorithms and Architectures for Parallel Processing, 2019

Estimating Tea Plantation Area Based on Multi-source Satellite Data.

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Agro-Geoinformatics, 2019

2018

Parallel Model Checking on Pushdown Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Parallel & Distributed Processing with Applications, 2018

Efficient Parallel CTL Model-Checking for Pushdown Systems.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Parallel & Distributed Processing with Applications, 2018

GANFuzz: a GAN-based industrial network protocol fuzzing framework.

[BibT_eX]

[DOI]

Proceedings of the 15th ACM International Conference on Computing Frontiers, 2018

2017

Decomposition and Collaboration of Industrial Control System with Resource Constraints.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on Engineering of Complex Computer Systems, 2017

2016

Formalization and Verification of the Powerlink Protocol Using CSP.

[BibT_eX]

[DOI]

Proceedings of the 23rd Asia-Pacific Software Engineering Conference, 2016

2015

Semantic theories of programs with nested interrupts.

[BibT_eX]

[DOI]

Frontiers Comput. Sci., 2015

A Formal Framework for Reasoning Emergent Behaviors in Swarm Robotic Systems.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015

Probabilistic Denotational Semantics for an Interrupt Modelling Language.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015

Modeling and Verifying the Ballooning in Xen with CSP.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015

2014

Investigating System Survivability from a Probabilistic Perspective.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., 2014

pIML - An Interrupt Program Modelling Language for Real-Time and Embedded Systems.

[BibT_eX]

[DOI]

Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

2013

Modeling and Verification of AUTOSAR OS and EMS Application.

[BibT_eX]

[DOI]

Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

A Denotational Model for Interrupt-Driven Programs.

[BibT_eX]

[DOI]

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Deadline Analysis of AUTOSAR OS Periodic Tasks in the Presence of Interrupts.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2013

2012

Binary Code Level Verification for Interrupt Safety Properties of Real-Time Operating System.

[BibT_eX]

[DOI]

Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

A Timed CSP Model for the Time-Triggered Language Giotto.

[BibT_eX]

[DOI]

Proceedings of the 35th Annual IEEE Software Engineering Workshop, 2012

Investigating Time Properties of Interrupt-Driven Programs.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods: Foundations and Applications - 15th Brazilian Symposium, 2012

ORIENTAIS: Formal Verified OSEK/VDX Real-Time Operating System.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

2011

Formalizing Application Programming Interfaces of the OSEK/VDX Operating System Specification.

[BibT_eX]

[DOI]

Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

Modeling and Verifying the Code-Level OSEK/VDX Operating System with CSP.

[BibT_eX]

[DOI]

Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

Formal Model of Interrupt Program from a Probabilistic Perspective.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

2010

Probabilistic Model of System Survivability.

[BibT_eX]

[DOI]

Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010

Yanhong Huang

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...