The design of indoor emergency management system based on wireless location. - Han Liu 010; Jie Li; Hongwei Jia (CCIS, 2011)

System reliability calculation based on the run-time analysis of ladder program. - Yu Jiang 001; Hehua Zhang; Han Liu 010; Xiaoyu Song; William N. N. Hung; Ming Gu 001; Jiaguang Sun 001 (ESEC/SIGSOFT FSE, 2013)

Tsmart-GalsBlock: a toolkit for modeling, validation, and synthesis of multi-clocked embedded systems. - Yu Jiang 001; Hehua Zhang; Huafeng Zhang; Xinyan Zhao; Han Liu 010; Chengnian Sun; Xiaoyu Song; Ming Gu 001; Jia-Guang Sun 001 (SIGSOFT FSE, 2014)

Application-Specific Architecture Selection for Embedded Systems via Schedulability Analysis. - Han Liu 010; Hehua Zhang; Yu Jiang 001; Xiaoyu Song; Ming Gu 001; Jiaguang Sun 001 (TASE, 2014)

iDola: Bridge Modeling to Verification and Implementation of Interrupt-Driven Systems. - Han Liu 010; Hehua Zhang; Yu Jiang 001; Xiaoyu Song; Ming Gu 001; Jia-Guang Sun 001 (TASE, 2014)

Design of Mixed Synchronous/Asynchronous Systems with Multiple Clocks. - Yu Jiang 001; Hehua Zhang; Huafeng Zhang; Han Liu 010; Xiaoyu Song; Ming Gu 001; Jiaguang Sun 001 (IEEE Trans. Parallel Distributed Syst., 2015)

Safety-Assured Formal Model-Driven Design of the Multifunction Vehicle Bus Controller. - Yu Jiang 001; Han Liu 010; Houbing Song; Hui Kong 004; Ming Gu 001; Jiaguang Sun 001; Lui Sha (FM, 2016)

Taming Interrupts for Verifying Industrial Multifunction Vehicle Bus Controllers. - Han Liu 010; Yu Jiang 001; Huafeng Zhang; Ming Gu 001; Jiaguang Sun 001 (FM, 2016)

Use runtime verification to improve the quality of medical care practice. - Yu Jiang 001; Han Liu 010; Hui Kong 004; Rui Wang 024; Mohammad Hosseini 002; Jia-Guang Sun 001; Lui Sha (ICSE (Companion Volume), 2016)

Towards better program obfuscation: optimization via language models. - Han Liu 010 (ICSE (Companion Volume), 2016)

Model driven design of heterogeneous synchronous embedded systems. - Huafeng Zhang; Yu Jiang 001; Han Liu 010; Hehua Zhang; Ming Gu 001; Jia-Guang Sun 001 (ASE, 2016)

Tsmart-BIPEX: An Integrated Graphical Design Toolkit for Software Systems. - Huafeng Zhang; Yu Jiang 001; Han Liu 010; Ming Gu 001; Jiaguang Sun 001 (D&P@MoDELS, 2016)

From Stateflow Simulation to Verified Implementation: A Verification Approach and A Real-Time Train Controller Design. - Yu Jiang 001; Yixiao Yang; Han Liu 010; Hui Kong 004; Ming Gu 001; Jia-Guang Sun 001; Lui Sha (RTAS, 2016)

Dependable integrated clinical system architecture with runtime verification. - Yu Jiang 001; Mingzhe Wang; Han Liu 010; Mohammad Hosseini 002; Jiaguang Sun 001 (ICCAD, 2017)

Stochastic optimization of program obfuscation. - Han Liu 010; Chengnian Sun; Zhendong Su 001; Yu Jiang 001; Ming Gu 001; Jiaguang Sun 001 (ICSE, 2017)

A language model for statements of software code. - Yixiao Yang; Yu Jiang 001; Ming Gu 001; Jiaguang Sun 001; Jian Gao 008; Han Liu 010 (ASE, 2017)

Enhanced Explicit Semantic Analysis for Product Model Retrieval in Construction Industry. - Han Liu 010; Yu-Shen Liu; Pieter Pauwels; Hongling Guo; Ming Gu 001 (IEEE Trans. Ind. Informatics, 2017)

ReGuard: finding reentrancy bugs in smart contracts. - Chao Liu 032; Han Liu 010; Zhao Cao; Zhong Chen 001; Bangdao Chen; Bill Roscoe (ICSE (Companion Volume), 2018)

SAFL: increasing and accelerating testing coverage with symbolic execution and guided fuzzing. - Mingzhe Wang; Jie Liang 006; Yuanliang Chen; Yu Jiang 001; Xun Jiao; Han Liu 010; Xibin Zhao; Jiaguang Sun 001 (ICSE (Companion Volume), 2018)

Managing concurrent testing of data race with ComRaDe. - Jian Gao 008; Xin Yang; Yu Jiang 001; Han Liu 010; Weiliang Ying; Wanting Sun; Ming Gu 001 (ISSTA, 2018)

S-gram: towards semantic-aware security auditing for Ethereum smart contracts. - Han Liu 010; Chao Liu 032; Wenqi Zhao; Yu Jiang 001; Jiaguang Sun 001 (ASE, 2018)

Jbench: a dataset of data races for concurrency testing. - Jian Gao 008; Xin Yang; Yu Jiang 001; Han Liu 010; Weiliang Ying; Xian Zhang (MSR, 2018)

EClone: detect semantic clones in Ethereum via symbolic transaction sketch. - Han Liu 010; Zhiqiang Yang; Chao Liu 032; Yu Jiang 001; Wenqi Zhao; Jiaguang Sun 001 (ESEC/SIGSOFT FSE, 2018)

Safety-Assured Model-Driven Design of the Multifunction Vehicle Bus Controller. - Yu Jiang 001; Han Liu 010; Houbing Song; Hui Kong 004; Rui Wang 024; Yong Guan; Lui Sha (IEEE Trans. Intell. Transp. Syst., 2018)

EasyFlow: keep ethereum away from overflow. - Jianbo Gao; Han Liu 010; Chao Liu 032; Qingshan Li; Zhi Guan; Zhong Chen 001 (ICSE (Companion Volume), 2019)

Towards automated testing of blockchain-based decentralized applications. - Jianbo Gao; Han Liu 010; Yue Li 037; Chao Liu 032; Zhiqiang Yang; Qingshan Li; Zhi Guan; Zhong Chen 001 (ICPC, 2019)

Enabling clone detection for ethereum via smart contract birthmarks. - Han Liu 010; Zhiqiang Yang; Yu Jiang 001; Wenqi Zhao; Jiaguang Sun 001 (ICPC, 2019)

Fast Low-rank Metric Learning for Large-scale and High-dimensional Data. - Han Liu 010; Zhizhong Han; Yu-Shen Liu; Ming Gu 001 (NeurIPS, 2019)

MVDLite: A Light-weight Representation of Model View Definition with Fast Validation for BIM Applications. - Han Liu 010; Ge Gao; Hehua Zhang; Yu-Shen Liu; Yan Song; Ming Gu 001 (CoRR, 2019)

Dependable Model-driven Development of CPS: From Stateflow Simulation to Verified Implementation. - Yu Jiang 001; Houbing Song; Yixiao Yang; Han Liu 010; Ming Gu 001; Yong Guan; Jiaguang Sun 001; Lui Sha (ACM Trans. Cyber Phys. Syst., 2019)

SafePay on Ethereum: A Framework For Detecting Unfair Payments in Smart Contracts. - Yue Li 037; Han Liu 010; Zhiqiang Yang; Qian Ren; Lei Wang 031; Bangdao Chen (ICDCS, 2020)

Seraph: enabling cross-platform security analysis for EVM and WASM smart contracts. - Zhiqiang Yang; Han Liu 010; Yue Li 037; Huixuan Zheng; Lei Wang 031; Bangdao Chen (ICSE (Companion Volume), 2020)

Protect Your Smart Contract Against Unfair Payment. - Yue Li 037; Han Liu 010; Zhiqiang Yang; Bin Wang; Qian Ren; Lei Wang 031; Bangdao Chen (SRDS, 2020)

FASTBLOCK: Accelerating Blockchains via Hardware Transactional Memory. - Yue Li 037; Han Liu 010; Yuanliang Chen; Jianbo Gao; Zhenhao Wu; Zhi Guan; Zhong Chen 001 (ICDCS, 2021)

Demo: Cloak: A Framework For Development of Confidential Blockchain Smart Contracts. - Qian Ren; Han Liu 010; Yue Li 037; Hong Lei 001 (ICDCS, 2021)

BLOCKEYE: Hunting for DeFi Attacks on Blockchain. - Bin Wang; Han Liu 010; Chao Liu 032; Zhiqiang Yang; Qian Ren; Huixuan Zheng; Hong Lei 001 (ICSE (Companion Volume), 2021)

CLOAK: A Framework For Development of Confidential Blockchain Smart Contracts. - Qian Ren; Han Liu 010; Yue Li 037; Hong Lei 001 (CoRR, 2021)

CLOAK: Towards Practical Development and Deployment of Confidential Smart Contracts. - Qian Ren; Han Liu 010; Yue Li 037; Hong Lei 001; Lei Wang 031; Bangdao Chen (CoRR, 2021)

Trusted And Confidential Program Analysis. - Han Liu 010; Pedro Antonino; Zhiqiang Yang; Chao Liu 032; A. W. Roscoe 001 (CoRR, 2021)

Cloak: Transitioning States on Legacy Blockchains Using Secure and Publicly Verifiable Off-Chain Multi-Party Computation. - Qian Ren; Yingjun Wu; Han Liu 010; Yue Li 037; Anne Victor; Hong Lei 001; Lei Wang 031; Bangdao Chen (ACSAC, 2022)

Committable: A Decentralised and Trustless Open-Source Protocol. - Han Liu 010; Huafeng Zhang; Bangdao Chen; A. W. Roscoe 001 (ICBC, 2022)

TMI: tokenomics made easy for web3 applications. - Han Liu 010; Xufei Wang; Bin Wang; Huixuan Zheng; Xuchao Liu (MoDELS (Companion), 2022)

TENET: Towards Self-sovereign and Fair Multi-party Computation Ecology Empowered by Decentralized TEE Network. - Qian Ren; Yingjun Wu; Yue Li 037; Han Liu 010; Hong Lei 001; Lei Wang 031; Bangdao Chen (CoRR, 2022)

SorTEE: Service-Oriented Routing for Payment Channel Networks With Scalability and Privacy Protection. - Qinghao Wang; Yongxin Zhang; Zijian Bao; Wenbo Shi; Hong Lei 001; Han Liu 010; Bangdao Chen (IEEE Trans. Netw. Serv. Manag., 2022)

A Parallel IFC Normalization Algorithm for Incremental Storage and Version Control. - Han Liu 010; Ge Gao; Ming Gu 001 (CoRR, 2023)

Modeling and validating temporal rules with semantic Petri net for digital twins. - Han Liu 010; Xiaoyu Song; Ge Gao; Hehua Zhang; Yu-Shen Liu; Ming Gu 001 (Adv. Eng. Informatics, 2023)

MVDLite: A fast validation algorithm for Model View Definition rules. - Han Liu 010; Ge Gao; Hehua Zhang; Yu-Shen Liu; Yan Song; Ming Gu 001 (Adv. Eng. Informatics, 2023)

Accelerating block lifecycle on blockchain via hardware transactional memory. - Yue Li 037; Han Liu 010; Jianbo Gao; Jiashuo Zhang 001; Zhi Guan; Zhong Chen 001 (J. Parallel Distributed Comput., 2024)