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
2025 Best paper conf
Assessing the Effectiveness of the Tigress Obfuscator Against MOPSA and BinaryNinja.
CheckMATE
Nicolò Altamura, Enrico Bragastini, Marco Campion, Mila Dalla Preda
2026 Best paper preprint
ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage.
arXiv
Chang Liu, Noah Fleischmann, Nicolò Altamura, Edward Raff, James Holt, Kristopher Micinski