Luan Viet Nguyen
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
14
Venues
8
Active years
2015–2025
Best venue rank
A*
Where they publish
Papers
14 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | ICFEM | Quantitative Verification for Temporal Properties of Massive Linear Systems. | Qing Liu, Yuntao Li, Sungwoo Choi, Luan Viet Nguyen, Hoang-Dung Tran |
| 2025 | MEMOCODE | Hyperproperty-Constrained Secure Reinforcement Learning. | Ernest Bonnah, Luan Viet Nguyen, Khaza Anuarul Hoque |
| 2024 | ECAI | A Parallel Gumbel-Softmax VAE Framework with Performance-Based Tuning. | Fangshi Zhou, Tianming Zhao, Luan Viet Nguyen, Zhongmei Yao |
| 2024 | ICFEM | Efficient SMT-Based Model Checking for HyperTWTL. | Ernest Bonnah, Luan Viet Nguyen, Khaza Anuarul Hoque |
| 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 | MEMOCODE | Model Checking Time Window Temporal Logic for Hyperproperties. | Ernest Bonnah, Luan Viet Nguyen, Khaza Anuarul Hoque |
| 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 | MEMOCODE | REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency. | Luan Viet Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee, Rajeev Alur |
| 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 |
| 2019 | MEMOCODE | Detecting security leaks in hybrid systems with information flow analysis. | Luan Viet Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee, Rajeev Alur |
| 2017 | MEMOCODE | Hyperproperties of real-valued signals. | Luan Viet Nguyen, James Kapinski, Xiaoqing Jin, Jyotirmoy V. Deshmukh, Taylor T. Johnson |
| 2015 | RV | Runtime Verification for Hybrid Analysis Tools. | Luan Viet Nguyen, Christian Schilling, Sergiy Bogomolov, Taylor T. Johnson |