| A comprehensive study of autonomous vehicle bugs J Garcia, Y Feng, J Shen, S Almanee, Y Xia, QA Chen Proceedings of the ACM/IEEE 42nd international conference on software …, 2020 | 148 | 2020 |
| Statistical verification of cyber-physical systems using surrogate models and conformal inference X Qin, Y Xia, A Zutshi, C Fan, JV Deshmukh 2022 ACM/IEEE 13th International Conference on Cyber-Physical Systems (ICCPS …, 2022 | 21 | 2022 |
| Statistical verification of autonomous systems using surrogate models and conformal inference C Fan, X Qin, Y Xia, A Zutshi, J Deshmukh arXiv preprint arXiv:2004.00279, 2020 | 14 | 2020 |
| Statistical verification using surrogate models and conformal inference and a comparison with risk-aware verification X Qin, Y Xia, A Zutshi, C Fan, JV Deshmukh ACM Transactions on Cyber-Physical Systems 8 (2), 1-25, 2024 | 6 | 2024 |
| Systematic translation from natural language robot task descriptions to stl S Mohammadinejad, S Paul, Y Xia, V Kudalkar, J Thomason, ... International Conference on Bridging the Gap between AI and Reality, 259-276, 2024 | 1 | 2024 |
| Discovering Likely Invariants for Distributed Systems Through Runtime Monitoring and Learning Y Xia, D Sur, AS Pingle, JV Deshmukh, M Raghothaman, S Ravi International Conference on Verification, Model Checking, and Abstract …, 2025 | | 2025 |
| Superflows: A New Tool for Forensic Network Flow Analysis M Collins, JV Deshmukh, D Dinesh, M Raghothaman, S Ravi, Y Xia arXiv preprint arXiv:2403.01314, 2024 | | 2024 |
| Data-Driven Template-Free Invariant Generation Y Xia, JV Deshmukh, M Raghothaman, S Ravi arXiv preprint arXiv:2312.17527, 2023 | | 2023 |
