Follow
Xiaodong Yang
Xiaodong Yang
Visa Inc
Verified email at visa.com
Title
Cited by
Cited by
Year
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
2482020
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
1902019
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
1052018
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
842020
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
582019
Robustness Verification of Semantic Segmentation Neural Networks using Relaxed Reachability
HD Tran, N Pal, P Musau, DM Lopez, N Hamilton, X Yang, S Bak, ...
32*
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
252022
Reachability Analysis for Feed-Forward Neural Networks using Face Lattices
X Yang, HD Tran, W Xiang, T Johnson
arXiv preprint arXiv:2003.01226, 2020
232020
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
212021
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
132021
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
102020
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
72023
Reachability Analysis of Convolutional Neural Networks
X Yang, T Yamaguchi, HD Tran, B Hoxha, TT Johnson, D Prokhorov
arXiv preprint arXiv:2106.12074, 2021
72021
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
12020
Tracking of Human Joints Using Twist and Exponential Map
X Yang, J Tan
2017 IEEE 7th Annual International Conference on CYBER Technology in …, 2017
12017
The system can't perform the operation now. Try again later.
Articles 1–15