( en | de | ru )

 

Disambiguation of "Shu, Xinfeng"

Author of the publication

copydeleteadd this publication to your clipboard
A Bounded Model Checking Method for Concurrent Systems in xUML4MC.

, and . AIPR, page 236-242. ACM, (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.

Lijin Shu

Shu Zhang

Changshan Shu

Qinghai Shu

Shu Zhang

 

Other publications of authors with the same name

A sound and complete proof system for a unified temporal logic., , , and . Theor. Comput. Sci., (2020)A Bounded Model Checking Method for Concurrent Systems in xUML4MC., and . AIPR, page 236-242. ACM, (2022)Runtime Verification Method for Social Network Security Based on Source Code Instrumentation., , , and . SOFL+MSVL, volume 11392 of Lecture Notes in Computer Science, page 55-70. Springer, (2018)Model Checking Java Programs with MSVL., , , , and . SOFL+MSVL, volume 11392 of Lecture Notes in Computer Science, page 89-107. Springer, (2018)Automatic eBPF program generation method for performance monitoring., and . AIPR, page 1255-1261. ACM, (2023)Automatic Generation of Specification from Natural Language Based on Temporal Logic., , , , and . SOFL+MSVL, volume 12723 of Lecture Notes in Computer Science, page 154-171. Springer, (2020)A decision procedure and complete axiomatization for projection temporal logic., , and . Theor. Comput. Sci., (2020)Analyzing the Behavior of University Students Based on Campus Data., , and . AIPR, page 542-547. ACM, (2021)Research on Military Equipment Entity Recognition and Knowledge Graph Construction Method Based on ALBERT-Bi-LSTM-CRF., , , and . AIPR, page 273-279. ACM, (2021)Model Checking Python Programs with MSVL., , , , , and . SOFL+MSVL, volume 12028 of Lecture Notes in Computer Science, page 205-224. Springer, (2019)