Benchmark: DC-to-DC Switched-Mode Power Converters (Buck Converters, Boost Converters, and Buck-Boost Converters). - Luan Viet Nguyen; Taylor T. Johnson (ARCH@CPSWeek, 2014)

Model-based design and analysis of a reconfigurable continuous-culture bioreactor. - Luan Viet Nguyen; Eric J. Nelson; Amol Vengurlekar; Ruoshi Zhang; Kristopher I. White; Victor Salinas; Taylor T. Johnson (CyPhy, 2014)

Virtual Prototyping and Distributed Control for Solar Array with Distributed Multilevel Inverter. - Luan Viet Nguyen; Taylor T. Johnson (CoRR, 2014)

Benchmark: A Nonlinear Reachability Analysis Test Set from Numerical Analysis. - Hoang-Dung Tran; Luan Viet Nguyen; Taylor T. Johnson (ARCH@CPSWeek, 2015)

HyRG: a random generation tool for affine hybrid automata. - Luan Viet Nguyen; Christian Schilling 001; Sergiy Bogomolov; Taylor T. Johnson (HSCC, 2015)

Runtime Verification for Hybrid Analysis Tools. - Luan Viet Nguyen; Christian Schilling 001; Sergiy Bogomolov; Taylor T. Johnson (RV, 2015)

Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP. - Parasara Sridhar Duggirala; Chuchu Fan; Matthew Potok; Bolun Qi; Sayan Mitra; Mahesh Viswanathan 001; Stanley Bak; Sergiy Bogomolov; Taylor T. Johnson; Luan Viet Nguyen; Christian Schilling 001; Andrew Sogokon; et al. (CCA, 2016)

Large-Scale Linear Systems from Order-Reduction. - Hoang-Dung Tran; Luan Viet Nguyen; Taylor T. Johnson (ARCH@CPSWeek, 2016)

Distributed Autonomous Systems. - Hoang-Dung Tran; Luan Viet Nguyen; Weiming Xiang 001; Taylor T. Johnson (ARCH@CPSWeek, 2017)

Abnormal Data Classification Using Time-Frequency Temporal Logic. - Luan Viet Nguyen; James Kapinski; Xiaoqing Jin; Jyotirmoy V. Deshmukh; Ken Butts; Taylor T. Johnson (HSCC, 2017)

Hyperproperties of real-valued signals. - Luan Viet Nguyen; James Kapinski; Xiaoqing Jin; Jyotirmoy V. Deshmukh; Taylor T. Johnson (MEMOCODE, 2017)

Order-reduction abstractions for safety verification of high-dimensional linear systems. - Hoang-Dung Tran; Luan Viet Nguyen; Weiming Xiang 001; Taylor T. Johnson (Discret. Event Dyn. Syst., 2017)

Mission Planning for Multiple Vehicles with Temporal Specifications using UxAS. - Luan Viet Nguyen; Bardh Hoxha; Taylor T. Johnson; Georgios Fainekos (ADHS, 2018)

Cyber-Physical Specification Mismatches. - Luan Viet Nguyen; Khaza Anuarul Hoque; Stanley Bak; Steven Drager 001; Taylor T. Johnson (ACM Trans. Cyber Phys. Syst., 2018)

Star-Based Reachability Analysis of Deep Neural Networks. - Hoang-Dung Tran; Diego Manzanas Lopez; Patrick Musau; Xiaodong Yang; Luan Viet Nguyen; Weiming Xiang 001; Taylor T. Johnson (FM, 2019)

Reachability Analysis for High-Index Linear Differential Algebraic Equations. - Hoang-Dung Tran; Luan Viet Nguyen; Nathaniel Hamilton; Weiming Xiang 001; Taylor T. Johnson (FORMATS, 2019)

Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems. - Hoang-Dung Tran; Luan Viet Nguyen; Patrick Musau; Weiming Xiang 001; Taylor T. Johnson (FORTE, 2019)

Parallelizable reachability analysis algorithms for feed-forward neural networks. - Hoang-Dung Tran; Patrick Musau; Diego Manzanas Lopez; Xiaodong Yang; Luan Viet Nguyen; Weiming Xiang 001; Taylor T. Johnson (FormaliSE@ICSE, 2019)

Detecting security leaks in hybrid systems with information flow analysis. - Luan Viet Nguyen; Gautam Mohan; James Weimer; Oleg Sokolsky; Insup Lee 001; Rajeev Alur (MEMOCODE, 2019)

Hybrid automata: from verification to implementation. - Stanley Bak; Omar Ali Beg; Sergiy Bogomolov; Taylor T. Johnson; Luan Viet Nguyen; Christian Schilling 001 (Int. J. Softw. Tools Technol. Transf., 2019)

Signal Temporal Logic-Based Attack Detection in DC Microgrids. - Omar Ali Beg; Luan Viet Nguyen; Taylor T. Johnson; Ali Davoudi (IEEE Trans. Smart Grid, 2019)

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 001; Stanley Bak; Taylor T. Johnson (CAV (1), 2020)

REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency. - Luan Viet Nguyen; Gautam Mohan; James Weimer; Oleg Sokolsky; Insup Lee 001; Rajeev Alur (MEMOCODE, 2020)

Cyber-Physical Anomaly Detection in Microgrids Using Time-Frequency Logic Formalism. - Omar Ali Beg; Luan Viet Nguyen; Taylor T. Johnson; Ali Davoudi (IEEE Access, 2021)

Model Checking for Rectangular Hybrid Systems: A Quantified Encoding Approach. - Luan Viet Nguyen; Wesam Haddad; Taylor T. Johnson (SNR, 2021)

Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter. - Hoang-Dung Tran; Neelanjana Pal; Diego Manzanas Lopez; Patrick Musau; Xiaodong Yang; Luan Viet Nguyen; Weiming Xiang 001; Stanley Bak; Taylor T. Johnson (Formal Aspects Comput., 2021)

Towards a framework of enforcing resilient operation of cyber-physical systems with unknown dynamics. - Luan Viet Nguyen; Vijay Gupta 001 (IET Cyper-Phys. Syst.: Theory & Appl., 2021)

Real-Time Verification for Distributed Cyber-Physical Systems. - Hoang-Dung Tran; Luan Viet Nguyen; Patrick Musau; Weiming Xiang 001; Taylor T. Johnson (Leibniz Trans. Embed. Syst., 2022)

Verifying Binary Neural Networks on Continuous Input Space using Star Reachability. - Mykhailo Ivashchenko; Sung Woo Choi; Luan Viet Nguyen; Hoang-Dung Tran (FormaliSE, 2023)

Model Checking Time Window Temporal Logic for Hyperproperties. - Ernest Bonnah; Luan Viet Nguyen; Khaza Anuarul Hoque (MEMOCODE, 2023)

Motion Planning Using Hyperproperties for Time Window Temporal Logic. - Ernest Bonnah; Luan Viet Nguyen; Khaza Anuarul Hoque (IEEE Robotics Autom. Lett., 2023)

Decentralized Safe Control for Distributed Cyber-Physical Systems Using Real-Time Reachability Analysis. - Luan Viet Nguyen; Hoang-Dung Tran; Taylor T. Johnson; Vijay Gupta 001 (IEEE Trans. Control. Netw. Syst., 2023)

A Parallel Gumbel-Softmax VAE Framework with Performance-Based Tuning. - Fangshi Zhou; Tianming Zhao 001; Luan Viet Nguyen; Zhongmei Yao (ECAI, 2024)

Efficient SMT-Based Model Checking for HyperTWTL. - Ernest Bonnah; Luan Viet Nguyen; Khaza Anuarul Hoque (ICFEM, 2024)

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 (MEMOCODE, 2024)

Formal Verification of Browser Fingerprinting and Mitigation with Inlined Reference Monitors. - Nathan Joslin; Phu H. Phung; Luan Viet Nguyen (NordSec, 2024)

Perception-based Quantitative Runtime Verification for Learning-enabled Cyber-Physical Systems. - Ryan Brown; Luan Viet Nguyen; Weiming Xiang 001; Marilyn Wolf; Hoang-Dung Tran (ICCPS, 2025)

Reachability Analysis of Sigmoidal Neural Networks. - Sung Woo Choi; Mykhailo Ivashchenko; Luan Viet Nguyen; Hoang-Dung Tran (ACM Trans. Embed. Comput. Syst., 2025)