Hai Duong

11 papers Journal 7Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
Verifying DNN-based Semantic Communication Against Generative Adversarial Noise.
CoRR
Thanh Le, Hai Duong, ThanhVu Nguyen, Takeshi Matsumura
2025 J jnl
FGGM: Formal Grey-box Gradient Method for Attacking DRL-based MU-MIMO Scheduler.
CoRR
Thanh Le, Hai Duong, Yusheng Ji, ThanhVu Nguyen, John C. S. Lui
2025 — conf
NeuralSAT: A High-Performance Verification Tool for Deep Neural Networks.
CAV (2)
Hai Duong, ThanhVu Nguyen, Matthew B. Dwyer
2025 — conf
NeuralSAT: Scaling Constraint Solving for DNN Verification (Competition Contribution).
SAIV
Hai Duong, ThanhVu Nguyen
2025 J jnl
The 6th International Verification of Neural Networks Competition (VNN-COMP 2025): Summary and Results.
CoRR
Konstantin Kaulen, Tobias Ladner, Stanley Bak, Christopher Brix, Hai Duong, Thomas Flinkow, Taylor T. Johnson, Lukas Koller, Edoardo Manino, ThanhVu H. Nguyen, Haoze Wu
2024 J jnl
Harnessing Neuron Stability to Improve DNN Verification.
CoRR
Hai Duong, Dong Xu, ThanhVu Nguyen, Matthew B. Dwyer
2024 J jnl
Harnessing Neuron Stability to Improve DNN Verification.
Proc. ACM Softw. Eng.
Hai Duong, Dong Xu, ThanhVu Nguyen, Matthew B. Dwyer
2024 J jnl
MFS-SubSC: an efficient algorithm for mining frequent sequences with sub-sequence constraint.
Knowl. Inf. Syst.
Hai Duong, Anh N. Tran
2024 — conf
Training for Verification: Increasing Neuron Stability to Scale DNN Verification.
TACAS (3)
Dong Xu, Nusrat Jahan Mozumder, Hai Duong, Matthew B. Dwyer
2023 J jnl
A DPLL(T) Framework for Verifying Deep Neural Networks.
CoRR
Hai Duong, Linhan Li, ThanhVu Nguyen, Matthew B. Dwyer
2022 — conf
SymInfer: Inferring Numerical Invariants using Symbolic States.
ICSE-Companion
ThanhVu Nguyen, KimHao Nguyen, Hai Duong