Dongming Xiang - Publications, H-index & Citations

Dongming Xiang

Zhejiang Sci-Tech University

10H指数

43论文数

298被引数

收录论文 11

发表时间

MiniEval: Automated detection of compliance violations and quantitative privacy risk assessment in MiniApps MiniEval：MiniApps中合规违规的自动检测和定量隐私风险评估

Information and Software Technology

IF4.3

2026-03-14

PREAI

Dongming Xiang; Lingfeng Jin; Shichao Wu; Wang Lin; Zuohua Ding

D3MV: Detecting Deficient Data in Intelligent Software Systems via Model Verification D3MV：通过模型验证检测智能软件系统中的数据不足

Electronics 2025, Vol. 14, Page 4687

IF2.6

2025-11-28

OAAI

Xinyang Ding; Dongming Xiang; Wang Lin

A fine-grained approach for Android taint analysis based on labeled taint value graphs 基于标记污点值图的Android污点细粒度分析方法

COMPUTERS & SECURITY

IF5.4

2025-01-01

PREAI

Xiang, Dongming; Lin, Shuai; Huang, Ke; Ding, Zuohua; Liu, Guanjun; Li, Xiaofeng

Vulnerability assessment for physical protection systems of cave temples: A fuzzy petri net approach

HELIYON

IF3.6

2024-06-01

OAAI

Chen, Si; Xiang, Dongming; Jin, Bo; Jin, Hua

An empirical study of attack-related events in DeFi projects development DeFi项目开发中攻击相关事件的实证研究

EMPIRICAL SOFTWARE ENGINEERING

IF3.6

2024-02-23

PREAI

Xiang, Dongming; Lin, Yuanchang; Nie, Liming; Zheng, Yaowen; Xu, Zhengzi; Ding, Zuohua; Liu, Yang

Behavioral consistency measurement between extended WFD-nets

enterprise information systems

IF3.4

2023-10-01

PREAI

Zhao, Fang; Xiang, Dongming; Liu, Guanjun; Jiang, Changjun

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

IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS

IF9.9

2023-03-01

PREAI

Xiang, Dongming; Lin, Shuai; Wang, Xuehui; Liu, Guanjun

A Guard-Driven Analysis Approach of Workflow Net with Data

IEEE TRANSACTIONS ON SERVICES COMPUTING

IF5.8

2021-11-01

PREAI

Xiang, Dongming; Liu, GuanJun; Yan, Chungang; Jiang, ChangJun

Verifying the Correctness of Workflow Systems Based on Workflow Net with Data Constraints

IEEE ACCESS

IF3.6

2018-01-01

OAAI

He, Yaqiong; Liu, Guanjun; Xiang, Dongming; Sun, Jiaquan; Yan, Chungang; Jiang, Changjun

Detecting Data-flow Errors Based on Petri Nets With Data Operations

IEEE-CAA JOURNAL OF AUTOMATICA SINICA

IF19.2

2018-01-01

PREAI

Xiang, Dongming; Liu, Guanjun; Yan, Chungang; Jiang, Changjun

Detecting Data Inconsistency Based on the Unfolding Technique of Petri Nets

IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS

IF9.9

2017-12-01

PREAI

Xiang, Dongming; Liu, Guanjun; Yan, Chungang; Jiang, Changjun

研究方向