3
Publications
44
Citations
3
H-Index
2019
Active since
Affiliations
Huan Liu is an author at Hebei University of Science and Technology specializing in data security, system software, and formal methods.
Top concepts
EngineeringData SecurityFormal MethodsSystem SoftwareComputer ScienceProgram AnalysisSoftware TestingHardware SecuritySoftware AnalysisFormal Verification
Publications per year
2019–2022
3
3
Automated Refactoring for Stampedlock
Yang Zhang, Shicheng Dong, Xiangyu Zhang et al. · IEEE Access · 2019 · 16 citations · Full text
Refactoring Java Programs for Customizable Locks Based on Bytecode Transformation
Yang Zhang, Shuai Shao, Huan Liu et al. · IEEE Access · 2019 · 15 citations · Full text
Rows per page
1–3 of 3