Concepedia

Hongjin Liang

HL

Statistics

Publications

12

Citations

439

H-Index

12

Active since

2012

Affiliations

University of Science and Technology of China(Current)

First Affiliated Hospital of Shantou University Medical College

Shantou University

Shantou University Medical College

Shantou Central Hospital

Hongjin Liang is an author at University of Science and Technology of China specializing in formal verification, engineering, and formal methods.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisFormal VerificationParallel ProgrammingSoftware TestingAutomated Reasoning

Publications per year

2012–2019

12

Publications

12

Modular verification of linearizability with non-fixed linearization points

Hongjin Liang, Xinyu Feng · 2013 · 86 citations

Program Checking, Engineering, Verification +19

A rely-guarantee-based simulation for verifying concurrent program transformations

Hongjin Liang, Xinyu Feng, Ming Fu · ACM SIGPLAN Notices · 2012 · 57 citations

Program Checking, Engineering, Verification +19

A program logic for concurrent objects under fair scheduling

Hongjin Liang, Xinyu Feng · 2016 · 52 citations

Engineering, Program Analysis, Concurrent Objects +15

A rely-guarantee-based simulation for verifying concurrent program transformations

Hongjin Liang, Xinyu Feng, Ming Fu · 2012 · 44 citations

Program Checking, Engineering, Verification +19

Changes in the Prevalence of Rheumatic Diseases in Shantou, China, in the Past Three Decades: A COPCORD Study

Shaoying Zeng, Yao Gong, Yuping Zhang et al. · PLoS ONE · 2015 · 42 citations · Full text

1–5 of 12