( en | de | ru )

 

Disambiguation of "Hong, Weijiang"

Author of the publication

copydeleteadd this publication to your clipboard
Reasoning About Connectors in Coq.

, , , and . FACS, volume 10231 of Lecture Notes in Computer Science, page 172-190. (2016)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Weijiang Zhao

Weijiang Wang

Weijiang Zhao

Xin Hong

Kang-hun Hong

 

Other publications of authors with the same name

Using Coq for Formal Modeling and Verification of Timed Connectors., , , , and . SEFM Workshops, volume 10729 of Lecture Notes in Computer Science, page 558-573. Springer, (2017)CSP based Formal Modeling and Verification of Behavior Trees., , , and . QRS Companion, page 1-2. IEEE, (2023)Formal Verification Based Synthesis for Behavior Trees., , , , , and . SETTA, volume 14464 of Lecture Notes in Computer Science, page 72-91. Springer, (2023)Styx: A Data-Oriented Mutation Framework to Improve the Robustness of DNN., , , , , and . ASE, page 1260-1261. IEEE, (2020)Trace Abstraction-Based Verification for Uninterpreted Programs., , , and . FM, volume 13047 of Lecture Notes in Computer Science, page 545-562. Springer, (2021)A Robustness-Oriented Data Augmentation Method for DNN., , , and . QRS Companion, page 1-8. IEEE, (2021)Boosting the Robustness Verification of DNN by Identifying the Achilles's Heel., , , , , and . CoRR, (2018)Graph Neural Network-based Vulnerability Predication., , and . ICSME, page 800-801. IEEE, (2020)Collaborative Verification of Uninterpreted Programs., , , and . TASE, volume 13299 of Lecture Notes in Computer Science, page 148-154. Springer, (2022)Reasoning About Connectors in Coq., , , and . FACS, volume 10231 of Lecture Notes in Computer Science, page 172-190. (2016)