Hai Duong

This page is a disambiguation page, it actually contains multiple papers from persons of the same or a similar name.

Bibliography

2026

Verifying DNN-based Semantic Communication Against Generative Adversarial Noise.

[BibT_eX]

[DOI]

CoRR, February, 2026

2025

The 6th International Verification of Neural Networks Competition (VNN-COMP 2025): Summary and Results.

[BibT_eX]

[DOI]

CoRR, December, 2025

FGGM: Formal Grey-box Gradient Method for Attacking DRL-based MU-MIMO Scheduler.

[BibT_eX]

[DOI]

CoRR, October, 2025

NeuralSAT: Scaling Constraint Solving for DNN Verification (Competition Contribution).

[BibT_eX]

[DOI]

Hai Duong

ThanhVu Nguyen

Proceedings of the AI Verification - Second International Symposium, 2025

NeuralSAT: A High-Performance Verification Tool for Deep Neural Networks.

[BibT_eX]

[DOI]

Hai Duong

ThanhVu Nguyen

Matthew B. Dwyer

Proceedings of the Computer Aided Verification - 37th International Conference, 2025

2024

MFS-SubSC: an efficient algorithm for mining frequent sequences with sub-sequence constraint.

[BibT_eX]

[DOI]

Hai Duong

Anh N. Tran

Knowl. Inf. Syst., October, 2024

Harnessing Neuron Stability to Improve DNN Verification.

[BibT_eX]

[DOI]

Proc. ACM Softw. Eng., 2024

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

[BibT_eX]

[DOI]

Dong Xu

Nusrat Jahan Mozumder

Hai Duong

Matthew B. Dwyer

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

2023

A DPLL(T) Framework for Verifying Deep Neural Networks.

[BibT_eX]

[DOI]

CoRR, 2023

2022

SymInfer: Inferring Numerical Invariants using Symbolic States.

[BibT_eX]

[DOI]

ThanhVu Nguyen

KimHao Nguyen

Hai Duong

Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2022

Hai Duong

Bibliography

Loading...