( en | de | ru )

 

Disambiguation of "Yu, Hengbiao"

Author of the publication

copydeleteadd this publication to your clipboard
Symbolic verification of regular properties.

, , , , and . ICSE, page 871-881. ACM, (2018)

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.

Hengbiao Liu

Yu-Ting Yu

Yu-Yu Su

Sze-Man Yu

Metal complexes with enolatoimine ligands for controlled olefin polymerizations. Uni Konstanz, (2009)

Zhejun Yu

 

Other publications of authors with the same name

Symbolic Verification of MPI Programs with Non-deterministic Synchronizations., , , and . SETTA, volume 12153 of Lecture Notes in Computer Science, page 160-176. Springer, (2020)Input Validation for Neural Networks via Local Robustness Verification., , , , and . QRS Companion, page 237-246. IEEE, (2023)MPI-SV: a symbolic verifier for MPI programs., , , and . ICSE (Companion Volume), page 93-96. ACM, (2020)The Java Pathfinder Workshop 2019., , , , , , , , , and 28 other author(s). ACM SIGSOFT Softw. Eng. Notes, 45 (2): 20-22 (2020)Combining Symbolic Execution and Model Checking to Verify MPI Programs., , , , , , and . CoRR, (2018)An Operational Semantics for Model Checking Long Running Transactions., , and . WS-FM, volume 8379 of Lecture Notes in Computer Science, page 168-187. Springer, (2013)Combining symbolic execution and model checking to verify MPI programs.. ICSE (Companion Volume), page 527-530. ACM, (2018)Symbolic verification of regular properties., , , , and . ICSE, page 871-881. ACM, (2018)Evaluation of model checkers by verifying message passing programs., , , and . Sci. China Inf. Sci., 62 (10): 200101:1-200101:24 (2019)Boosting the Robustness Verification of DNN by Identifying the Achilles's Heel., , , , , and . CoRR, (2018)