NNV: The neural network verification tool for deep neural networks and learning-enabled cyber-physical systems HD Tran, X Yang, DM Lopez, P Musau, LV Nguyen, W Xiang, S Bak, ... International Conference on Computer Aided Verification, 3-17, 2020 | 331 | 2020 |
Star-based reachability analysis of deep neural networks HD Tran, DM Lopez, P Musau, X Yang, LV Nguyen, W Xiang, TT Johnson International Symposium on Formal Methods, 670-686, 2019 | 227 | 2019 |
Verification for machine learning, autonomy, and neural networks survey W Xiang, P Musau, AA Wild, DM Lopez, N Hamilton, X Yang, J Rosenfeld, ... arXiv preprint arXiv:1810.01989, 2018 | 124 | 2018 |
Reachable set estimation for neural network control systems: A simulation-guided approach W Xiang, HD Tran, X Yang, TT Johnson IEEE Transactions on Neural Networks and Learning Systems 32 (5), 1821-1830, 2020 | 94 | 2020 |
Parallelizable reachability analysis algorithms for feed-forward neural networks HD Tran, P Musau, DM Lopez, X Yang, LV Nguyen, W Xiang, TT Johnson 2019 IEEE/ACM 7th International Conference on Formal Methods in Software …, 2019 | 65 | 2019 |
Robustness Verification of Semantic Segmentation Neural Networks using Relaxed Reachability HD Tran, N Pal, P Musau, DM Lopez, N Hamilton, X Yang, S Bak, ... | 46* | |
Neural network repair with reachability analysis X Yang, T Yamaguchi, HD Tran, B Hoxha, TT Johnson, D Prokhorov International Conference on Formal Modeling and Analysis of Timed Systems …, 2022 | 38 | 2022 |
Reachability analysis of deep ReLU neural networks using facet-vertex incidence. X Yang, TT Johnson, HD Tran, T Yamaguchi, B Hoxha, DV Prokhorov HSCC, 18:1-18:7, 2021 | 25 | 2021 |
Reachability Analysis for Feed-Forward Neural Networks using Face Lattices X Yang, HD Tran, W Xiang, T Johnson arXiv preprint arXiv:2003.01226, 2020 | 23 | 2020 |
A Framework for Identification and Validation of Affine Hybrid Automata from Input-Output Traces X Yang, OA Beg, M Kenigsberg, TT Johnson ACM Transactions on Cyber-Physical Systems, 2020 | 18 | 2020 |
Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter HD Tran, N Pal, DM Lopez, P Musau, X Yang, LV Nguyen, W Xiang, ... Formal Aspects of Computing, 1-27, 2021 | 17 | 2021 |
Verification of Recurrent Neural Networks with Star Reachability HD Tran, SW Choi, X Yang, T Yamaguchi, B Hoxha, D Prokhorov Proceedings of the 26th ACM International Conference on Hybrid Systems …, 2023 | 14 | 2023 |
Reachability Analysis of Convolutional Neural Networks X Yang, T Yamaguchi, HD Tran, B Hoxha, TT Johnson, D Prokhorov arXiv preprint arXiv:2106.12074, 2021 | 6 | 2021 |
SimCE: Simplifying Cross-Entropy Loss for Collaborative Filtering X Yang, H Chen, Y Yan, Y Tang, Y Zhao, E Xu, Y Cai, H Tong arXiv preprint arXiv:2406.16170, 2024 | 2 | 2024 |
The Neural Network Verification (NNV) Tool HD Tran, DM Lopez, X Yang, P Musau, LV Nguyen, W Xiang, S Bak, ... 2020 IEEE Workshop on Design Automation for CPS and IoT (DESTION), 21-22, 2020 | 2 | 2020 |
Enhancing Distribution and Label Consistency for Graph Out-of-Distribution Generalization S Wang, X Yang, R Islam, H Chen, M Xu, J Li, Y Cai arXiv preprint arXiv:2501.04102, 2025 | 1 | 2025 |
Tracking of Human Joints Using Twist and Exponential Map X Yang, J Tan 2017 IEEE 7th Annual International Conference on CYBER Technology in …, 2017 | 1 | 2017 |
GAIM: Attacking Graph Neural Networks via Adversarial Influence Maximization X Yang, X Li, H Chen, Y Cai arXiv preprint arXiv:2408.10948, 2024 | | 2024 |