| Reguard: finding reentrancy bugs in smart contracts C Liu, H Liu, Z Cao, Z Chen, B Chen, B Roscoe Proceedings of the 40th International Conference on Software Engineering …, 2018 | 328 | 2018 |
| SAFL: increasing and accelerating testing coverage with symbolic execution and guided fuzzing M Wang, J Liang, Y Chen, Y Jiang, X Jiao, H Liu, X Zhao, J Sun Proceedings of the 40th International Conference on Software Engineering …, 2018 | 94 | 2018 |
| S-gram: towards semantic-aware security auditing for ethereum smart contracts H Liu, C Liu, W Zhao, Y Jiang, J Sun Proceedings of the 33rd ACM/IEEE international conference on automated …, 2018 | 90 | 2018 |
| Easyflow: Keep ethereum away from overflow J Gao, H Liu, C Liu, Q Li, Z Guan, Z Chen 2019 IEEE/ACM 41st International Conference on Software Engineering …, 2019 | 65 | 2019 |
| Design of mixed synchronous/asynchronous systems with multiple clocks Y Jiang, H Zhang, H Zhang, H Liu, X Song, M Gu, J Sun IEEE Transactions on Parallel and Distributed Systems 26 (8), 2220-2232, 2014 | 55 | 2014 |
| Blockeye: Hunting for defi attacks on blockchain B Wang, H Liu, C Liu, Z Yang, Q Ren, H Zheng, H Lei 2021 IEEE/ACM 43rd international conference on software engineering …, 2021 | 47 | 2021 |
| Dependable model-driven development of CPS: From stateflow simulation to verified implementation Y Jiang, H Song, Y Yang, H Liu, M Gu, Y Guan, J Sun, L Sha ACM Transactions on Cyber-Physical Systems 3 (1), 1-31, 2018 | 45 | 2018 |
| Enabling clone detection for ethereum via smart contract birthmarks H Liu, Z Yang, Y Jiang, W Zhao, J Sun 2019 IEEE/ACM 27th International Conference on Program Comprehension (ICPC …, 2019 | 37 | 2019 |
| Towards automated testing of blockchain-based decentralized applications J Gao, H Liu, Y Li, C Liu, Z Yang, Q Li, Z Guan, Z Chen 2019 IEEE/ACM 27th International Conference on Program Comprehension (ICPC …, 2019 | 37 | 2019 |
| Stochastic optimization of program obfuscation H Liu, C Sun, Z Su, Y Jiang, M Gu, J Sun 2017 IEEE/ACM 39th International Conference on Software Engineering (ICSE …, 2017 | 34 | 2017 |
| Use runtime verification to improve the quality of medical care practice Y Jiang, H Liu, H Kong, R Wang, M Hosseini, J Sun, L Sha Proceedings of the 38th International Conference on Software Engineering …, 2016 | 34 | 2016 |
| From stateflow simulation to verified implementation: A verification approach and a real-time train controller design Y Jiang, Y Yang, H Liu, H Kong, M Gu, J Sun, L Sha 2016 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS …, 2016 | 34 | 2016 |
| Eclone: Detect semantic clones in ethereum via symbolic transaction sketch H Liu, Z Yang, C Liu, Y Jiang, W Zhao, J Sun Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018 | 32 | 2018 |
| Reguard: finding reentrancy bugs in smart contracts. In 2018 IEEE/ACM 40th International Conference on Software Engineering: Companion (ICSE-Companion) C Liu, H Liu, Z Cao, Z Chen, B Chen, B Roscoe IEEE, 65ś68, 2018 | 31 | 2018 |
| Safety-assured model-driven design of the multifunction vehicle bus controller Y Jiang, H Liu, H Song, H Kong, R Wang, Y Guan, L Sha IEEE Transactions on Intelligent Transportation Systems 19 (10), 3320-3333, 2018 | 30 | 2018 |
| System reliability calculation based on the run-time analysis of ladder program Y Jiang, H Zhang, H Liu, X Song, WNN Hung, M Gu, J Sun Proceedings of the 2013 9th joint meeting on foundations of software …, 2013 | 21 | 2013 |
| Jbench: a dataset of data races for concurrency testing J Gao, X Yang, Y Jiang, H Liu, W Ying, X Zhang Proceedings of the 15th international conference on mining software …, 2018 | 20 | 2018 |
| A language model for statements of software code Y Yang, Y Jiang, M Gu, J Sun, J Gao, H Liu 2017 32nd IEEE/ACM International Conference on Automated Software …, 2017 | 19 | 2017 |
| Seraph: enabling cross-platform security analysis for evm and wasm smart contracts Z Yang, H Liu, Y Li, H Zheng, L Wang, B Chen Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020 | 18 | 2020 |
| Tsmart-galsblock: A toolkit for modeling, validation, and synthesis of multi-clocked embedded systems Y Jiang, H Zhang, H Zhang, X Zhao, H Liu, C Sun, X Song, M Gu, J Sun Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations …, 2014 | 16 | 2014 |
Yu JiangTsinghua UniversityDirección de correo verificada de mail.tsinghua.edu.cn
