( en | de | ru )

 

Disambiguation of "Kong, Weiqiang"

Author of the publication

copydeleteadd this publication to your clipboard
Formal Verification of Hierarchical Ptolemy II Synchronous-Reactive Models with Bounded Model Checking.

, , , and . QRS, page 410-421. IEEE, (2022)

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

Yuanbo 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)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)Formal Verification of Communicating HSTM Designs., , , , and . CIT, page 383-390. IEEE Computer Society, (2012)Formal Analysis of an Anonymous Fair Exchange E-Commerce Protocol., , , and . CIT, page 1100-1107. IEEE Computer Society, (2004)Towards Formal Description of Standards for Automotive Operating Systems., , , , , , and . ICST Workshops, page 13-14. IEEE Computer Society, (2013)A Single-sample Pruning and Clustering Method for Neural Network Verification., , , , and . APSEC, page 319-328. IEEE, (2023)Analysis of Positive Incentives for Protecting Secrets in Digital Rights Management., , , and . WEBIST (2), page 5-12. INSTICC Press, (2006)A dynamic channel assignment method based on location information of mobile terminals in indoor WLAN positioning systems., , , , , and . IPIN, page 1-9. IEEE, (2012)Compiler Testing: A Systematic Literature Analysis., , , and . CoRR, (2018)