( en | de | ru )

 

Disambiguation of "Kong, Weiqiang"

Author of the publication

copydeleteadd this publication to your clipboard
On Accelerating SMT-based Bounded Model Checking of HSTM Designs.

, , , , , and . APSEC, page 614-623. IEEE, (2012)

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.

Weiqiang Dou

Thay Kong

Xiangqing Kong

Seunghyun Kong

Deming Kong

 

Other publications of authors with the same name

A Branch History Directed Heuristic Search for Effective Binary Level Dynamic Symbolic Execution., , , and . IEEE Access, (2017)Formal Analysis of an Anonymous Fair Exchange E-Commerce Protocol., , , and . CIT, page 1100-1107. IEEE Computer Society, (2004)Formal Verification of Communicating HSTM Designs., , , , and . CIT, page 383-390. IEEE Computer Society, (2012)Bounded Model Checking of Synchronous Reactive Models in Ptolemy II., , , and . APSEC, page 407-416. IEEE, (2022)Multilevel Permission Extraction in Android Applications for Malware Detection., , , , and . CITS, page 1-5. IEEE, (2019)A Single-sample Pruning and Clustering Method for Neural Network Verification., , , , and . APSEC, page 319-328. IEEE, (2023)Towards Formal Description of Standards for Automotive Operating Systems., , , , , , and . ICST Workshops, page 13-14. IEEE Computer Society, (2013)Analysis of Positive Incentives for Protecting Secrets in Digital Rights Management., , , and . WEBIST (2), page 5-12. INSTICC Press, (2006)Compiler Testing: A Systematic Literature Analysis., , , and . CoRR, (2018)A dynamic channel assignment method based on location information of mobile terminals in indoor WLAN positioning systems., , , , , and . IPIN, page 1-9. IEEE, (2012)