Concepedia

Shaoying Liu

SL

49

Publications

1.7K

Citations

20

H-Index

1993

Active since

Affiliations

Hosei University(Current)

Hiroshima University

Hiroshima City University

Tianjin University

Qingdao Huanghai University

Shaoying Liu is an author at Hosei University specializing in engineering, software engineering, and formal methods.

Top concepts

EngineeringSoftware EngineeringSoftware AnalysisFormal MethodsSoftware DesignSoftware TestingFormal VerificationSystems EngineeringProgram AnalysisComputer Science

Publications per year

1993–2023

49

Publications

49

Generating test data from state‐based specifications

Jeff Offutt, Shaoying Liu, Aynur Abdurazik et al. · Software Testing Verification and Reliability · 2003 · 326 citations

Engineering, Verification, Software Systems +23

SG-PBFT: A secure and highly efficient distributed blockchain PBFT consensus algorithm for intelligent Internet of vehicles

Guangquan Xu, Hongpeng Bai, Jun Xing et al. · Journal of Parallel and Distributed Computing · 2022 · 201 citations

Blockchain Consensus Protocol, Engineering, Cryptography +5

SOFL: a formal engineering methodology for industrial applications

Shaoying Liu, A. Jefferson Offutt, Chris Ho-Stuart et al. · IEEE Transactions on Software Engineering · 1998 · 135 citations

Software Maintenance, Engineering, Industrial Engineering +21

Generating test data from SOFL specifications

A. Jefferson Offutt, Shaoying Liu · Journal of Systems and Software · 1999 · 91 citations

Sofl Specifications, Engineering, Testing Technique +11

A Privacy-Preserving Medical Data Sharing Scheme Based on Blockchain

Guangquan Xu, Qi Chen, Wenyu Dong et al. · IEEE Journal of Biomedical and Health Informatics · 2022 · 74 citations

Engineering, Information Security, Data-centric Security +19

Rows per page

1–5 of 49