E-LIB Suche - Ergebnisse für: Xiang, Dongming

1

Vulnerability assessment for physical protection systems of..:

Chen, Si ; Xiang, Dongming ; Jin, Bo.
Heliyon. 10 (2024) 12 - p. e33100 , 2024

Link: https://doi.org/10.1016/..

2

An empirical study of attack-related events in DeFi project..:

Xiang, Dongming ; Lin, Yuanchang ; Nie, Liming...
Empirical Software Engineering. 29 (2024) 2 - p. , 2024

Link: https://doi.org/10.1007/..

3

Efficient Pipelining of Synchronous Dataflow Graphs Via Gra..:

Ma, Mingze ; Hou, Jian ; Xiang, Dongming..
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems. 43 (2024) 6 - p. 1704-1714 , 2024

Link: https://doi.org/10.1109/..

4

The trace consistency measurement between WFD-net systems:

Zhao, Fang ; Xiang, Dongming ; Liu, Guanjun
Frontiers in Computer Science. 5 (2023) - p. , 2023

Link: https://doi.org/10.3389/..

5

Checking Missing-Data Errors in Cyber-Physical Systems Base..:

Xiang, Dongming ; Lin, Shuai ; Wang, Xuehui.
IEEE Transactions on Industrial Informatics. 19 (2023) 3 - p. 3047-3056 , 2023

Link: https://doi.org/10.1109/..

6

Behavioral consistency measurement between extended WFD-net:

Zhao, Fang ; Xiang, Dongming ; Liu, Guanjun.
Information Systems. 119 (2023) - p. 102274 , 2023

Link: https://doi.org/10.1016/..

7

A New Method for Measuring the Behavioral Consistency Degre..:

Zhao, Fang ; Xiang, Dongming ; Liu, Guanjun.
IEEE Transactions on Computational Social Systems. 9 (2022) 2 - p. 480-493 , 2022

Link: https://doi.org/10.1109/..

8

A Detection Method for Abnormal Transactions in E-Commerce ..:

Wang, Yadi ; Yu, Wangyang ; Teng, Peng...
Wireless Communications and Mobile Computing. 2022 (2022) - p. 1-14 , 2022

Link: https://doi.org/10.1155/..

9

An Incremental and Backward-Conflict Guided Method for Unfo..:

Xiang, Dongming ; Tao, Xiaoyan ; Liu, Yaping
Symmetry. 13 (2021) 3 - p. 392 , 2021

Link: https://doi.org/10.3390/..

10

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

Xiang, Dongming ; Liu, Guanjun ; Yan, Chungang.
IEEE Transactions on Services Computing. 14 (2021) 6 - p. 1650-1661 , 2021

Link: https://doi.org/10.1109/..

11

DICER 2.0: A New Model Checker for Data-Flow Errors of Conc..:

Xiang, Dongming ; Zhao, Fang ; Liu, Yaping
Mathematics. 9 (2021) 9 - p. 966 , 2021

Link: https://doi.org/10.3390/..

12

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

, In: 2019 IEEE 16th International Conference on Networking, Sensing and Control (ICNSC),

Sun, Jiaquan ; Liu, Guanjun ; Xiang, Dongming. - p. 150-156 , 2019

Link: https://doi.org/10.1109/..

13

Verifying CTL with Unfoldings of Petri Nets:

, In: Algorithms and Architectures for Parallel Processing; Lecture Notes in Computer Science,

Dong, Lanlan ; Liu, Guanjun ; Xiang, Dongming - p. 47-61 , 2018

Link: https://doi.org/10.1007/..

14

Detecting data-flow errors based on Petri nets with data op..:

Xiang, Dongming ; Liu, Guanjun ; Yan, Chungang.
IEEE/CAA Journal of Automatica Sinica. 5 (2018) 1 - p. 251-260 , 2018

Link: https://doi.org/10.1109/..

15

The Executable Invocation Policy of Web Services Compositio..:

Xiang, Dongming ; Xie, Nengfu ; Ma, Bingxian.
Data Science Journal. 14 (2015) 0 - p. 5 , 2015

Link: https://doi.org/10.5334/..