Han Liu

Design of Mixed Synchronous/Asynchronous Systems with Multiple Clocks

Yu Jiang, Hehua Zhang, Huafeng Zhang et al. · IEEE Transactions on Parallel and Distributed Systems · 2014 · 43 citations

Engineering, Unified Operational Semantics, Computer Architecture +20

Towards Automated Testing of Blockchain-Based Decentralized Applications

Jianbo Gao, Han Liu, Yue Li et al. · 2019 · 42 citations

Engineering, Verification, Software Engineering +20

Enabling Clone Detection For Ethereum Via Smart Contract Birthmarks

Han Liu, Zhiqiang Yang, Yu Jiang et al. · 2019 · 41 citations

Engineering, Clone Detection, Verification +23

Enhanced Explicit Semantic Analysis for Product Model Retrieval in Construction Industry

Han Liu, Yu-Shen Liu, Pieter Pauwels et al. · IEEE Transactions on Industrial Informatics · 2017 · 32 citations

Engineering, Semantic Search, Knowledge Extraction +25

Use runtime verification to improve the quality of medical care practice

Yu Jiang, Han Liu, Hui Kong et al. · 2016 · 27 citations

Engineering, Use Runtime Verification, Verification +24