Dong Xu

According to our database, Dong Xu authored at least 5 papers between 2019 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Harnessing Neuron Stability to Improve DNN Verification.

Hai Duong, Dong Xu, ThanhVu Nguyen, Matthew B. Dwyer

Proc. ACM Softw. Eng., 2024

Training for Verification: Increasing Neuron Stability to Scale DNN Verification.

Dong Xu, Nusrat Jahan Mozumder, Hai Duong, Matthew B. Dwyer

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

2020

Systematic Generation of Diverse Benchmarks for DNN Verification.

Dong Xu, David Shriver, Matthew B. Dwyer, Sebastian G. Elbaum

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

2019

Formal Language Constraints for Markov Decision Processes.

Eleanor Quint, Dong Xu, Haluk Dogan, Zeynep Hakguder, Stephen Scott, Matthew B. Dwyer

CoRR, 2019

Refactoring Neural Networks for Verification.

David Shriver, Dong Xu, Sebastian G. Elbaum, Matthew B. Dwyer

CoRR, 2019