Hoang-Dung Tran
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
15
Venues
10
Active years
2014–2025
Best venue rank
A*
Where they publish
Papers
15 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | CAV | StarV: A Qualitative and Quantitative Verification Tool for Learning-Enabled Systems. | Hoang-Dung Tran, Sung Woo Choi, Yuntao Li, Qing Liu, Hideki Okamoto, Bardh Hoxha, Georgios Fainekos |
| 2025 | ICFEM | Quantitative Verification for Temporal Properties of Massive Linear Systems. | Qing Liu, Yuntao Li, Sungwoo Choi, Luan Viet Nguyen, Hoang-Dung Tran |
| 2024 | DSN | Tutorial: Safe, Secure, and Trustworthy Artificial Intelligence (AI) via Formal Verification of Neural Networks and Autonomous Cyber-Physical Systems (CPS) with NNV. | Taylor T. Johnson, Diego Manzanas Lopez, Hoang-Dung Tran |
| 2024 | MEMOCODE | Perception-based Runtime Monitoring and Verification for Human-Robot Construction Systems. | Apala Pramanik, Sung Woo Choi, Yuntao Li, Luan Viet Nguyen, Kyungki Kim, Hoang-Dung Tran |
| 2023 | CAV | NNV 2.0: The Neural Network Verification Tool. | Diego Manzanas Lopez, Sung Woo Choi, Hoang-Dung Tran, Taylor T. Johnson |
| 2023 | EMSOFT | Tutorial: Neural Network and Autonomous Cyber-Physical Systems Formal Verification for Trustworthy AI and Safe Autonomy. | Hoang-Dung Tran, Diego Manzanas Lopez, Taylor T. Johnson |
| 2021 | CAV | Robustness Verification of Semantic Segmentation Neural Networks Using Relaxed Reachability. | Hoang-Dung Tran, Neelanjana Pal, Patrick Musau, Diego Manzanas Lopez, Nathaniel Hamilton, Xiaodong Yang, Stanley Bak, Taylor T. Johnson |
| 2020 | CAV | Improved Geometric Path Enumeration for Verifying ReLU Neural Networks. | Stanley Bak, Hoang-Dung Tran, Kerianne Hobbs, Taylor T. Johnson |
| 2020 | CAV | Verification of Deep Convolutional Neural Networks Using ImageStars. | Hoang-Dung Tran, Stanley Bak, Weiming Xiang, Taylor T. Johnson |
| 2020 | CAV | NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems. | Hoang-Dung Tran, Xiaodong Yang, Diego Manzanas Lopez, Patrick Musau, Luan Viet Nguyen, Weiming Xiang, Stanley Bak, Taylor T. Johnson |
| 2020 | SP | Case Study: Safety Verification of an Unmanned Underwater Vehicle. | Diego Manzanas Lopez, Patrick Musau, Nathaniel Hamilton, Hoang-Dung Tran, Taylor T. Johnson |
| 2019 | FM | Star-Based Reachability Analysis of Deep Neural Networks. | Hoang-Dung Tran, Diego Manzanas Lopez, Patrick Musau, Xiaodong Yang, Luan Viet Nguyen, Weiming Xiang, Taylor T. Johnson |
| 2019 | FORTE | Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems. | Hoang-Dung Tran, Luan Viet Nguyen, Patrick Musau, Weiming Xiang, Taylor T. Johnson |
| 2019 | ICSE | Parallelizable reachability analysis algorithms for feed-forward neural networks. | Hoang-Dung Tran, Patrick Musau, Diego Manzanas Lopez, Xiaodong Yang, Luan Viet Nguyen, Weiming Xiang, Taylor T. Johnson |
| 2014 | ICARCV | Guaranteed cost static output feedback for networked control systems. | Hoang-Dung Tran, Quang Phuc Ha, Quang-Vinh Dang |