Diego Manzanas Lopez -

Not registered as user yet

Name:Diego Manzanas Lopez

Affiliation:Vanderbilt University

Contributions

2024

FormaliSE

Author of Case Study: Neural Network Malware Detection Verification for Feature and Image Datasets within the FormaliSE 2024-track

2019

FormaliSE

Author of Parallelizable Reachability Analysis Algorithms for Feed-Forward Neural Networks within the FormaliSE 2019-track