Yanhong Huang
Orcid: 0000-0003-2102-4303
According to our database1,
Yanhong Huang
authored at least 67 papers
between 2010 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2024
Automated Test Cases Generator for IEC 61131-3 Structured Text Based Dynamic Symbolic Execution.
IEEE Trans. Computers, April, 2024
2023
A Federated Framework for Edge Computing Devices with Collaborative Fairness and Adversarial Robustness.
J. Grid Comput., September, 2023
Appl. Intell., June, 2023
Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2023
Proceedings of the 35th International Conference on Software Engineering and Knowledge Engineering, 2023
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.
IEEE Trans. Ind. Informatics, 2022
A refinement development approach for enhancing the safety of PLC programs with Event-B.
Sci. Comput. Program., 2022
Int. J. Softw. Informatics, 2022
MUC-driven Feature Importance Measurement and Adversarial Analysis for Random Forest.
CoRR, 2022
Concurr. Comput. Pract. Exp., 2022
Improved discrete imperialist competition algorithm for order scheduling of automated warehouses.
Comput. Ind. Eng., 2022
BMC Bioinform., 2022
Briefings Bioinform., 2022
A Federated Model Personalisation Method Based on Sparsity Representation and Clustering.
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.
Proceedings of the 25th IEEE International Conference on Intelligent Transportation Systems, 2022
2021
IEEE Trans. Ind. Informatics, 2021
Automated test generation for IEC 61131-3 ST programs via dynamic symbolic execution.
Sci. Comput. Program., 2021
A deep convolution generative adversarial networks based fuzzing framework for industry control protocols.
J. Intell. Manuf., 2021
A Multi-Agent Spatial Logic for Scenario-Based Decision Modeling and Verification in Platoon Systems.
J. Comput. Sci. Technol., 2021
CCF Trans. High Perform. Comput., 2021
Briefings Bioinform., 2021
A Timed Automata based Automatic Framework for Verifying STL Properties of Simulink Models.
Proceedings of the International Symposium on Theoretical Aspects of Software Engineering, 2021
Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021
Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021
Proceedings of the 46th IEEE Conference on Local Computer Networks, 2021
Proceedings of the 28th Asia-Pacific Software Engineering Conference, 2021
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.
Formal Aspects Comput., 2020
Proceedings of the 32nd International Conference on Software Engineering and Knowledge Engineering, 2020
Proceedings of the Formal Methods and Software Engineering, 2020
Proceedings of the 27th Asia-Pacific Software Engineering Conference, 2020
2019
Aust. J. Intell. Inf. Process. Syst., 2019
A Feasibility Analysis Framework of Time-Sensitive Networking Using Real-Time Calculus.
IEEE Access, 2019
IEEE Access, 2019
IEEE Access, 2019
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
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
Proceedings of the Algorithms and Architectures for Parallel Processing, 2019
Proceedings of the 8th International Conference on Agro-Geoinformatics, 2019
2018
Proceedings of the IEEE International Conference on Parallel & Distributed Processing with Applications, 2018
Proceedings of the IEEE International Conference on Parallel & Distributed Processing with Applications, 2018
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
Proceedings of the 23rd Asia-Pacific Software Engineering Conference, 2016
2015
Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015
Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015
Proceedings of the 16th IEEE International Symposium on High Assurance Systems Engineering, 2015
2014
IEICE Trans. Inf. Syst., 2014
Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014
2013
Proceedings of the Seventh International Symposium on Theoretical Aspects of Software Engineering, 2013
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013
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
Proceedings of the 35th Annual IEEE Software Engineering Workshop, 2012
Proceedings of the Formal Methods: Foundations and Applications - 15th Brazilian Symposium, 2012
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
Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011
Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, 2011
2010
Proceedings of the 4th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2010