| 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 | 80 | 2019 |
| Abstraction of arrays based on non contiguous partitions J Liu, X Rival International Workshop on Verification, Model Checking, and Abstract …, 2015 | 30 | 2015 |
| 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 | 12 | 2014 |
| An array content static analysis based on non-contiguous partitions J Liu, X Rival Computer Languages, Systems & Structures 47, 104-129, 2017 | 11 | 2017 |
| Input validation for neural networks via runtime local robustness verification J Liu, L Chen, A Mine, J Wang arXiv preprint arXiv:2002.03339, 2020 | 10 | 2020 |
| Abstraction of optional numerical values J Liu, X Rival Programming Languages and Systems: 13th Asian Symposium, APLAS 2015, Pohang …, 2015 | 9 | 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 | 8 | 2019 |
| 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 | 7 | 2018 |
| 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 | 4 | 2022 |
| 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 | 1 | 2022 |
| 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 | 1 | 2019 |
| 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 | | 2022 |
| Static analysis on numeric and structural properties of array contents J Liu Université Paris sciences et lettres, 2018 | | 2018 |
