SymInfer: Inferring Numerical Invariants using Symbolic States. - ThanhVu Nguyen; KimHao Nguyen; Hai Duong (ICSE-Companion, 2022)

A DPLL(T) Framework for Verifying Deep Neural Networks. - Hai Duong; Linhan Li; ThanhVu Nguyen; Matthew B. Dwyer (CoRR, 2023)

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)

MFS-SubSC: an efficient algorithm for mining frequent sequences with sub-sequence constraint. - Hai Duong; Anh N. Tran (Knowl. Inf. Syst., 2024)

NeuralSAT: A High-Performance Verification Tool for Deep Neural Networks. - Hai Duong; ThanhVu Nguyen; Matthew B. Dwyer (CAV (2), 2025)