Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Lopez, Diego Manzanas
48  Ergebnisse:
Personensuche X
?
1

Robustness Verification of Deep Neural Networks Using Star-..:

, In: Formal Methods for Industrial Critical Systems; Lecture Notes in Computer Science,
Pal, Neelanjana ; Lopez, Diego Manzanas ; Johnson, Taylor T - p. 170-188 , 2023
Link: https://doi.org/10.1007/..
 
?
2

Benchmark: Neural Network Malware Classification:

, In: Bridging the Gap Between AI and Reality; Lecture Notes in Computer Science,
Robinette, Preston K. ; Lopez, Diego Manzanas ; Johnson, Taylor T. - p. 291-298 , 2023
Link: https://doi.org/10.1007/..
 
?
3

NNV 2.0: The Neural Network Verification Tool:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Lopez, Diego Manzanas ; Choi, Sung Woo ; Tran, Hoang-Dung. - p. 397-412 , 2023
Link: https://doi.org/10.1007/..
 
?
4

On Using Real-Time Reachability for the Safety Assurance of..:

, In: 2022 IEEE International Conference on Assured Autonomy (ICAA),
Musau, Patrick ; Hamilton, Nathaniel ; Lopez, Diego Manzanas.. - p. 1-10 , 2022
Link: https://doi.org/10.1109/..
 
?
5

Zero-Shot Policy Transfer in Autonomous Racing: Reinforceme..:

, In: 2022 IEEE International Conference on Assured Autonomy (ICAA),
Hamilton, Nathaniel ; Musau, Patrick ; Lopez, Diego Manzanas. - p. 11-20 , 2022
Link: https://doi.org/10.1109/..
 
?
6

Robustness Verification of Semantic Segmentation Neural Net..:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Tran, Hoang-Dung ; Pal, Neelanjana ; Musau, Patrick... - p. 263-286 , 2021
Link: https://doi.org/10.1007/..
 
?
7

Verification of piecewise deep neural networks: a star set ..:

Tran, Hoang-Dung ; Pal, Neelanjana ; Lopez, Diego Manzanas...
Formal Aspects of Computing.  33 (2021)  4-5 - p. 519-545 , 2021
Link: https://doi.org/10.1007/..
 
?
8

Demo: The Neural Network Verification (NNV) Tool:

, In: 2020 IEEE Workshop on Design Automation for CPS and IoT (DESTION),
Tran, Hoang-Dung ; Lopez, Diego Manzanas ; Yang, Xiaodong... - p. 21-22 , 2020
Link: https://doi.org/10.1109/..
 
?
9

Case Study: Safety Verification of an Unmanned Underwater V..:

, In: 2020 IEEE Security and Privacy Workshops (SPW),
Lopez, Diego Manzanas ; Musau, Patrick ; Hamilton, Nathaniel.. - p. 189-195 , 2020
Link: https://doi.org/10.1109/..
 
?
10

Parallelizable reachability analysis algorithms for feed-fo..:

, In: Proceedings of the 7th International Workshop on Formal Methods in Software Engineering,
Tran, Hoang-Dung ; Musau, Patrick ; Lopez, Diego Manzanas... - p. 31-40 , 2019
Link: https://dl.acm.org/doi/1..
 
?
11

Reachable Set Estimation and Verification for Neural Networ..:

, In: Safe, Autonomous and Intelligent Vehicles; Unmanned System Technologies,
Xiang, Weiming ; Lopez, Diego Manzanas ; Musau, Patrick. - p. 123-144 , 2018
Link: https://doi.org/10.1007/..
 
?
12

Case Study: Neural Network Malware Detection Verification f..:

, In: Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE),
Robinette, Preston K. ; Manzanas Lopez, Diego ; Serbinowska, Serena.. - p. 127-137 , 2024
Link: https://dl.acm.org/doi/1..
 
?
13

Evaluation of Neural Network Verification Methods for Air-t..:

Manzanas Lopez, Diego ; Johnson, Taylor T. ; Bak, Stanley..
Journal of Air Transportation.  31 (2023)  1 - p. 1-17 , 2023
Link: https://doi.org/10.2514/..
 
?
14

Tutorial: Neural Network and Autonomous Cyber-Physical Syst..:

, In: Proceedings of the International Conference on Embedded Software,
Tran, Hoang-Dung ; Manzanas Lopez, Diego ; Johnson, Taylor - p. 1-2 , 2023
Link: https://dl.acm.org/doi/1..
 
?
15

Empirical Analysis of Benchmark Generation for the Verifica..:

, In: Bridging the Gap Between AI and Reality; Lecture Notes in Computer Science,
Manzanas Lopez, Diego ; Johnson, Taylor T. - p. 331-347 , 2023
Link: https://doi.org/10.1007/..
 
1-15