Luan Viet Nguyen

According to our database, Luan Viet Nguyen authored at least 35 papers between 2014 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

Proceedings of the 22nd ACM-IEEE International Symposium on Formal Methods and Models for System Design, 2024

Efficient SMT-Based Model Checking for HyperTWTL.

Ernest Bonnah, Luan Viet Nguyen, Khaza Anuarul Hoque

Proceedings of the Formal Methods and Software Engineering, 2024

A Parallel Gumbel-Softmax VAE Framework with Performance-Based Tuning.

Fangshi Zhou, Tianming Zhao, Luan Viet Nguyen, Zhongmei Yao

Proceedings of the ECAI 2024 - 27th European Conference on Artificial Intelligence, 19-24 October 2024, Santiago de Compostela, Spain, 2024

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

IEEE Trans. Control. Netw. Syst., September, 2023

Motion Planning Using Hyperproperties for Time Window Temporal Logic.

Ernest Bonnah, Luan Viet Nguyen, Khaza Anuarul Hoque

IEEE Robotics Autom. Lett., 2023

Model Checking Time Window Temporal Logic for Hyperproperties.

Ernest Bonnah, Luan Viet Nguyen, Khaza Anuarul Hoque

Proceedings of the 21st ACM-IEEE International Symposium on Formal Methods and Models for System Design, 2023

Verifying Binary Neural Networks on Continuous Input Space using Star Reachability.

Mykhailo Ivashchenko, Sung Woo Choi, Luan Viet Nguyen, Hoang-Dung Tran

Proceedings of the 11th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2023

2022

Real-Time Verification for Distributed Cyber-Physical Systems.

Hoang-Dung Tran, Luan Viet Nguyen, Patrick Musau, Weiming Xiang, Taylor T. Johnson

Leibniz Trans. Embed. Syst., 2022

2021

Towards a framework of enforcing resilient operation of cyber-physical systems with unknown dynamics.

Luan Viet Nguyen, Vijay Gupta

IET Cyper-Phys. Syst.: Theory & Appl., 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, Stanley Bak, Taylor T. Johnson

Formal Aspects Comput., 2021

Model Checking for Rectangular Hybrid Systems: A Quantified Encoding Approach.

Luan Viet Nguyen, Wesam Haddad, Taylor T. Johnson

Proceedings of the Proceedings The 7th International Workshop on Symbolic-Numeric Methods for Reasoning about CPS and IoT, 2021

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

2020

REAFFIRM: Model-Based Repair of Hybrid Systems for Improving Resiliency.

Luan Viet Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee, Rajeev Alur

Proceedings of the 18th ACM/IEEE International Conference on Formal Methods and Models for System Design, 2020

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

Proceedings of the Computer Aided Verification - 32nd International Conference, 2020

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

Hybrid automata: from verification to implementation.

Stanley Bak, Omar Ali Beg, Sergiy Bogomolov, Taylor T. Johnson, Luan Viet Nguyen, Christian Schilling

Int. J. Softw. Tools Technol. Transf., 2019

Detecting security leaks in hybrid systems with information flow analysis.

Luan Viet Nguyen, Gautam Mohan, James Weimer, Oleg Sokolsky, Insup Lee, Rajeev Alur

Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, 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, Taylor T. Johnson

Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, 2019

Decentralized Real-Time Safety Verification for Distributed Cyber-Physical Systems.

Hoang-Dung Tran, Luan Viet Nguyen, Patrick Musau, Weiming Xiang, Taylor T. Johnson

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2019

Reachability Analysis for High-Index Linear Differential Algebraic Equations.

Hoang-Dung Tran, Luan Viet Nguyen, Nathaniel Hamilton, Weiming Xiang, Taylor T. Johnson

Proceedings of the Formal Modeling and Analysis of Timed Systems, 2019

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

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

2018

Cyber-Physical Specification Mismatches.

Luan Viet Nguyen, Khaza Anuarul Hoque, Stanley Bak, Steven Drager, Taylor T. Johnson

ACM Trans. Cyber Phys. Syst., 2018

Mission Planning for Multiple Vehicles with Temporal Specifications using UxAS.

Luan Viet Nguyen, Bardh Hoxha, Taylor T. Johnson, Georgios Fainekos

Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018

2017

Order-reduction abstractions for safety verification of high-dimensional linear systems.

Hoang-Dung Tran, Luan Viet Nguyen, Weiming Xiang, Taylor T. Johnson

Discret. Event Dyn. Syst., 2017

Hyperproperties of real-valued signals.

Luan Viet Nguyen, James Kapinski, Xiaoqing Jin, Jyotirmoy V. Deshmukh, Taylor T. Johnson

Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design, 2017

Abnormal Data Classification Using Time-Frequency Temporal Logic.

Luan Viet Nguyen, James Kapinski, Xiaoqing Jin, Jyotirmoy V. Deshmukh, Ken Butts, Taylor T. Johnson

Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

Distributed Autonomous Systems.

Hoang-Dung Tran, Luan Viet Nguyen, Weiming Xiang, Taylor T. Johnson

Proceedings of the ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2017

2016

Large-Scale Linear Systems from Order-Reduction.

Hoang-Dung Tran, Luan Viet Nguyen, Taylor T. Johnson

Proceedings of the ARCH@CPSWeek 2016, 2016

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, Stanley Bak, Sergiy Bogomolov, Taylor T. Johnson, Luan Viet Nguyen, Christian Schilling, Andrew Sogokon, Hoang-Dung Tran, Weiming Xiang

Proceedings of the 2016 IEEE Conference on Control Applications, 2016

2015

Runtime Verification for Hybrid Analysis Tools.

Luan Viet Nguyen, Christian Schilling, Sergiy Bogomolov, Taylor T. Johnson

Proceedings of the Runtime Verification - 6th International Conference, 2015

HyRG: a random generation tool for affine hybrid automata.

Luan Viet Nguyen, Christian Schilling, Sergiy Bogomolov, Taylor T. Johnson

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

Benchmark: A Nonlinear Reachability Analysis Test Set from Numerical Analysis.

Hoang-Dung Tran, Luan Viet Nguyen, Taylor T. Johnson

Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2015

2014

Virtual Prototyping and Distributed Control for Solar Array with Distributed Multilevel Inverter.

Luan Viet Nguyen, Taylor T. Johnson

CoRR, 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

Proceedings of the 4th ACM SIGBED International Workshop on Design, 2014

Benchmark: DC-to-DC Switched-Mode Power Converters (Buck Converters, Boost Converters, and Buck-Boost Converters).

Luan Viet Nguyen, Taylor T. Johnson

Proceedings of the 1st and 2nd International Workshop on Applied veRification for Continuous and Hybrid Systems, 2014