| 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 | 316 | 2020 |
| Star-based reachability analysis of deep neural networks HD Tran, D Manzanas Lopez, P Musau, X Yang, LV Nguyen, W Xiang, ... Formal Methods–The Next 30 Years: Third World Congress, FM 2019, Porto …, 2019 | 213 | 2019 |
| 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 | 120 | 2018 |
| 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 | 62 | 2019 |
| 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 | 58 | 2017 |
| 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 | 44 | 2014 |
| 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 | 32 | 2016 |
| 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 | 29 | 2014 |
| 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, 87-104, 2019 | 28 | 2019 |
| 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 | 28 | 2017 |
| 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 | 27 | 2021 |
| Order-reduction abstractions for safety verification of high-dimensional linear systems HD Tran, LV Nguyen, W Xiang, TT Johnson Discrete Event Dynamic Systems 27, 443-461, 2017 | 25 | 2017 |
| Decentralized real-time safety verification for distributed cyber-physical systems HD Tran, LV Nguyen, P Musau, W Xiang, TT Johnson Formal Techniques for Distributed Objects, Components, and Systems: 39th …, 2019 | 22 | 2019 |
| 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 | 18 | 2016 |
| Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter HD Tran, N Pal, DM Lopez, P Musau, X Yang, LV Nguyen, W Xiang, ... Formal Aspects of Computing 33, 519-545, 2021 | 14 | 2021 |
| 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 | 14 | 2018 |
| Reachability analysis for high-index linear differential algebraic equations HD Tran, LV Nguyen, N Hamilton, W Xiang, TT Johnson Formal Modeling and Analysis of Timed Systems: 17th International Conference …, 2019 | 11 | 2019 |
| 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 | 10 | 2016 |
| Motion planning using hyperproperties for time window temporal logic E Bonnah, L Nguyen, KA Hoque IEEE Robotics and Automation Letters 8 (8), 4386-4393, 2023 | 8 | 2023 |
| NNV: A tool for verification of deep neural networks and learning-enabled autonomous cyber-physical systems HD Tran, P Musau, DM Lopez, X Yang, LV Nguyen, W Xiang, T Johnson International Conference on Computer-Aided Verification, 2020 | 6 | 2020 |
Taylor T JohnsonAssociate Professor, Computer Science, Vanderbilt UniversityVerified email at vanderbilt.edu