Concepedia

Dongming Xiang

DX

10

Publications

236

Citations

10

H-Index

2015

Active since

Affiliations

Tongji University(Current)

Zhejiang Sci-Tech University

Chinese Academy of Medical Sciences & Peking Union Medical College

People's Hospital of Xinjiang Uygur Autonomous Region

Peking Union Medical College Hospital

Dongming Xiang is an author at Tongji University specializing in formal verification, engineering, and formal methods.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceSoftware AnalysisFormal VerificationSystems EngineeringProgram AnalysisSoftware EngineeringData Management

Publications per year

2015–2022

10

Publications

10

Detecting data-flow errors based on Petri nets with data operations

Dongming Xiang, Guanjun Liu, Chungang Yan et al. · IEEE/CAA Journal of Automatica Sinica · 2017 · 57 citations

Petri Net, Engineering, Reachability Problem +22

Detecting Data Inconsistency Based on the Unfolding Technique of Petri Nets

Dongming Xiang, Guanjun Liu, Chungang Yan et al. · IEEE Transactions on Industrial Informatics · 2017 · 37 citations

Petri Net, Engineering, Unfolding Technique +25

Prognosis of patients with Acinetobacter baumannii infection in the intensive care unit: A retrospective analysis

Xiao Dong, Lu Wang, Daquan Zhang et al. · Experimental and Therapeutic Medicine · 2017 · 31 citations · Full text

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

Dongming Xiang, Shuai Lin, Xuehui Wang et al. · IEEE Transactions on Industrial Informatics · 2022 · 20 citations

Petri Net, Engineering, Verification +24

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

Zhao Fang, Dongming Xiang, Guanjun Liu et al. · IEEE Transactions on Computational Social Systems · 2021 · 19 citations

Software Maintenance, Engineering, Verification +31

Rows per page

1–5 of 10