| 2024 | DSN | Tutorial: Safe, Secure, and Trustworthy Artificial Intelligence (AI) via Formal Verification of Neural Networks and Autonomous Cyber-Physical Systems (CPS) with NNV. | Taylor T. Johnson, Diego Manzanas Lopez, Hoang-Dung Tran |
| 2023 | CAV | NNV 2.0: The Neural Network Verification Tool. | Diego Manzanas Lopez, Sung Woo Choi, Hoang-Dung Tran, Taylor T. Johnson |
| 2023 | EMSOFT | Tutorial: Neural Network and Autonomous Cyber-Physical Systems Formal Verification for Trustworthy AI and Safe Autonomy. | Hoang-Dung Tran, Diego Manzanas Lopez, Taylor T. Johnson |
| 2023 | FMICS | Robustness Verification of Deep Neural Networks Using Star-Based Reachability Analysis with Variable-Length Time Series Input. | Neelanjana Pal, Diego Manzanas Lopez, Taylor T. Johnson |
| 2023 | VECoS | Empirical Analysis of Benchmark Generation for the Verification of Neural Network Image Classifiers. | Diego Manzanas Lopez, Taylor T. Johnson |
| 2023 | VECoS | Benchmark: Neural Network Malware Classification. | Preston K. Robinette, Diego Manzanas Lopez, Taylor T. Johnson |
| 2021 | CAV | Robustness Verification of Semantic Segmentation Neural Networks Using Relaxed Reachability. | Hoang-Dung Tran, Neelanjana Pal, Patrick Musau, Diego Manzanas Lopez, Nathaniel Hamilton, Xiaodong Yang, Stanley Bak, Taylor T. Johnson |
| 2020 | CAV | 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 |
| 2020 | SP | Case Study: Safety Verification of an Unmanned Underwater Vehicle. | Diego Manzanas Lopez, Patrick Musau, Nathaniel Hamilton, Hoang-Dung Tran, Taylor T. Johnson |
| 2019 | FM | 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 |
| 2019 | ICSE | 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 |