| Exploring and exploiting the correlations between bug-inducing and bug-fixing commits M Wen, R Wu, Y Liu, Y Tian, X Xie, SC Cheung, Z Su Proceedings of the 2019 27th ACM Joint Meeting on European Software …, 2019 | 42 | 2019 |
| Exposing library API misuses via mutation analysis M Wen, Y Liu, R Wu, X Xie, SC Cheung, Z Su 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE …, 2019 | 40 | 2019 |
| Neuro-symbolic verification of deep neural networks X Xie, K Kersting, D Neider arXiv preprint arXiv:2203.00938, 2022 | 18 | 2022 |
| Property-directed verification and robustness certification of recurrent neural networks I Khmelnitsky, D Neider, R Roy, X Xie, B Barbot, B Bollig, A Finkel, ... Automated Technology for Verification and Analysis: 19th International …, 2021 | 13 | 2021 |
| Exposing library API misuses via mutation analysis. In 2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE) M Wen, Y Liu, R Wu, X Xie, SC Cheung, Z Su IEEE, 2019 | 8 | 2019 |
| Online reset for signal temporal logic monitoring Z Zhang, P Arcaini, X Xie IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2022 | 5 | 2022 |
| Analysis of recurrent neural networks via property-directed verification of surrogate models I Khmelnitsky, D Neider, R Roy, X Xie, B Barbot, B Bollig, A Finkel, ... International Journal on Software Tools for Technology Transfer 25 (3), 341-354, 2023 | 3 | 2023 |
| LUNA: A Model-Based Universal Analysis Framework for Large Language Models D Song, X Xie, J Song, D Zhu, Y Huang, F Juefei-Xu, L Ma arXiv preprint arXiv:2310.14211, 2023 | 1 | 2023 |
| Towards building ai-cps with nvidia isaac sim: An industrial benchmark and case study for robotics manipulation Z Zhou, J Song, X Xie, Z Shu, L Ma, D Liu, J Yin, S See arXiv preprint arXiv:2308.00055, 2023 | 1 | 2023 |
| DeepGemini: Verifying Dependency Fairness for Deep Neural Network X Xie, F Zhang, X Hu, L Ma Proceedings of the AAAI Conference on Artificial Intelligence 37 (12), 15251 …, 2023 | 1 | 2023 |
| Mosaic: Model-based Safety Analysis Framework for AI-enabled Cyber-Physical Systems X Xie, J Song, Z Zhou, F Zhang, L Ma arXiv preprint arXiv:2305.03882, 2023 | 1 | 2023 |
| Online Safety Analysis for LLMs: a Benchmark, an Assessment, and a Path Forward X Xie, J Song, Z Zhou, Y Huang, D Song, L Ma arXiv preprint arXiv:2404.08517, 2024 | | 2024 |
| : A Semantics-Guided Safety Enhancement Framework for AI-enabled Cyber-Physical Systems J Song, X Xie, L Ma IEEE Transactions on Software Engineering, 2023 | | 2023 |
| DeepGalaxy: Testing Neural Network Verifiers via Two-Dimensional Input Space Exploration X Xie, F Zhang arXiv preprint arXiv:2201.08087, 2022 | | 2022 |
| Formal Verification of Neural Networks by Learning Automata Models I Khmelnitskya, D Neiderc, R Royc, X Xiec, B Barbotd, B Bolliga, A Finkela, ... LiVe 2022 6th Workshop on Learning in Verification, 0 | | |
