Yang Liu

Orcid: 0000-0001-7584-3174

Affiliations:

Shanghai Maritime University, Institute of Logistics Science and Engineering, Shanghai, China
National University of Singapore, School of Computing, Singapore

According to our database¹, Yang Liu authored at least 6 papers between 2019 and 2025.

Collaborative distances:

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

Timeline

Legend:

Book In proceedings Article PhD thesis Dataset Other

Bibliography

2025

Automated Runtime Verification of Security for E-Commerce Smart Contracts.

[BibT_eX]

[DOI]

Yang Liu

Shengjie Zhang

Yan Ma

J. Theor. Appl. Electron. Commer. Res., 2025

2024

DL4SC: a novel deep learning-based vulnerability detection framework for smart contracts.

[BibT_eX]

[DOI]

Yang Liu

Chao Wang

Yan Ma

Autom. Softw. Eng., June, 2024

2022

DOCS: A Data Ownership Confirmation Scheme for Distributed Data Trading.

[BibT_eX]

[DOI]

Syst., 2022

Verifying the Smart Contracts of the Port Supply Chain System Based on Probabilistic Model Checking.

[BibT_eX]

[DOI]

Syst., 2022

A three-valued model abstraction framework for PCTL* stochastic model checking.

[BibT_eX]

[DOI]

Yang Liu

Yan Ma

Yongsheng Yang

Autom. Softw. Eng., 2022

2019

A PSO-Based CEGAR Framework for Stochastic Model Checking.

[BibT_eX]

[DOI]

Yan Ma

Zining Cao

Yang Liu

Int. J. Softw. Eng. Knowl. Eng., 2019

Yang Liu

Timeline

Legend:

Links

Online presence:

On csauthors.net:

Bibliography

Loading...