Hoang-Dung Tran

69 papers B 1C 8Misc 1Journal 29Unranked 30
YearRankTypeTitle / Venue / Authors
2025 J jnl
Deterministic World Models for Verification of Closed-loop Vision-based Systems.
CoRR
Yuang Geng, Zhuoyang Zhou, Zhongzheng Zhang, Siyuan Pan, Hoang-Dung Tran, Ivan Ruchkin
2025 — conf
Perception-based Quantitative Runtime Verification for Learning-enabled Cyber-Physical Systems.
ICCPS
Ryan Brown, Luan Viet Nguyen, Weiming Xiang, Marilyn Wolf, Hoang-Dung Tran
2025 — conf
ProbStar Temporal Logic for Verifying Complex Behaviors of Learning-enabled Systems.
HSCC
Hoang-Dung Tran, Sung Woo Choi, Yuntao Li, Hideki Okamoto, Bardh Hoxha, Georgios Fainekos
2025 C conf
Quantitative Verification for Temporal Properties of Massive Linear Systems.
ICFEM
Qing Liu, Yuntao Li, Sungwoo Choi, Luan Viet Nguyen, Hoang-Dung Tran
2025 J jnl
Reachability Analysis of Sigmoidal Neural Networks.
ACM Trans. Embed. Comput. Syst.
Sung Woo Choi, Mykhailo Ivashchenko, Luan Viet Nguyen, Hoang-Dung Tran
2025 — conf
StarV: A Qualitative and Quantitative Verification Tool for Learning-Enabled Systems.
CAV (2)
Hoang-Dung Tran, Sung Woo Choi, Yuntao Li, Qing Liu, Hideki Okamoto, Bardh Hoxha, Georgios Fainekos
2024 C conf
A Transition System Abstraction Framework for Neural Network Dynamical System Models.
ACC
Yejiang Yang, Zihao Mo, Hoang-Dung Tran, Weiming Xiang
2024 J jnl
A Transition System Abstraction Framework for Neural Network Dynamical System Models.
CoRR
Yejiang Yang, Zihao Mo, Hoang-Dung Tran, Weiming Xiang
2024 C conf
Perception-based Runtime Monitoring and Verification for Human-Robot Construction Systems.
MEMOCODE
Apala Pramanik, Sung Woo Choi, Yuntao Li, Luan Viet Nguyen, Kyungki Kim, Hoang-Dung Tran
2024 — conf
Tutorial: Safe, Secure, and Trustworthy Artificial Intelligence (AI) via Formal Verification of Neural Networks and Autonomous Cyber-Physical Systems (CPS) with NNV.
DSN-S
Taylor T. Johnson, Diego Manzanas Lopez, Hoang-Dung Tran
2023 J jnl
Decentralized Safe Control for Distributed Cyber-Physical Systems Using Real-Time Reachability Analysis.
IEEE Trans. Control. Netw. Syst.
Luan Viet Nguyen, Hoang-Dung Tran, Taylor T. Johnson, Vijay Gupta
2023 — conf
NNV 2.0: The Neural Network Verification Tool.
CAV (2)
Diego Manzanas Lopez, Sung Woo Choi, Hoang-Dung Tran, Taylor T. Johnson
2023 — conf
Quantitative Verification for Neural Networks using ProbStars.
HSCC
Hoang-Dung Tran, Sungwoo Choi, Hideki Okamoto, Bardh Hoxha, Georgios Fainekos, Danil V. Prokhorov
2023 Misc conf
Tutorial: Neural Network and Autonomous Cyber-Physical Systems Formal Verification for Trustworthy AI and Safe Autonomy.
EMSOFT
Hoang-Dung Tran, Diego Manzanas Lopez, Taylor T. Johnson
2023 — conf
Verification of Recurrent Neural Networks with Star Reachability.
HSCC
Hoang-Dung Tran, Sung Woo Choi, Xiaodong Yang, Tomoya Yamaguchi, Bardh Hoxha, Danil V. Prokhorov
2023 — conf
Verifying Binary Neural Networks on Continuous Input Space using Star Reachability.
FormaliSE
Mykhailo Ivashchenko, Sung Woo Choi, Luan Viet Nguyen, Hoang-Dung Tran
2022 — conf
Neural Network Compression of ACAS Xu Early Prototype Is Unsafe: Closed-Loop Verification Through Quantized State Backreachability.
NFM
Stanley Bak, Hoang-Dung Tran
2022 J jnl
Neural Network Compression of ACAS Xu is Unsafe: Closed-Loop Verification through Quantized State Backreachability.
CoRR
Stanley Bak, Hoang-Dung Tran
2022 — conf
Neural Network Repair with Reachability Analysis.
FORMATS
Xiaodong Yang, Tom Yamaguchi, Hoang-Dung Tran, Bardh Hoxha, Taylor T. Johnson, Danil V. Prokhorov
2022 J jnl
Real-Time Verification for Distributed Cyber-Physical Systems.
Leibniz Trans. Embed. Syst.
Hoang-Dung Tran, Luan Viet Nguyen, Patrick Musau, Weiming Xiang, Taylor T. Johnson
2022 J jnl
Verification Approaches for Learning-Enabled Autonomous Cyber-Physical Systems.
IEEE Des. Test
Hoang-Dung Tran, Weiming Xiang, Taylor T. Johnson
2021 J jnl
Neural Network Repair with Reachability Analysis.
CoRR
Xiaodong Yang, Tom Yamaguchi, Hoang-Dung Tran, Bardh Hoxha, Taylor T. Johnson, Danil V. Prokhorov
2021 J jnl
Reachability Analysis of Convolutional Neural Networks.
CoRR
Xiaodong Yang, Tomoya Yamaguchi, Hoang-Dung Tran, Bardh Hoxha, Taylor T. Johnson, Danil V. Prokhorov
2021 — conf
Reachability analysis of deep ReLU neural networks using facet-vertex incidence.
HSCC
Xiaodong Yang, Taylor T. Johnson, Hoang-Dung Tran, Tomoya Yamaguchi, Bardh Hoxha, Danil V. Prokhorov
2021 J jnl
Reachable Set Estimation for Neural Network Control Systems: A Simulation-Guided Approach.
IEEE Trans. Neural Networks Learn. Syst.
Weiming Xiang, Hoang-Dung Tran, Xiaodong Yang, Taylor T. Johnson
2021 — conf
Robustness Verification of Semantic Segmentation Neural Networks Using Relaxed Reachability.
CAV (1)
Hoang-Dung Tran, Neelanjana Pal, Patrick Musau, Diego Manzanas Lopez, Nathaniel Hamilton, Xiaodong Yang, Stanley Bak, Taylor T. Johnson
2021 J jnl
Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter.
Formal Aspects Comput.
Hoang-Dung Tran, Neelanjana Pal, Diego Manzanas Lopez, Patrick Musau, Xiaodong Yang, Luan Viet Nguyen, Weiming Xiang, Stanley Bak, Taylor T. Johnson
2020 — conf
ARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.
ARCH
Taylor T. Johnson, Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Elena Botoeva, Francesco Leofante, Amir Maleki, Chelsea Sidrane, Jiameng Fan, Chao Huang
2020 — conf
Case Study: Safety Verification of an Unmanned Underwater Vehicle.
SP (Workshops)
Diego Manzanas Lopez, Patrick Musau, Nathaniel Hamilton, Hoang-Dung Tran, Taylor T. Johnson
2020 — conf
Improved Geometric Path Enumeration for Verifying ReLU Neural Networks.
CAV (1)
Stanley Bak, Hoang-Dung Tran, Kerianne Hobbs, Taylor T. Johnson
2020 — conf
NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems.
CAV (1)
Hoang-Dung Tran, Xiaodong Yang, Diego Manzanas Lopez, Patrick Musau, Luan Viet Nguyen, Weiming Xiang, Stanley Bak, Taylor T. Johnson
2020 J jnl
NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems.
CoRR
Hoang-Dung Tran, Xiaodong Yang, Diego Manzanas Lopez, Patrick Musau, Luan Viet Nguyen, Weiming Xiang, Stanley Bak, Taylor T. Johnson
2020 J jnl
Reachability Analysis for Feed-Forward Neural Networks using Face Lattices.
CoRR
Xiaodong Yang, Hoang-Dung Tran, Weiming Xiang, Taylor T. Johnson
2020 J jnl
Reachable Set Estimation for Neural Network Control Systems: A Simulation-Guided Approach.
CoRR
Weiming Xiang, Hoang-Dung Tran, Xiaodong Yang, Taylor T. Johnson
2020 — conf
Verification of Deep Convolutional Neural Networks Using ImageStars.
CAV (1)
Hoang-Dung Tran, Stanley Bak, Weiming Xiang, Taylor T. Johnson
2020 J jnl
Verification of Deep Convolutional Neural Networks Using ImageStars.
CoRR
Hoang-Dung Tran, Stanley Bak, Weiming Xiang, Taylor T. Johnson
2019 — conf
ARCH-COMP19 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.
ARCH@CPSIoTWeek
Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Souradeep Dutta, Taylor J. Carpenter, Radoslav Ivanov, Taylor T. Johnson
2019 C conf
Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems.
FORTE
Hoang-Dung Tran, Luan Viet Nguyen, Patrick Musau, Weiming Xiang, Taylor T. Johnson
2019 J jnl
Nonconservative Lifted Convex Conditions for Stability of Discrete-Time Switched Systems Under Minimum Dwell-Time Constraint.
IEEE Trans. Autom. Control.
Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson
2019 — conf
Numerical verification of affine systems with up to a billion dimensions.
HSCC
Stanley Bak, Hoang-Dung Tran, Taylor T. Johnson
2019 — conf
Parallelizable reachability analysis algorithms for feed-forward neural networks.
FormaliSE@ICSE
Hoang-Dung Tran, Patrick Musau, Diego Manzanas Lopez, Xiaodong Yang, Luan Viet Nguyen, Weiming Xiang, Taylor T. Johnson
2019 — conf
Reachability Analysis for High-Index Linear Differential Algebraic Equations.
FORMATS
Hoang-Dung Tran, Luan Viet Nguyen, Nathaniel Hamilton, Weiming Xiang, Taylor T. Johnson
2019 J jnl
Real-Time Verification for Distributed Cyber-Physical Systems.
CoRR
Hoang-Dung Tran, Luan Viet Nguyen, Patrick Musau, Weiming Xiang, Taylor T. Johnson
2019 J jnl
Safety Verification of Cyber-Physical Systems with Reinforcement Learning Control.
ACM Trans. Embed. Comput. Syst.
Hoang-Dung Tran, Feiyang Cai, Diego Manzanas Lopez, Patrick Musau, Taylor T. Johnson, Xenofon D. Koutsoukos
2019 B conf
Star-Based Reachability Analysis of Deep Neural Networks.
FM
Hoang-Dung Tran, Diego Manzanas Lopez, Patrick Musau, Xiaodong Yang, Luan Viet Nguyen, Weiming Xiang, Taylor T. Johnson
2019 — conf
Verification of Closed-loop Systems with Neural Network Controllers.
ARCH@CPSIoTWeek
Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Taylor T. Johnson
2018 — conf
Discrete-Space Analysis of Partial Differential Equations.
ARCH@ADHS
Hoang-Dung Tran, Tianshu Bao, Taylor T. Johnson
2018 — conf
Linear Differential-Algebraic Equations (Benchmark Proposal).
ARCH@ADHS
Patrick Musau, Diego Manzanas Lopez, Hoang-Dung Tran, Taylor T. Johnson
2018 J jnl
Numerical Verification of Affine Systems with up to a Billion Dimensions.
CoRR
Stanley Bak, Hoang-Dung Tran, Taylor T. Johnson
2018 J jnl
Output Reachable Set Estimation and Verification for Multilayer Neural Networks.
IEEE Trans. Neural Networks Learn. Syst.
Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson
2018 — conf
Reachability Analysis for One Dimensional Linear Parabolic Equations.
ADHS
Hoang-Dung Tran, Weiming Xiang, Stanley Bak, Taylor T. Johnson
2018 C conf
Reachable Set Estimation and Safety Verification for Piecewise Linear Systems with Neural Network Controllers.
ACC
Weiming Xiang, Hoang-Dung Tran, Joel A. Rosenfeld, Taylor T. Johnson
2018 J jnl
Reachable Set Estimation and Safety Verification for Piecewise Linear Systems with Neural Network Controllers.
CoRR
Weiming Xiang, Hoang-Dung Tran, Joel A. Rosenfeld, Taylor T. Johnson
2018 J jnl
Robust Exponential Stability and Disturbance Attenuation for Discrete-Time Switched Systems Under Arbitrary Switching.
IEEE Trans. Autom. Control.
Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson
2018 J jnl
Simulation-Based Reachability Analysis for High-Index Large Linear Differential Algebraic Equations.
CoRR
Hoang-Dung Tran, Weiming Xiang, Nathaniel Hamilton, Taylor T. Johnson
2018 J jnl
Specification-Guided Safety Verification for Feedforward Neural Networks.
CoRR
Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson
2017 — conf
Distributed Autonomous Systems.
ARCH@CPSWeek
Hoang-Dung Tran, Luan Viet Nguyen, Weiming Xiang, Taylor T. Johnson
2017 C conf
On reachable set estimation for discrete-time switched linear systems under arbitrary switching.
ACC
Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson
2017 J jnl
Order-reduction abstractions for safety verification of high-dimensional linear systems.
Discret. Event Dyn. Syst.
Hoang-Dung Tran, Luan Viet Nguyen, Weiming Xiang, Taylor T. Johnson
2017 J jnl
Output Reachable Set Estimation and Verification for Multi-Layer Neural Networks.
CoRR
Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson
2017 J jnl
Output Reachable Set Estimation for Switched Linear Systems and Its Application in Safety Verification.
IEEE Trans. Autom. Control.
Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson
2017 J jnl
Reachable Set Computation and Safety Verification for Neural Networks with ReLU Activations.
CoRR
Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson
2016 — conf
Deadlock Avoidance for Resource Allocation Model V VM-out-of-N PM.
ICCASA
Ha Huy Cuong Nguyen, Hoang-Dung Tran, Doan Van Thang, Vu Thi Phuong Anh
2016 — conf
Large-Scale Linear Systems from Order-Reduction.
ARCH@CPSWeek
Hoang-Dung Tran, Luan Viet Nguyen, Taylor T. Johnson
2016 J jnl
Order-Reduction Abstractions for Safety Verification of High-Dimensional Linear Systems.
CoRR
Hoang-Dung Tran, Luan Viet Nguyen, Weiming Xiang, Taylor T. Johnson
2016 — conf
Reachable set estimation and control for switched linear systems with dwell-time restriction.
CDC
Weiming Xiang, Hoang-Dung Tran, Taylor T. Johnson
2016 C conf
Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP.
CCA
Parasara Sridhar Duggirala, Chuchu Fan, Matthew Potok, Bolun Qi, Sayan Mitra, Mahesh Viswanathan, Stanley Bak, Sergiy Bogomolov, Taylor T. Johnson, Luan Viet Nguyen, Christian Schilling, Andrew Sogokon, Hoang-Dung Tran, Weiming Xiang
2015 — conf
Benchmark: A Nonlinear Reachability Analysis Test Set from Numerical Analysis.
ARCH@CPSWeek
Hoang-Dung Tran, Luan Viet Nguyen, Taylor T. Johnson
2014 C conf
Guaranteed cost static output feedback for networked control systems.
ICARCV
Hoang-Dung Tran, Quang Phuc Ha, Quang-Vinh Dang