| A dpll (t) framework for verifying deep neural networks H Duong, TV Nguyen, M Dwyer arXiv preprint arXiv:2307.10266, 2023 | 11 | 2023 |
| Ffl: Fine-grained fault localization for student programs via syntactic and semantic reasoning TD Nguyen, T Le-Cong, DM Luong, VH Duong, XBD Le, D Lo, QT Huynh 2022 IEEE International Conference on Software Maintenance and Evolution …, 2022 | 9 | 2022 |
| Harnessing neuron stability to improve dnn verification H Duong, D Xu, TV Nguyen, MB Dwyer Proceedings of the ACM on Software Engineering 1 (FSE), 859-881, 2024 | 5 | 2024 |
| SymInfer: inferring numerical invariants using symbolic states TV Nguyen, KH Nguyen, H Duong Proceedings of the ACM/IEEE 44th International Conference on Software …, 2022 | 5 | 2022 |
| Efficient Keyword Spotting System Using Deformable Convolutional Network HB Nguyen, VH Duong, AX Tran Thi, QC Nguyen IETE Journal of Research 69 (7), 4196-4204, 2023 | 4 | 2023 |
| Multi-channel speech enhancement using a minimum variance distortionless response beamformer based on graph convolutional network HB Nguyen, D Van Hai, TD Bui, HN Chau, QC Nguyen International Journal of Advanced Computer Science and Applications 13 (10), 2022 | 3 | 2022 |
| Training for Verification: Increasing Neuron Stability to Scale DNN Verification D Xu, NJ Mozumder, H Duong, MB Dwyer International Conference on Tools and Algorithms for the Construction and …, 2024 | 1 | 2024 |
