Dongming Xiang

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 22

Top Topics

Workflow Systems

Detection Method

Top Venues

Comput. Informatics

IEEE Trans. Ind. Informatics

IEEE Trans. Serv. Comput.

Publications

Mingze Ma, Jian Hou, Dongming Xiang, Wang Lin, Zuohua Ding
Efficient Pipelining of Synchronous Dataflow Graphs Via Graph Conversion. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 43 (6) (2024)
Dongming Xiang, Yuanchang Lin, Liming Nie, Yaowen Zheng, Zhengzi Xu, Zuohua Ding, Yang Liu
An empirical study of attack-related events in DeFi projects development. Empir. Softw. Eng. 29 (2) (2024)
Dongming Xiang, Shuai Lin, Xuehui Wang, Guanjun Liu
Checking Missing-Data Errors in Cyber-Physical Systems Based on the Merged Process of Petri Nets. IEEE Trans. Ind. Informatics 19 (3) (2023)
Fang Zhao, Dongming Xiang, Guanjun Liu
The trace consistency measurement between WFD-net systems. Frontiers Comput. Sci. 5 (2023)
Fang Zhao, Dongming Xiang, Guanjun Liu, Changjun Jiang
Behavioral consistency measurement between extended WFD-nets. Inf. Syst. 119 (2023)
Xu Yang, Shaocui Guo, Dongming Xiang, Yuxin Yang, Yijun Chen
Improved Design of Concurrent Synchronization System Controller Based on Petri Net. J. Web Eng. 22 (7) (2023)
Jian Song, Dongming Xiang, Guanjun Liu, Leifeng He
Guard-Function-Constraint-Based Refinement Method to Generate Dynamic Behaviors of Workflow Net with Table. Comput. Informatics 41 (4) (2022)
Fang Zhao, Dongming Xiang, Guanjun Liu, Changjun Jiang
A New Method for Measuring the Behavioral Consistency Degree of WF-Net Systems. IEEE Trans. Comput. Soc. Syst. 9 (2) (2022)
Yadi Wang, Wangyang Yu, Peng Teng, Guanjun Liu, Dongming Xiang
A Detection Method for Abnormal Transactions in E-Commerce Based on Extended Data Flow Conformance Checking. Wirel. Commun. Mob. Comput. 2022 (2022)
Dongming Xiang, Xiaoyan Tao, Yaping Liu
An Incremental and Backward-Conflict Guided Method for Unfolding Petri Nets. Symmetry 13 (3) (2021)
Dongming Xiang, GuanJun Liu, Chungang Yan, Changjun Jiang
A Guard-Driven Analysis Approach of Workflow Net with Data. IEEE Trans. Serv. Comput. 14 (6) (2021)
Dongming Xiang, Guanjun Liu
Checking Data-Flow Errors Based on The Guard-Driven Reachability Graph of WFD-Net. Comput. Informatics 39 (1) (2020)
Jiaquan Sun, Guanjun Liu, Dongming Xiang, Changjun Jiang
A Petri-net-based Method For Detecting Bugs in Multiple Threads. ICNSC (2019)
Lanlan Dong, Guanjun Liu, Dongming Xiang
BUCKER 2.0: An Unfolding Based Checker for CTL. ICNSC (2019)
Bo Yang, Guanjun Liu, Dongming Xiang, Chungang Yan, Changjun Jiang
A Heuristic Method of Detecting Data Inconsistency Based on Petri Nets. SMC (2018)
Yaqiong He, Guanjun Liu, Dongming Xiang, Jiaquan Sun, Chungang Yan, Changjun Jiang
Verifying the Correctness of Workflow Systems Based on Workflow Net With Data Constraints. IEEE Access 6 (2018)
Dongming Xiang, Guanjun Liu, Chungang Yan, Changjun Jiang
Detecting data-flow errors based on Petri nets with data operations. IEEE CAA J. Autom. Sinica 5 (1) (2018)
Lanlan Dong, Guanjun Liu, Dongming Xiang
Verifying CTL with Unfoldings of Petri Nets. ICA3PP (4) (2018)
Dongming Xiang, Guanjun Liu, ChunGang Yan, Changjun Jiang
DICER: Data Inconsistency CheckER based on the unfolding technique of Petri net. ICNSC (2017)
Dongming Xiang, Guanjun Liu, Chungang Yan, Changjun Jiang
Detecting Data Inconsistency Based on the Unfolding Technique of Petri Nets. IEEE Trans. Ind. Informatics 13 (6) (2017)
Kun Zhang, Guanjun Liu, Dongming Xiang
BUCKER: A basic unfolding based checker for soundness of workflow systems. ICNSC (2017)
Dongming Xiang, Guanjun Liu, ChunGang Yan, Changjun Jiang
Checking the Inconsistent Data in Concurrent Systems by Petri Nets with Data Operations. ICPADS (2016)
Dongming Xiang, Nengfu Xie, Bingxian Ma, Kai Xu
The Executable Invocation Policy of Web Services Composition With Petri Net. Data Sci. J. 14 (2015)