Yanhong Huang

According to our database1, Yanhong Huang authored at least 39 papers between 2010 and 2021.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
Safety Verification of IEC 61131-3 Structured Text Programs.
IEEE Trans. Ind. Informatics, 2021

A deep convolution generative adversarial networks based fuzzing framework for industry control protocols.
J. Intell. Manuf., 2021

Extracting Optimal Explanations for Ensemble Trees via Logical Reasoning.
CoRR, 2021

2020
Modeling and Verification of A Timing Protection Mechanism in the OSEK/VDX OS using CSP.
Formal Aspects Comput., 2020

A Novel Self-Attention Based Automatic Code Completion Neural Network.
Proceedings of the 32nd International Conference on Software Engineering and Knowledge Engineering, 2020

VARF: Verifying and Analyzing Robustness of Random Forests.
Proceedings of the Formal Methods and Software Engineering, 2020

2019
A Novel Deep Intrusion Detection Model Based On a Convolutional Neural Network.
Aust. J. Intell. Inf. Process. Syst., 2019

A Feasibility Analysis Framework of Time-Sensitive Networking Using Real-Time Calculus.
IEEE Access, 2019

A Decomposition-Based Development Method for Industrial Control Systems.
IEEE Access, 2019

An Intelligent Fuzzing Data Generation Method Based on Deep Adversarial Learning.
IEEE Access, 2019

KST: Executable Formal Semantics of IEC 61131-3 Structured Text for Verification.
IEEE Access, 2019

Automated Test Generation for IEC 61131-3 ST Programs via Dynamic Symbolic Execution.
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.
Proceedings of the Joint Proceedings of REFSQ-2019 Workshops, 2019

Automated Mining and Checking of Formal Properties in Natural Language Requirements.
Proceedings of the Knowledge Science, Engineering and Management, 2019

SeqFuzzer: An Industrial Protocol Fuzzing Framework from a Deep Learning Perspective.
Proceedings of the 12th IEEE Conference on Software Testing, Validation and Verification, 2019

ParaMoC: A Parallel Model Checker for Pushdown Systems.
Proceedings of the Algorithms and Architectures for Parallel Processing, 2019

Estimating Tea Plantation Area Based on Multi-source Satellite Data.
Proceedings of the 8th International Conference on Agro-Geoinformatics, 2019

2018
Parallel Model Checking on Pushdown Systems.
Proceedings of the IEEE International Conference on Parallel & Distributed Processing with Applications, 2018

Efficient Parallel CTL Model-Checking for Pushdown Systems.
Proceedings of the IEEE International Conference on Parallel & Distributed Processing with Applications, 2018

GANFuzz: a GAN-based industrial network protocol fuzzing framework.
Proceedings of the 15th ACM International Conference on Computing Frontiers, 2018

2017
Decomposition and Collaboration of Industrial Control System with Resource Constraints.
Proceedings of the 22nd International Conference on Engineering of Complex Computer Systems, 2017

2016
Formalization and Verification of the Powerlink Protocol Using CSP.
Proceedings of the 23rd Asia-Pacific Software Engineering Conference, 2016

2015
Semantic theories of programs with nested interrupts.
Frontiers Comput. Sci., 2015

A Formal Framework for Reasoning Emergent Behaviors in Swarm Robotic Systems.
Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015

Probabilistic Denotational Semantics for an Interrupt Modelling Language.
Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015

Modeling and Verifying the Ballooning in Xen with CSP.
Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015

2014
Investigating System Survivability from a Probabilistic Perspective.
IEICE Trans. Inf. Syst., 2014

pIML - An Interrupt Program Modelling Language for Real-Time and Embedded Systems.
Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

2013
Modeling and Verification of AUTOSAR OS and EMS Application.
Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013

A Denotational Model for Interrupt-Driven Programs.
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Deadline Analysis of AUTOSAR OS Periodic Tasks in the Presence of Interrupts.
Proceedings of the Formal Methods and Software Engineering, 2013

2012
Binary Code Level Verification for Interrupt Safety Properties of Real-Time Operating System.
Proceedings of the Sixth International Symposium on Theoretical Aspects of Software Engineering, 2012

A Timed CSP Model for the Time-Triggered Language Giotto.
Proceedings of the 35th Annual IEEE Software Engineering Workshop, 2012

Investigating Time Properties of Interrupt-Driven Programs.
Proceedings of the Formal Methods: Foundations and Applications - 15th Brazilian Symposium, 2012

ORIENTAIS: Formal Verified OSEK/VDX Real-Time Operating System.
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.
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.
Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011

Formal Model of Interrupt Program from a Probabilistic Perspective.
Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011

2010
Probabilistic Model of System Survivability.
Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010


  Loading...