Dongming Xiang

30 papers A* 1B 3Journal 20Unranked 6
YearRankTypeTitle / Venue / Authors
2026 J jnl
MiniEval: Automated detection of compliance violations and quantitative privacy risk assessment in MiniApps.
Inf. Softw. Technol.
Dongming Xiang, Lingfeng Jin, Shichao Wu, Wang Lin, Zuohua Ding
2025 J jnl
A fine-grained approach for Android taint analysis based on labeled taint value graphs.
Comput. Secur.
Dongming Xiang, Shuai Lin, Ke Huang, Zuohua Ding, Guanjun Liu, Xiaofeng Li
2025 J jnl
Detecting Information Leakage Against Chinese Wall Policy Based on the Unfolding Technique of Colored Petri Nets.
IEEE Trans. Comput. Soc. Syst.
Hanqian Tu, Dongming Xiang, Zuohua Ding, Guanjun Liu
2025 A* conf
Formal Synthesis of Barrier Certificates Using Fourier Kolmogorov-Arnold Network.
AAAI
Xiongqi Zhang, Junwei Xu, Yang Wang, Dongming Xiang, Wang Lin, Zuohua Ding
2025 J jnl
Modeling and Verification of Chinese Wall Policy Based on Petri Nets with Data.
Comput. Informatics
Hanqian Tu, Dongming Xiang, Liang Qi, Guanjun Liu
2024 J jnl
An empirical study of attack-related events in DeFi projects development.
Empir. Softw. Eng.
Dongming Xiang, Yuanchang Lin, Liming Nie, Yaowen Zheng, Zhengzi Xu, Zuohua Ding, Yang Liu
2024 — conf
Checking Non-Interference Based on Unfolding Techniques of Petri Nets.
ICNSC
Hanqian Tu, Yunzhe Xu, Jiahao Shao, Dongming Xiang, Guanjun Liu
2024 J jnl
Efficient Pipelining of Synchronous Dataflow Graphs Via Graph Conversion.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.
Mingze Ma, Jian Hou, Dongming Xiang, Wang Lin, Zuohua Ding
2024 B conf
Information Security Evaluation by Information Flow Analysis Based on Stochastic Petri Nets.
SMC
Hanqian Tu, Dongming Xiang, Wang Lin, Guanjun Liu
2023 J jnl
Behavioral consistency measurement between extended WFD-nets.
Inf. Syst.
Fang Zhao, Dongming Xiang, Guanjun Liu, Changjun Jiang
2023 J jnl
Checking Missing-Data Errors in Cyber-Physical Systems Based on the Merged Process of Petri Nets.
IEEE Trans. Ind. Informatics
Dongming Xiang, Shuai Lin, Xuehui Wang, Guanjun Liu
2023 J jnl
Improved Design of Concurrent Synchronization System Controller Based on Petri Net.
J. Web Eng.
Xu Yang, Shaocui Guo, Dongming Xiang, Yuxin Yang, Yijun Chen
2023 J jnl
The trace consistency measurement between WFD-net systems.
Frontiers Comput. Sci.
Fang Zhao, Dongming Xiang, Guanjun Liu
2022 J jnl
A Detection Method for Abnormal Transactions in E-Commerce Based on Extended Data Flow Conformance Checking.
Wirel. Commun. Mob. Comput.
Yadi Wang, Wangyang Yu, Peng Teng, Guanjun Liu, Dongming Xiang
2022 J jnl
A New Method for Measuring the Behavioral Consistency Degree of WF-Net Systems.
IEEE Trans. Comput. Soc. Syst.
Fang Zhao, Dongming Xiang, Guanjun Liu, Changjun Jiang
2022 J jnl
Guard-Function-Constraint-Based Refinement Method to Generate Dynamic Behaviors of Workflow Net with Table.
Comput. Informatics
Jian Song, Dongming Xiang, Guanjun Liu, Leifeng He
2021 J jnl
A Guard-Driven Analysis Approach of Workflow Net with Data.
IEEE Trans. Serv. Comput.
Dongming Xiang, Guanjun Liu, Chungang Yan, Changjun Jiang
2021 J jnl
An Incremental and Backward-Conflict Guided Method for Unfolding Petri Nets.
Symmetry
Dongming Xiang, Xiaoyan Tao, Yaping Liu
2020 J jnl
Checking Data-Flow Errors Based on The Guard-Driven Reachability Graph of WFD-Net.
Comput. Informatics
Dongming Xiang, Guanjun Liu
2019 — conf
A Petri-net-based Method For Detecting Bugs in Multiple Threads.
ICNSC
Jiaquan Sun, Guanjun Liu, Dongming Xiang, Changjun Jiang
2019 — conf
BUCKER 2.0: An Unfolding Based Checker for CTL.
ICNSC
Lanlan Dong, Guanjun Liu, Dongming Xiang
2018 B conf
A Heuristic Method of Detecting Data Inconsistency Based on Petri Nets.
SMC
Bo Yang, Guanjun Liu, Dongming Xiang, Chungang Yan, Changjun Jiang
2018 J jnl
Detecting data-flow errors based on Petri nets with data operations.
IEEE CAA J. Autom. Sinica
Dongming Xiang, Guanjun Liu, Chungang Yan, Changjun Jiang
2018 — conf
Verifying CTL with Unfoldings of Petri Nets.
ICA3PP (4)
Lanlan Dong, Guanjun Liu, Dongming Xiang
2018 J jnl
Verifying the Correctness of Workflow Systems Based on Workflow Net With Data Constraints.
IEEE Access
Yaqiong He, Guanjun Liu, Dongming Xiang, Jiaquan Sun, Chungang Yan, Changjun Jiang
2017 — conf
BUCKER: A basic unfolding based checker for soundness of workflow systems.
ICNSC
Kun Zhang, Guanjun Liu, Dongming Xiang
2017 — conf
DICER: Data Inconsistency CheckER based on the unfolding technique of Petri net.
ICNSC
Dongming Xiang, Guanjun Liu, Chungang Yan, Changjun Jiang
2017 J jnl
Detecting Data Inconsistency Based on the Unfolding Technique of Petri Nets.
IEEE Trans. Ind. Informatics
Dongming Xiang, Guanjun Liu, Chungang Yan, Changjun Jiang
2016 B conf
Checking the Inconsistent Data in Concurrent Systems by Petri Nets with Data Operations.
ICPADS
Dongming Xiang, Guanjun Liu, Chungang Yan, Changjun Jiang
2015 J jnl
The Executable Invocation Policy of Web Services Composition With Petri Net.
Data Sci. J.
Dongming Xiang, Nengfu Xie, Bingxian Ma, Kai Xu