Refactoring Neural Networks for Verification. - David Shriver; Dong Xu 021; Sebastian G. Elbaum; Matthew B. Dwyer (CoRR, 2019)

Formal Language Constraints for Markov Decision Processes. - Eleanor Quint; Dong Xu 021; Haluk Dogan; Zeynep Hakguder; Stephen Scott 001; Matthew B. Dwyer (CoRR, 2019)

Systematic Generation of Diverse Benchmarks for DNN Verification. - Dong Xu 021; David Shriver; Matthew B. Dwyer; Sebastian G. Elbaum (CAV (1), 2020)

Training for Verification: Increasing Neuron Stability to Scale DNN Verification. - Dong Xu 021; Nusrat Jahan Mozumder; Hai Duong; Matthew B. Dwyer (TACAS (3), 2024)

Harnessing Neuron Stability to Improve DNN Verification. - Hai Duong; Dong Xu 021; ThanhVu Nguyen; Matthew B. Dwyer (Proc. ACM Softw. Eng., 2024)