The Executable Invocation Policy of Web Services Composition With Petri Net. - Dongming Xiang; Nengfu Xie; Bingxian Ma; Kai Xu (Data Sci. J., 2015)

Checking the Inconsistent Data in Concurrent Systems by Petri Nets with Data Operations. - Dongming Xiang; Guanjun Liu; ChunGang Yan; Changjun Jiang (ICPADS, 2016)

DICER: Data Inconsistency CheckER based on the unfolding technique of Petri net. - Dongming Xiang; Guanjun Liu; ChunGang Yan; Changjun Jiang (ICNSC, 2017)

BUCKER: A basic unfolding based checker for soundness of workflow systems. - Kun Zhang; Guanjun Liu; Dongming Xiang (ICNSC, 2017)

Detecting Data Inconsistency Based on the Unfolding Technique of Petri Nets. - Dongming Xiang; Guanjun Liu; Chungang Yan; Changjun Jiang (IEEE Trans. Ind. Informatics, 2017)

Verifying CTL with Unfoldings of Petri Nets. - Lanlan Dong; Guanjun Liu; Dongming Xiang (ICA3PP (4), 2018)

A Heuristic Method of Detecting Data Inconsistency Based on Petri Nets. - Bo Yang; Guanjun Liu; Dongming Xiang; Chungang Yan; Changjun Jiang (SMC, 2018)

Verifying the Correctness of Workflow Systems Based on Workflow Net With Data Constraints. - Yaqiong He; Guanjun Liu; Dongming Xiang; Jiaquan Sun; Chungang Yan; Changjun Jiang (IEEE Access, 2018)

Detecting data-flow errors based on Petri nets with data operations. - Dongming Xiang; Guanjun Liu; Chungang Yan; Changjun Jiang (IEEE CAA J. Autom. Sinica, 2018)

BUCKER 2.0: An Unfolding Based Checker for CTL. - Lanlan Dong; Guanjun Liu; Dongming Xiang (ICNSC, 2019)

A Petri-net-based Method For Detecting Bugs in Multiple Threads. - Jiaquan Sun; Guanjun Liu; Dongming Xiang; Changjun Jiang (ICNSC, 2019)

Checking Data-Flow Errors Based on The Guard-Driven Reachability Graph of WFD-Net. - Dongming Xiang; Guanjun Liu (Comput. Informatics, 2020)

An Incremental and Backward-Conflict Guided Method for Unfolding Petri Nets. - Dongming Xiang; Xiaoyan Tao; Yaping Liu (Symmetry, 2021)

A Guard-Driven Analysis Approach of Workflow Net with Data. - Dongming Xiang; GuanJun Liu; Chungang Yan; Changjun Jiang (IEEE Trans. Serv. Comput., 2021)

Guard-Function-Constraint-Based Refinement Method to Generate Dynamic Behaviors of Workflow Net with Table. - Jian Song; Dongming Xiang; Guanjun Liu; Leifeng He (Comput. Informatics, 2022)

A New Method for Measuring the Behavioral Consistency Degree of WF-Net Systems. - Fang Zhao; Dongming Xiang; Guanjun Liu; Changjun Jiang (IEEE Trans. Comput. Soc. Syst., 2022)

A Detection Method for Abnormal Transactions in E-Commerce Based on Extended Data Flow Conformance Checking. - Yadi Wang; Wangyang Yu 001; Peng Teng; Guanjun Liu; Dongming Xiang (Wirel. Commun. Mob. Comput., 2022)

The trace consistency measurement between WFD-net systems. - Fang Zhao; Dongming Xiang; Guanjun Liu (Frontiers Comput. Sci., 2023)

Improved Design of Concurrent Synchronization System Controller Based on Petri Net. - Xu Yang; Shaocui Guo; Dongming Xiang; Yuxin Yang; Yijun Chen (J. Web Eng., 2023)

Checking Missing-Data Errors in Cyber-Physical Systems Based on the Merged Process of Petri Nets. - Dongming Xiang; Shuai Lin; Xuehui Wang; Guanjun Liu (IEEE Trans. Ind. Informatics, 2023)

Behavioral consistency measurement between extended WFD-nets. - Fang Zhao; Dongming Xiang; Guanjun Liu; Changjun Jiang (Inf. Syst., 2023)

Checking Non-Interference Based on Unfolding Techniques of Petri Nets. - Hanqian Tu; Yunzhe Xu; Jiahao Shao; Dongming Xiang; Guanjun Liu (ICNSC, 2024)

Information Security Evaluation by Information Flow Analysis Based on Stochastic Petri Nets. - Hanqian Tu; Dongming Xiang; Wang Lin; Guanjun Liu (SMC, 2024)

An empirical study of attack-related events in DeFi projects development. - Dongming Xiang; Yuanchang Lin; Liming Nie; Yaowen Zheng; Zhengzi Xu; Zuohua Ding; Yang Liu 003 (Empir. Softw. Eng., 2024)

Efficient Pipelining of Synchronous Dataflow Graphs Via Graph Conversion. - Mingze Ma; Jian Hou 002; Dongming Xiang; Wang Lin; Zuohua Ding (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2024)

Formal Synthesis of Barrier Certificates Using Fourier Kolmogorov-Arnold Network. - Xiongqi Zhang; Junwei Xu; Yang Wang 156; Dongming Xiang; Wang Lin; Zuohua Ding (AAAI, 2025)

A fine-grained approach for Android taint analysis based on labeled taint value graphs. - Dongming Xiang; Shuai Lin; Ke Huang; Zuohua Ding; Guanjun Liu; Xiaofeng Li (Comput. Secur., 2025)