| Analyzing deep neural networks with symbolic propagation: Towards higher precision and faster verification J Li, J Liu, P Yang, L Chen, X Huang, L Zhang Static Analysis: 26th International Symposium, SAS 2019, Porto, Portugal …, 2019 | 100 | 2019 |
| Abstraction of arrays based on non contiguous partitions J Liu, X Rival International Workshop on Verification, Model Checking, and Abstract …, 2015 | 35 | 2015 |
| Enhancing robustness verification for deep neural networks via symbolic propagation P Yang, J Li, J Liu, CC Huang, R Li, L Chen, X Huang, L Zhang Formal Aspects of Computing 33 (3), 407-435, 2021 | 22 | 2021 |
| An abstract domain to infer octagonal constraints with absolute value L Chen, J Liu, A Miné, D Kapur, J Wang Static Analysis: 21st International Symposium, SAS 2014, Munich, Germany …, 2014 | 15 | 2014 |
| An array content static analysis based on non-contiguous partitions J Liu, X Rival Computer Languages, Systems & Structures 47, 104-129, 2017 | 13 | 2017 |
| Abstraction of optional numerical values J Liu, X Rival Asian Symposium on Programming Languages and Systems, 146-166, 2015 | 13 | 2015 |
| Verifying numerical programs via iterative abstract testing B Yin, L Chen, J Liu, J Wang, P Cousot Static Analysis: 26th International Symposium, SAS 2019, Porto, Portugal …, 2019 | 12 | 2019 |
| Field-based static taint analysis for industrial microservices Z Zhong, J Liu, D Wu, P Di, Y Sui, AX Liu Proceedings of the 44th International Conference on Software Engineering …, 2022 | 11 | 2022 |
| Input validation for neural networks via runtime local robustness verification J Liu, L Chen, A Mine, J Wang arXiv preprint arXiv:2002.03339, 2020 | 9 | 2020 |
| Automatic verification of embedded system code manipulating dynamic structures stored in contiguous regions J Liu, L Chen, X Rival IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2018 | 8 | 2018 |
| Scalable compositional static taint analysis for sensitive data tracing on industrial micro-services Z Zhong, J Liu, D Wu, P Di, Y Sui, AX Liu, JCS Lui 2023 IEEE/ACM 45th International Conference on Software Engineering …, 2023 | 5 | 2023 |
| Hierarchical analysis of loops with relaxed abstract transformers B Yin, L Chen, J Liu, J Wang IEEE Transactions on Reliability 69 (1), 203-215, 2019 | 5 | 2019 |
| Record and replay of online traffic for microservices with automatic mocking point identification J Liu, J Liu, P Di, AX Liu, Z Zhong Proceedings of the 44th International Conference on Software Engineering …, 2022 | 4 | 2022 |
| Efficient complete verification of neural networks via layerwised splitting and refinement B Yin, L Chen, J Liu, J Wang IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2022 | 3 | 2022 |
| Hybrid Inlining: A Framework for Compositional and Context-Sensitive Static Analysis J Liu, J Liu, P Di, D Wu, H Zheng, AX Liu, J Xue Proceedings of the 32nd ACM SIGSOFT International Symposium on Software …, 2023 | 2 | 2023 |
| Hybrid Inlining: A Compositional and Context Sensitive Static Analysis Framework J Liu, J Liu, P Di, D Wu, H Zheng, A Liu, J Xue arXiv preprint arXiv:2210.14436, 2022 | | 2022 |
| Static analysis on numeric and structural properties of array contents J Liu Université Paris sciences et lettres, 2018 | | 2018 |
