Get started
Author

Diego Manzanas Lopez

Observed names: Diego Lopez, Lopez, Diego Manzanas, Manzanas Lopez, Diego
ORCID: 0000-0003-0721-1241
Observed ORCID: 0000-0003-0721-1241
OpenAlex ID: A5021939745
NNV: The Neural Network Verification Tool for Deep Neural Networks and Learning-Enabled Cyber-Physical Systems
2020 · Hoang-Dung Tran, Xiaodong Yang, et al. · Lecture notes in computer science · 242
PDF
Verification for Machine Learning, Autonomy, and Neural Networks Survey
2018 · Xiang, Weiming, Musau, Patrick, et al. · arXiv (Cornell University) · 91
PDF
Parallelizable Reachability Analysis Algorithms for Feed-Forward Neural Networks
2019 · Hoang-Dung Tran, Patrick Musau, et al. · IEEE/ACM International Conference on Formal Methods in Software Engineering (FormaliSE) · 50
NNV 2.0: The Neural Network Verification Tool
2023 · Diego Manzanas Lopez, Sung Woo Choi, et al. · Lecture notes in computer science · 45
PDF
Robustness Verification of Semantic Segmentation Neural Networks Using Relaxed Reachability
2021 · Hoang-Dung Tran, Neelanjana Pal, et al. · Lecture notes in computer science · 40
PDF
Reachable Set Estimation and Verification for Neural Network Models of Nonlinear Dynamic Systems
2018 · Weiming Xiang, Diego Manzanas Lopez, et al. · Unmanned system technologies · 30
PDF
ARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
2020 · Taylor T Johnson, Diego Manzanas Lopez, et al. · EPiC series in computing · 28
PDF
Verification of piecewise deep neural networks: a star set approach with zonotope pre-filter
2021 · Hoang-Dung Tran, Neelanjana Pal, et al. · Formal Aspects of Computing · 21
PDF
Verification of Closed-loop Systems with Neural Network Controllers
2019 · Diego Manzanas Lopez, Patrick Musau, et al. · EPiC series in computing · 19
PDF
ARCH-COMP22 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
2022 · Diego Manzanas Lopez, Matthias Althoff, et al. · EPiC series in computing · 18
PDF
ARCH-COMP23 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
2023 · Diego Manzanas Lopez, Matthias Althoff, et al. · EPiC series in computing · 17
PDF
Verification of Neural Network Compression of ACAS Xu Lookup Tables with Star Set Reachability
2021 · Diego Manzanas Lopez, Taylor Johnson, et al. · AIAA SciTech Forum · 17
Zero-Shot Policy Transfer in Autonomous Racing: Reinforcement Learning vs Imitation Learning
2022 · Nathaniel Hamilton, Patrick Musau, et al. · IEEE International Conference on Assured Autonomy (ICAA) · 16
Reachability Analysis of a General Class of Neural Ordinary Differential Equations
2022 · Diego Manzanas Lopez, Patrick Musau, et al. · Lecture notes in computer science · 16
PDF
Evaluation of Neural Network Verification Methods for Air-to-Air Collision Avoidance
2022 · Diego Manzanas Lopez, Taylor T. Johnson, et al. · Journal of Air Transportation · 15
PDF
On Using Real-Time Reachability for the Safety Assurance of Machine Learning Controllers
2022 · Patrick Musau, Nathaniel Hamilton, et al. · IEEE International Conference on Assured Autonomy (ICAA) · 15
ARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
2021 · Taylor T. Johnson, Diego Manzanas Lopez, et al. · EPiC series in computing · 15
PDF
ARCH-COMP19 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
2019 · Diego Manzanas Lopez, Patrick Musau, et al. · EPiC series in computing · 15
PDF
Robustness Verification of Deep Neural Networks Using Star-Based Reachability Analysis with Variable-Length Time Series Input
2023 · Neelanjana Pal, Diego Manzanas Lopez, et al. · Lecture notes in computer science · 5
PDF
Case Study: Safety Verification of an Unmanned Underwater Vehicle
2020 · Diego Manzanas Lopez, Patrick Musau, et al. · IEEE Security and Privacy Workshops (SPW) · 5
PDF
ARCH-COMP24 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants
2024 · Diego Manzanas Lopez, Matthias Althoff, et al. · EPiC series in computing · 3
Case Study: Neural Network Malware Detection Verification for Feature and Image Datasets
2024 · Preston K. Robinette, Diego Manzanas Lopez, et al. · IEEE/ACM International Conference on Formal Methods in Software Engineering (FormaliSE) · 3
PDF
FairNNV: The Neural Network Verification Tool For Certifying Fairness
2024 · Anne M Tumlin, Diego Manzanas Lopez, et al. · ACM International Conference on AI in Finance (ICAIF) · 2
Tutorial: Safe, Secure, and Trustworthy Artificial Intelligence (AI) via Formal Verification of Neural Networks and Autonomous Cyber-Physical Systems (CPS) with NNV
2024 · Taylor T. Johnson, Diego Manzanas Lopez, et al. · IEEE/IFIP International Conference on Dependable Systems and Networks - Supplemental Volume (DSN-S) · 2
Benchmark: Neural Network Malware Classification
2023 · Preston K. Robinette, Diego Manzanas Lopez, et al. · Lecture notes in computer science · 2
Works count: 46
Citation count: 742
H-index: 15
I10-index: 18
Year
Topic
Type