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 | 45 | 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 | 43 | 2019 |
Neuro-symbolic verification of deep neural networks X Xie, K Kersting, D Neider arXiv preprint arXiv:2203.00938, 2022 | 21 | 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 | 14 | 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 | 11 | 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 | 6 | 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 | 4 | 2023 |
: A Semantics-Guided Safety Enhancement Framework for AI-Enabled Cyber-Physical Systems J Song, X Xie, L Ma IEEE Transactions on Software Engineering 49 (8), 4058-4080, 2023 | 3 | 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 | 3 | 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 Proceedings of the 46th International Conference on Software Engineering …, 2024 | 2 | 2024 |
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 | 2 | 2024 |
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 | 2 | 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 IEEE Transactions on Software Engineering, 2024 | 1 | 2024 |
GenSafe: A Generalizable Safety Enhancer for Safe Reinforcement Learning Algorithms Based on Reduced Order Markov Decision Process Model Z Zhou, X Xie, J Song, Z Shu, L Ma arXiv preprint arXiv:2406.03912, 2024 | | 2024 |
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 | | |