Luan Viet Nguyen

47 papers A 1B 2C 10Journal 19Unranked 15

Year	Rank	Type	Title / Venue / Authors
2025	C	`conf`	Hyperproperty-Constrained Secure Reinforcement Learning. MEMOCODE Ernest Bonnah, Luan Viet Nguyen, Khaza Anuarul Hoque
2025	J	`jnl`	Hyperproperty-Constrained Secure Reinforcement Learning. CoRR Ernest Bonnah, Luan Viet Nguyen, Khaza Anuarul Hoque
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	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
2024	A	`conf`	A Parallel Gumbel-Softmax VAE Framework with Performance-Based Tuning. ECAI Fangshi Zhou, Tianming Zhao, Luan Viet Nguyen, Zhongmei Yao
2024	C	`conf`	Efficient SMT-Based Model Checking for HyperTWTL. ICFEM Ernest Bonnah, Luan Viet Nguyen, Khaza Anuarul Hoque
2024	—	`conf`	Formal Verification of Browser Fingerprinting and Mitigation with Inlined Reference Monitors. NordSec Nathan Joslin, Phu H. Phung, Luan Viet Nguyen
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
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	C	`conf`	Model Checking Time Window Temporal Logic for Hyperproperties. MEMOCODE Ernest Bonnah, Luan Viet Nguyen, Khaza Anuarul Hoque
2023	J	`jnl`	Model Checking Time Window Temporal Logic for Hyperproperties. CoRR Ernest Bonnah, Luan Viet Nguyen, Khaza Anuarul Hoque
2023	J	`jnl`	Motion Planning Using Hyperproperties for Time Window Temporal Logic. IEEE Robotics Autom. Lett. Ernest Bonnah, Luan Viet Nguyen, Khaza Anuarul Hoque
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	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
2021	J	`jnl`	Cyber-Physical Anomaly Detection in Microgrids Using Time-Frequency Logic Formalism. IEEE Access Omar Ali Beg, Luan Viet Nguyen, Taylor T. Johnson, Ali Davoudi
2021	—	`conf`	Model Checking for Rectangular Hybrid Systems: A Quantified Encoding Approach. SNR Luan Viet Nguyen, Wesam Haddad, Taylor T. Johnson
2021	J	`jnl`	Towards a framework of enforcing resilient operation of cyber-physical systems with unknown dynamics. IET Cyper-Phys. Syst.: Theory & Appl. Luan Viet Nguyen, Vijay Gupta
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`	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	C	`conf`	REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency. MEMOCODE Luan Viet Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee, Rajeev Alur
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	C	`conf`	Detecting security leaks in hybrid systems with information flow analysis. MEMOCODE Luan Viet Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee, Rajeev Alur
2019	J	`jnl`	Hybrid automata: from verification to implementation. Int. J. Softw. Tools Technol. Transf. Stanley Bak, Omar Ali Beg, Sergiy Bogomolov, Taylor T. Johnson, Luan Viet Nguyen, Christian Schilling
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	J	`jnl`	REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency. CoRR Luan Viet Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee, Rajeev Alur
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`	Signal Temporal Logic-Based Attack Detection in DC Microgrids. IEEE Trans. Smart Grid Omar Ali Beg, Luan Viet Nguyen, Taylor T. Johnson, Ali Davoudi
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
2018	J	`jnl`	Cyber-Physical Specification Mismatches. CoRR Luan Viet Nguyen, Khaza Anuarul Hoque, Stanley Bak, Steven Drager, Taylor T. Johnson
2018	J	`jnl`	Cyber-Physical Specification Mismatches. ACM Trans. Cyber Phys. Syst. Luan Viet Nguyen, Khaza Anuarul Hoque, Stanley Bak, Steven Drager, Taylor T. Johnson
2018	—	`conf`	Mission Planning for Multiple Vehicles with Temporal Specifications using UxAS. ADHS Luan Viet Nguyen, Bardh Hoxha, Taylor T. Johnson, Georgios Fainekos
2017	—	`conf`	Abnormal Data Classification Using Time-Frequency Temporal Logic. HSCC Luan Viet Nguyen, James Kapinski, Xiaoqing Jin, Jyotirmoy V. Deshmukh, Ken Butts, Taylor T. Johnson
2017	—	`conf`	Distributed Autonomous Systems. ARCH@CPSWeek Hoang-Dung Tran, Luan Viet Nguyen, Weiming Xiang, Taylor T. Johnson
2017	C	`conf`	Hyperproperties of real-valued signals. MEMOCODE Luan Viet Nguyen, James Kapinski, Xiaoqing Jin, Jyotirmoy V. Deshmukh, 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
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	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
2015	—	`conf`	HyRG: a random generation tool for affine hybrid automata. HSCC Luan Viet Nguyen, Christian Schilling, Sergiy Bogomolov, Taylor T. Johnson
2015	B	`conf`	Runtime Verification for Hybrid Analysis Tools. RV Luan Viet Nguyen, Christian Schilling, Sergiy Bogomolov, Taylor T. Johnson
2014	—	`conf`	Benchmark: DC-to-DC Switched-Mode Power Converters (Buck Converters, Boost Converters, and Buck-Boost Converters). ARCH@CPSWeek Luan Viet Nguyen, Taylor T. Johnson
2014	—	`conf`	Model-based design and analysis of a reconfigurable continuous-culture bioreactor. CyPhy Luan Viet Nguyen, Eric J. Nelson, Amol Vengurlekar, Ruoshi Zhang, Kristopher I. White, Victor Salinas, Taylor T. Johnson
2014	J	`jnl`	Virtual Prototyping and Distributed Control for Solar Array with Distributed Multilevel Inverter. CoRR Luan Viet Nguyen, Taylor T. Johnson