Dongming Xiang

According to our database, Dongming Xiang authored at least 25 papers between 2015 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

2024

Efficient Pipelining of Synchronous Dataflow Graphs Via Graph Conversion.

Mingze Ma, Jian Hou, Dongming Xiang, Wang Lin, Zuohua Ding

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., June, 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

Empir. Softw. Eng., April, 2024

Checking Non-Interference Based on Unfolding Techniques of Petri Nets.

Hanqian Tu, Yunzhe Xu, Jiahao Shao, Dongming Xiang, Guanjun Liu

Proceedings of the IEEE International Conference on Networking, Sensing and Control, 2024

2023

Behavioral consistency measurement between extended WFD-nets.

Fang Zhao, Dongming Xiang, Guanjun Liu, Changjun Jiang

Inf. Syst., October, 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, March, 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

The trace consistency measurement between WFD-net systems.

Fang Zhao, Dongming Xiang, Guanjun Liu

Frontiers Comput. Sci., 2023

2022

A Detection Method for Abnormal Transactions in E-Commerce Based on Extended Data Flow Conformance Checking.

Yadi Wang, Wangyang Yu, Peng Teng, Guanjun Liu, Dongming Xiang

Wirel. Commun. Mob. Comput., 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

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

2021

A Guard-Driven Analysis Approach of Workflow Net with Data.

Dongming Xiang, GuanJun Liu, Chungang Yan, Changjun Jiang

IEEE Trans. Serv. Comput., 2021

An Incremental and Backward-Conflict Guided Method for Unfolding Petri Nets.

Dongming Xiang, Xiaoyan Tao, Yaping Liu

Symmetry, 2021

2020

Checking Data-Flow Errors Based on The Guard-Driven Reachability Graph of WFD-Net.

Dongming Xiang, Guanjun Liu

Comput. Informatics, 2020

2019

A Petri-net-based Method For Detecting Bugs in Multiple Threads.

Jiaquan Sun, Guanjun Liu, Dongming Xiang, Changjun Jiang

Proceedings of the 16th IEEE International Conference on Networking, Sensing and Control, 2019

BUCKER 2.0: An Unfolding Based Checker for CTL.

Lanlan Dong, Guanjun Liu, Dongming Xiang

Proceedings of the 16th IEEE International Conference on Networking, Sensing and Control, 2019

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

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

A Heuristic Method of Detecting Data Inconsistency Based on Petri Nets.

Bo Yang, Guanjun Liu, Dongming Xiang, Chungang Yan, Changjun Jiang

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2018

Verifying CTL with Unfoldings of Petri Nets.

Lanlan Dong, Guanjun Liu, Dongming Xiang

Proceedings of the Algorithms and Architectures for Parallel Processing, 2018

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

BUCKER: A basic unfolding based checker for soundness of workflow systems.

Kun Zhang, Guanjun Liu, Dongming Xiang

Proceedings of the 14th IEEE International Conference on Networking, Sensing and Control, 2017

DICER: Data Inconsistency CheckER based on the unfolding technique of Petri net.

Dongming Xiang, Guanjun Liu, ChunGang Yan, Changjun Jiang

Proceedings of the 14th IEEE International Conference on Networking, Sensing and Control, 2017

2016

Checking the Inconsistent Data in Concurrent Systems by Petri Nets with Data Operations.

Dongming Xiang, Guanjun Liu, ChunGang Yan, Changjun Jiang

Proceedings of the 22nd IEEE International Conference on Parallel and Distributed Systems, 2016

2015

The Executable Invocation Policy of Web Services Composition With Petri Net.

Dongming Xiang, Nengfu Xie, Bingxian Ma, Kai Xu

Data Sci. J., 2015