Diego Manzanas Lopez

According to our database, Diego Manzanas Lopez authored at least 29 papers between 2018 and 2024.

Collaborative distances:

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

2024

Case Study: Neural Network Malware Detection Verification for Feature and Image Datasets.

Preston K. Robinette, Diego Manzanas Lopez, Serena Serbinowska, Kevin Leach, Taylor T. Johnson

Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE), 2024

FairNNV: The Neural Network Verification Tool For Certifying Fairness.

Anne M. Tumlin, Diego Manzanas Lopez, Preston Robinette, Yuying Zhao, Tyler Derr, Taylor T. Johnson

Proceedings of the 5th ACM International Conference on AI in Finance, 2024

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

Proceedings of the 54th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2024

2023

Online Reachability Analysis and Space Convexification for Autonomous Racing.

Sergiy Bogomolov, Taylor T. Johnson, Diego Manzanas Lopez, Patrick Musau, Paulius Stankaitis

Proceedings of the Proceedings Fifth International Workshop on Formal Methods for Autonomous Systems, 2023

Benchmark: Neural Network Malware Classification.

Preston K. Robinette, Diego Manzanas Lopez, Taylor T. Johnson

Proceedings of the Bridging the Gap Between AI and Reality, 2023

Empirical Analysis of Benchmark Generation for the Verification of Neural Network Image Classifiers.

Diego Manzanas Lopez, Taylor T. Johnson

Proceedings of the Bridging the Gap Between AI and Reality, 2023

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

Proceedings of the Formal Methods for Industrial Critical Systems, 2023

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

Proceedings of the International Conference on Embedded Software, 2023

NNV 2.0: The Neural Network Verification Tool.

Diego Manzanas Lopez, Sung Woo Choi, Hoang-Dung Tran, Taylor T. Johnson

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

ARCH-COMP23 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.

Diego Manzanas Lopez, Matthias Althoff, Marcelo Forets, Taylor T. Johnson, Tobias Ladner, Christian Schilling

Proceedings of 10th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH23), 2023

2022

An Empirical Analysis of the Use of Real-Time Reachability for the Safety Assurance of Autonomous Vehicles.

Patrick Musau, Nathaniel Hamilton, Diego Manzanas Lopez, Preston Robinette, Taylor T. Johnson

CoRR, 2022

On Using Real-Time Reachability for the Safety Assurance of Machine Learning Controllers.

Patrick Musau, Nathaniel Hamilton, Diego Manzanas Lopez, Preston Robinette, Taylor T. Johnson

Proceedings of the IEEE International Conference on Assured Autonomy, 2022

Zero-Shot Policy Transfer in Autonomous Racing: Reinforcement Learning vs Imitation Learning.

Nathaniel Hamilton, Patrick Musau, Diego Manzanas Lopez, Taylor T. Johnson

Proceedings of the IEEE International Conference on Assured Autonomy, 2022

Reachability Analysis of a General Class of Neural Ordinary Differential Equations.

Diego Manzanas Lopez, Patrick Musau, Nathaniel Hamilton, Taylor T. Johnson

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

ARCH-COMP22 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.

Diego Manzanas Lopez, Matthias Althoff, Luis Benet, Xin Chen, Jiameng Fan, Marcelo Forets, Chao Huang, Taylor T. Johnson, Tobias Ladner, Wenchao Li, Christian Schilling, Qi Zhu

Proceedings of 9th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH22), 2022

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

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

Proceedings of the Computer Aided Verification - 33rd International Conference, 2021

ARCH-COMP21 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.

Taylor T. Johnson, Diego Manzanas Lopez, Luis Benet, Marcelo Forets, Sebastián Guadalupe, Christian Schilling, Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Insup Lee

Proceedings of the 8th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH21), 2021

2020

Case Study: Safety Verification of an Unmanned Underwater Vehicle.

Diego Manzanas Lopez, Patrick Musau, Nathaniel Hamilton, Hoang-Dung Tran, Taylor T. Johnson

Proceedings of the 2020 IEEE Security and Privacy Workshops, 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

ARCH-COMP20 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.

Taylor T. Johnson, Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Elena Botoeva, Francesco Leofante, Amir Maleki, Chelsea Sidrane, Jiameng Fan, Chao Huang

Proceedings of the ARCH20. 7th International Workshop on Applied Verification of Continuous and Hybrid Systems (ARCH20), 2020

2019

Safety Verification of Cyber-Physical Systems with Reinforcement Learning Control.

Hoang-Dung Tran, Feiyang Cai, Diego Manzanas Lopez, Patrick Musau, Taylor T. Johnson, Xenofon D. Koutsoukos

ACM Trans. Embed. Comput. Syst., 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

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

Verification of Closed-loop Systems with Neural Network Controllers.

Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Taylor T. Johnson

Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

ARCH-COMP19 Category Report: Artificial Intelligence and Neural Network Control Systems (AINNCS) for Continuous and Hybrid Systems Plants.

Diego Manzanas Lopez, Patrick Musau, Hoang-Dung Tran, Souradeep Dutta, Taylor J. Carpenter, Radoslav Ivanov, Taylor T. Johnson

Proceedings of the ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systemsi, 2019

2018

Verification for Machine Learning, Autonomy, and Neural Networks Survey.

Weiming Xiang, Patrick Musau, Ayana A. Wild, Diego Manzanas Lopez, Nathaniel Hamilton, Xiaodong Yang, Joel A. Rosenfeld, Taylor T. Johnson

CoRR, 2018

Reachable Set Estimation and Verification for Neural Network Models of Nonlinear Dynamic Systems.

Weiming Xiang, Diego Manzanas Lopez, Patrick Musau, Taylor T. Johnson

CoRR, 2018

Linear Differential-Algebraic Equations (Benchmark Proposal).

Patrick Musau, Diego Manzanas Lopez, Hoang-Dung Tran, Taylor T. Johnson

Proceedings of the ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems, 2018