Weijiang Hong

Orcid: 0000-0002-7092-3658

According to our database1, Weijiang Hong authored at least 15 papers between 2016 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
Verification of message-passing uninterpreted programs.
Sci. Comput. Program., 2024

2023
Formal Verification Based Synthesis for Behavior Trees.
Proceedings of the Dependable Software Engineering. Theories, Tools, and Applications, 2023

CSP based Formal Modeling and Verification of Behavior Trees.
Proceedings of the 23rd IEEE International Conference on Software Quality, 2023

2022
Collaborative Verification of Uninterpreted Programs.
Proceedings of the Theoretical Aspects of Software Engineering, 2022

2021
A Robustness-Oriented Data Augmentation Method for DNN.
Proceedings of the 21st IEEE International Conference on Software Quality, 2021

Trace Abstraction-Based Verification for Uninterpreted Programs.
Proceedings of the Formal Methods - 24th International Symposium, 2021

2020
Modified condition/decision coverage (MC/DC) oriented compiler optimization for symbolic execution.
Frontiers Inf. Technol. Electron. Eng., 2020

Styx: A Data-Oriented Mutation Framework to Improve the Robustness of DNN.
Proceedings of the 35th IEEE/ACM International Conference on Automated Software Engineering, 2020

Graph Neural Network-based Vulnerability Predication.
Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2020

2019
Reasoning about connectors using Coq and Z3.
Sci. Comput. Program., 2019

Evaluation of model checkers by verifying message passing programs.
Sci. China Inf. Sci., 2019

Using Recurrent Neural Network to Predict Tactics for Proving Component Connector Properties in Coq.
Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

2018
Boosting the Robustness Verification of DNN by Identifying the Achilles's Heel.
CoRR, 2018

2017
Using Coq for Formal Modeling and Verification of Timed Connectors.
Proceedings of the Software Engineering and Formal Methods, 2017

2016
Reasoning About Connectors in Coq.
Proceedings of the Formal Aspects of Component Software - 13th International Conference, 2016


  Loading...