Follow
Luan Viet Nguyen
Luan Viet Nguyen
Postdoctoral Research Associate, University of Pennsylvania
Verified email at cardinalmail.cua.edu - Homepage
Title
Cited by
Cited by
Year
NNV: the neural network verification tool for deep neural networks and learning-enabled cyber-physical systems
HD Tran, X Yang, D Manzanas Lopez, P Musau, LV Nguyen, W Xiang, ...
International Conference on Computer Aided Verification, 3-17, 2020
972020
Star-based reachability analysis of deep neural networks
HD Tran, D Manzanas Lopez, P Musau, X Yang, LV Nguyen, W Xiang, ...
International symposium on formal methods, 670-686, 2019
732019
Signal temporal logic-based attack detection in DC microgrids
OA Beg, LV Nguyen, TT Johnson, A Davoudi
IEEE Transactions on Smart Grid 10 (4), 3585-3595, 2018
732018
Hyperproperties of real-valued signals
LV Nguyen, J Kapinski, X Jin, JV Deshmukh, TT Johnson
Proceedings of the 15th ACM-IEEE International Conference on Formal Methods …, 2017
382017
Virtual prototyping for distributed control of a fault-tolerant modular multilevel inverter for photovoltaics
LV Nguyen, HD Tran, TT Johnson
IEEE Transactions on Energy Conversion 29 (4), 841-850, 2014
352014
Large-scale linear systems from order-reduction (benchmark proposal)
HD Tran, LV Nguyen, TT Johnson
3rd Applied Verification for Continuous and Hybrid Systems Workshop (ARCH …, 2016
262016
Parallelizable reachability analysis algorithms for feed-forward neural networks
HD Tran, P Musau, DM Lopez, X Yang, LV Nguyen, W Xiang, TT Johnson
2019 IEEE/ACM 7th International Conference on Formal Methods in Software …, 2019
252019
Benchmark: DC-to-DC Switched-Mode Power Converters (Buck Converters, Boost Converters, and Buck-Boost Converters).
LV Nguyen, TT Johnson
ARCH@ CPSWeek, 19-24, 2014
242014
Hybrid automata: from verification to implementation
S Bak, OA Beg, S Bogomolov, TT Johnson, LV Nguyen, C Schilling
International Journal on Software Tools for Technology Transfer 21 (1), 87-104, 2019
222019
Order-reduction abstractions for safety verification of high-dimensional linear systems
HD Tran, LV Nguyen, W Xiang, TT Johnson
Discrete Event Dynamic Systems 27 (2), 443-461, 2017
202017
Abnormal data classification using time-frequency temporal logic
LV Nguyen, J Kapinski, X Jin, JV Deshmukh, K Butts, TT Johnson
Proceedings of the 20th international conference on hybrid systems …, 2017
202017
Elements for reinforcement against external stresses for a power supply battery
G Le Jaouen, Y Kerguelen, T Ferron, L Nguyen
US Patent 9,358,869, 2016
142016
Cyber-physical specification mismatches
LV Nguyen, KA Hoque, S Bak, S Drager, TT Johnson
ACM Transactions on Cyber-Physical Systems 2 (4), 1-26, 2018
132018
Decentralized real-time safety verification for distributed cyber-physical systems
HD Tran, LV Nguyen, P Musau, W Xiang, TT Johnson
International Conference on Formal Techniques for Distributed Objects …, 2019
122019
Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2e2, hyst, and tulip
PS Duggirala, C Fan, M Potok, B Qi, S Mitra, M Viswanathan, S Bak, ...
2016 IEEE Conference on Control Applications (CCA), 1024-1029, 2016
112016
Cyber-physical anomaly detection in microgrids using time-frequency logic formalism
OA Beg, LV Nguyen, TT Johnson, A Davoudi
IEEE Access 9, 20012-20021, 2021
92021
Benchmark: A Nonlinear Reachability Analysis Test Set from Numerical Analysis.
HD Tran, LV Nguyen, TT Johnson
ARCH@ CPSWeek, 89-97, 2015
62015
Reachability analysis for high-index linear differential algebraic equations (daes)
HD Tran, LV Nguyen, N Hamilton, W Xiang, TT Johnson
17th International Conference on Formal Modeling and Analysis of Timed …, 2019
52019
Runtime verification of model-based development environments
LV Nguyen, C Schilling, S Bogomolov, TT Johnson
Proc. 15th International Conference on Runtime Verification (RV), 2015
52015
HyRG: A Random Generation Tool for Affine Hybrid Automata
LV Nguyen, C Schilling, S Bogomolov, TT Johnson
Proceedings of the 18th International Conference on Hybrid Systems …, 2015
42015
The system can't perform the operation now. Try again later.
Articles 1–20