Han Liu - RankMe

53 papers A* 5A 11B 3C 1Misc 2Journal 18Unranked 13

Year	Rank	Type	Title / Venue / Authors
2025	A	`conf`	Reasoning Optimization of Multi-Agent Systems via Abstract Domain Semantics. ECAI Lin Ao, Han Liu, Huafeng Zhang
2024	J	`jnl`	Accelerating block lifecycle on blockchain via hardware transactional memory. J. Parallel Distributed Comput. Yue Li, Han Liu, Jianbo Gao, Jiashuo Zhang, Zhi Guan, Zhong Chen
2023	J	`jnl`	A Parallel IFC Normalization Algorithm for Incremental Storage and Version Control. CoRR Han Liu, Ge Gao, Ming Gu
2023	J	`jnl`	MVDLite: A fast validation algorithm for Model View Definition rules. Adv. Eng. Informatics Han Liu, Ge Gao, Hehua Zhang, Yu-Shen Liu, Yan Song, Ming Gu
2023	J	`jnl`	Modeling and validating temporal rules with semantic Petri net for digital twins. Adv. Eng. Informatics Han Liu, Xiaoyu Song, Ge Gao, Hehua Zhang, Yu-Shen Liu, Ming Gu
2022	A	`conf`	Cloak: Transitioning States on Legacy Blockchains Using Secure and Publicly Verifiable Off-Chain Multi-Party Computation. ACSAC Qian Ren, Yingjun Wu, Han Liu, Yue Li, Anne Victor, Hong Lei, Lei Wang, Bangdao Chen
2022	C	`conf`	Committable: A Decentralised and Trustless Open-Source Protocol. ICBC Han Liu, Huafeng Zhang, Bangdao Chen, A. W. Roscoe
2022	J	`jnl`	Modeling and Validating Temporal Rules with Semantic Petri-Net for Digital Twins. CoRR Han Liu, Xiaoyu Song, Ge Gao, Hehua Zhang, Yu-Shen Liu, Ming Gu
2022	J	`jnl`	SorTEE: Service-Oriented Routing for Payment Channel Networks With Scalability and Privacy Protection. IEEE Trans. Netw. Serv. Manag. Qinghao Wang, Yongxin Zhang, Zijian Bao, Wenbo Shi, Hong Lei, Han Liu, Bangdao Chen
2022	J	`jnl`	TENET: Towards Self-sovereign and Fair Multi-party Computation Ecology Empowered by Decentralized TEE Network. CoRR Qian Ren, Yingjun Wu, Yue Li, Han Liu, Hong Lei, Lei Wang, Bangdao Chen
2022	—	`conf`	TMI: tokenomics made easy for web3 applications. MoDELS (Companion) Han Liu, Xufei Wang, Bin Wang, Huixuan Zheng, Xuchao Liu
2021	J	`jnl`	BLOCKEYE: Hunting For DeFi Attacks on Blockchain. CoRR Bin Wang, Han Liu, Chao Liu, Zhiqiang Yang, Qian Ren, Huixuan Zheng, Hong Lei
2021	—	`conf`	BLOCKEYE: Hunting for DeFi Attacks on Blockchain. ICSE (Companion Volume) Bin Wang, Han Liu, Chao Liu, Zhiqiang Yang, Qian Ren, Huixuan Zheng, Hong Lei
2021	J	`jnl`	CLOAK: A Framework For Development of Confidential Blockchain Smart Contracts. CoRR Qian Ren, Han Liu, Yue Li, Hong Lei
2021	J	`jnl`	CLOAK: Towards Practical Development and Deployment of Confidential Smart Contracts. CoRR Qian Ren, Han Liu, Yue Li, Hong Lei, Lei Wang, Bangdao Chen
2021	A	`conf`	Demo: Cloak: A Framework For Development of Confidential Blockchain Smart Contracts. ICDCS Qian Ren, Han Liu, Yue Li, Hong Lei
2021	A	`conf`	FASTBLOCK: Accelerating Blockchains via Hardware Transactional Memory. ICDCS Yue Li, Han Liu, Yuanliang Chen, Jianbo Gao, Zhenhao Wu, Zhi Guan, Zhong Chen
2021	J	`jnl`	Trusted And Confidential Program Analysis. CoRR Han Liu, Pedro Antonino, Zhiqiang Yang, Chao Liu, A. W. Roscoe
2020	B	`conf`	Protect Your Smart Contract Against Unfair Payment. SRDS Yue Li, Han Liu, Zhiqiang Yang, Bin Wang, Qian Ren, Lei Wang, Bangdao Chen
2020	A	`conf`	SafePay on Ethereum: A Framework For Detecting Unfair Payments in Smart Contracts. ICDCS Yue Li, Han Liu, Zhiqiang Yang, Qian Ren, Lei Wang, Bangdao Chen
2020	—	`conf`	Seraph: enabling cross-platform security analysis for EVM and WASM smart contracts. ICSE (Companion Volume) Zhiqiang Yang, Han Liu, Yue Li, Huixuan Zheng, Lei Wang, Bangdao Chen
2019	J	`jnl`	Dependable Model-driven Development of CPS: From Stateflow Simulation to Verified Implementation. ACM Trans. Cyber Phys. Syst. Yu Jiang, Houbing Song, Yixiao Yang, Han Liu, Ming Gu, Yong Guan, Jiaguang Sun, Lui Sha
2019	—	`conf`	EasyFlow: keep ethereum away from overflow. ICSE (Companion Volume) Jianbo Gao, Han Liu, Chao Liu, Qingshan Li, Zhi Guan, Zhong Chen
2019	A	`conf`	Enabling clone detection for ethereum via smart contract birthmarks. ICPC Han Liu, Zhiqiang Yang, Yu Jiang, Wenqi Zhao, Jiaguang Sun
2019	A*	`conf`	Fast Low-rank Metric Learning for Large-scale and High-dimensional Data. NeurIPS Han Liu, Zhizhong Han, Yu-Shen Liu, Ming Gu
2019	J	`jnl`	Fast Low-rank Metric Learning for Large-scale and High-dimensional Data. CoRR Han Liu, Zhizhong Han, Yu-Shen Liu, Ming Gu
2019	J	`jnl`	MVDLite: A Light-weight Representation of Model View Definition with Fast Validation for BIM Applications. CoRR Han Liu, Ge Gao, Hehua Zhang, Yu-Shen Liu, Yan Song, Ming Gu
2019	A	`conf`	Towards automated testing of blockchain-based decentralized applications. ICPC Jianbo Gao, Han Liu, Yue Li, Chao Liu, Zhiqiang Yang, Qingshan Li, Zhi Guan, Zhong Chen
2018	J	`jnl`	EASYFLOW: Keep Ethereum Away From Overflow. CoRR Jianbo Gao, Han Liu, Chao Liu, Qingshan Li, Zhi Guan, Zhong Chen
2018	—	`conf`	EClone: detect semantic clones in Ethereum via symbolic transaction sketch. ESEC/SIGSOFT FSE Han Liu, Zhiqiang Yang, Chao Liu, Yu Jiang, Wenqi Zhao, Jiaguang Sun
2018	A	`conf`	Jbench: a dataset of data races for concurrency testing. MSR Jian Gao, Xin Yang, Yu Jiang, Han Liu, Weiliang Ying, Xian Zhang
2018	A	`conf`	Managing concurrent testing of data race with ComRaDe. ISSTA Jian Gao, Xin Yang, Yu Jiang, Han Liu, Weiliang Ying, Wanting Sun, Ming Gu
2018	—	`conf`	ReGuard: finding reentrancy bugs in smart contracts. ICSE (Companion Volume) Chao Liu, Han Liu, Zhao Cao, Zhong Chen, Bangdao Chen, Bill Roscoe
2018	A*	`conf`	S-gram: towards semantic-aware security auditing for Ethereum smart contracts. ASE Han Liu, Chao Liu, Wenqi Zhao, Yu Jiang, Jiaguang Sun
2018	—	`conf`	SAFL: increasing and accelerating testing coverage with symbolic execution and guided fuzzing. ICSE (Companion Volume) Mingzhe Wang, Jie Liang, Yuanliang Chen, Yu Jiang, Xun Jiao, Han Liu, Xibin Zhao, Jiaguang Sun
2018	J	`jnl`	Safety-Assured Model-Driven Design of the Multifunction Vehicle Bus Controller. IEEE Trans. Intell. Transp. Syst. Yu Jiang, Han Liu, Houbing Song, Hui Kong, Rui Wang, Yong Guan, Lui Sha
2017	A*	`conf`	A language model for statements of software code. ASE Yixiao Yang, Yu Jiang, Ming Gu, Jiaguang Sun, Jian Gao, Han Liu
2017	A	`conf`	Dependable integrated clinical system architecture with runtime verification. ICCAD Yu Jiang, Mingzhe Wang, Han Liu, Mohammad Hosseini, Jiaguang Sun
2017	J	`jnl`	Enhanced Explicit Semantic Analysis for Product Model Retrieval in Construction Industry. IEEE Trans. Ind. Informatics Han Liu, Yu-Shen Liu, Pieter Pauwels, Hongling Guo, Ming Gu
2017	A*	`conf`	Stochastic optimization of program obfuscation. ICSE Han Liu, Chengnian Sun, Zhendong Su, Yu Jiang, Ming Gu, Jiaguang Sun
2016	A	`conf`	From Stateflow Simulation to Verified Implementation: A Verification Approach and A Real-Time Train Controller Design. RTAS Yu Jiang, Yixiao Yang, Han Liu, Hui Kong, Ming Gu, Jia-Guang Sun, Lui Sha
2016	A*	`conf`	Model driven design of heterogeneous synchronous embedded systems. ASE Huafeng Zhang, Yu Jiang, Han Liu, Hehua Zhang, Ming Gu, Jia-Guang Sun
2016	B	`conf`	Safety-Assured Formal Model-Driven Design of the Multifunction Vehicle Bus Controller. FM Yu Jiang, Han Liu, Houbing Song, Hui Kong, Ming Gu, Jiaguang Sun, Lui Sha
2016	B	`conf`	Taming Interrupts for Verifying Industrial Multifunction Vehicle Bus Controllers. FM Han Liu, Yu Jiang, Huafeng Zhang, Ming Gu, Jiaguang Sun
2016	—	`conf`	Towards better program obfuscation: optimization via language models. ICSE (Companion Volume) Han Liu
2016	—	`conf`	Tsmart-BIPEX: An Integrated Graphical Design Toolkit for Software Systems. D&P@MoDELS Huafeng Zhang, Yu Jiang, Han Liu, Ming Gu, Jiaguang Sun
2016	—	`conf`	Use runtime verification to improve the quality of medical care practice. ICSE (Companion Volume) Yu Jiang, Han Liu, Hui Kong, Rui Wang, Mohammad Hosseini, Jia-Guang Sun, Lui Sha
2015	J	`jnl`	Design of Mixed Synchronous/Asynchronous Systems with Multiple Clocks. IEEE Trans. Parallel Distributed Syst. Yu Jiang, Hehua Zhang, Huafeng Zhang, Han Liu, Xiaoyu Song, Ming Gu, Jiaguang Sun
2014	Misc	`conf`	Application-Specific Architecture Selection for Embedded Systems via Schedulability Analysis. TASE Han Liu, Hehua Zhang, Yu Jiang, Xiaoyu Song, Ming Gu, Jiaguang Sun
2014	—	`conf`	Tsmart-GalsBlock: a toolkit for modeling, validation, and synthesis of multi-clocked embedded systems. SIGSOFT FSE Yu Jiang, Hehua Zhang, Huafeng Zhang, Xinyan Zhao, Han Liu, Chengnian Sun, Xiaoyu Song, Ming Gu, Jia-Guang Sun
2014	Misc	`conf`	iDola: Bridge Modeling to Verification and Implementation of Interrupt-Driven Systems. TASE Han Liu, Hehua Zhang, Yu Jiang, Xiaoyu Song, Ming Gu, Jia-Guang Sun
2013	—	`conf`	System reliability calculation based on the run-time analysis of ladder program. ESEC/SIGSOFT FSE Yu Jiang, Hehua Zhang, Han Liu, Xiaoyu Song, William N. N. Hung, Ming Gu, Jiaguang Sun
2011	—	`conf`	The design of indoor emergency management system based on wireless location. CCIS Han Liu, Jie Li, Hongwei Jia