| 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 | 319 | 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 | 213 | 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 | 120 | 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 | 91 | 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 | 62 | 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, ... | 45* | |
| 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 | 36 | 2022 |
| 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 |
| 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 | 22 | 2021 |
| 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 | 17 | 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 | 15 | 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 | 13 | 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 |
| 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 |
| 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 |
Taylor T JohnsonAssociate Professor, Computer Science, Vanderbilt UniversityEmail verificata su vanderbilt.edu
