Dongming Xiang

Orcid: 0000-0002-3757-9779

According to our database¹, Dongming Xiang authored at least 22 papers between 2015 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2024

An empirical study of attack-related events in DeFi projects development.

[BibT_eX]

[DOI]

Empir. Softw. Eng., April, 2024

2023

Behavioral consistency measurement between extended WFD-nets.

[BibT_eX]

[DOI]

Inf. Syst., October, 2023

Checking Missing-Data Errors in Cyber-Physical Systems Based on the Merged Process of Petri Nets.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Informatics, March, 2023

Improved Design of Concurrent Synchronization System Controller Based on Petri Net.

[BibT_eX]

[DOI]

J. Web Eng., 2023

The trace consistency measurement between WFD-net systems.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Wirel. Commun. Mob. Comput., 2022

A New Method for Measuring the Behavioral Consistency Degree of WF-Net Systems.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Soc. Syst., 2022

Guard-Function-Constraint-Based Refinement Method to Generate Dynamic Behaviors of Workflow Net with Table.

[BibT_eX]

[DOI]

Comput. Informatics, 2022

2021

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

[BibT_eX]

[DOI]

IEEE Trans. Serv. Comput., 2021

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

[BibT_eX]

[DOI]

Dongming Xiang

Xiaoyan Tao

Yaping Liu

Symmetry, 2021

2020

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

[BibT_eX]

[DOI]

Dongming Xiang

Guanjun Liu

Comput. Informatics, 2020

2019

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

[BibT_eX]

[DOI]

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

BUCKER 2.0: An Unfolding Based Checker for CTL.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

IEEE CAA J. Autom. Sinica, 2018

Verifying the Correctness of Workflow Systems Based on Workflow Net With Data Constraints.

[BibT_eX]

[DOI]

IEEE Access, 2018

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

[BibT_eX]

[DOI]

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

Verifying CTL with Unfoldings of Petri Nets.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

IEEE Trans. Ind. Informatics, 2017

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

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Data Sci. J., 2015

Dongming Xiang

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...