Felipe Toledo - Google Scholar

Utwórz swój profil

Cytowane przez

	Wszystkie	Od 2019
Cytowania	10	10
h-indeks	2	2
i10-indeks	0	0

0

8

4

202320247 3

Dostęp publiczny

Wyświetl wszystko

1 artykuł

0 artykułów

dostępne

niedostępne

Objęte finansowaniem

Współautorzy

Sebastian ElbaumProfessor of Computer Science, University of VirginiaZweryfikowany adres z virginia.edu
Matthew DwyerUniversity of VirginiaZweryfikowany adres z virginia.edu
David ShriverSoftware Engineering Institute, Carnegie Mellon UniversityZweryfikowany adres z sei.cmu.edu
Trey WoodliefUniversity of VirginiaZweryfikowany adres z virginia.edu

Felipe Toledo

Felipe Toledo

University of Virginia

Zweryfikowany adres z virginia.edu - Strona główna

DNN verification and testing


Tytuł Sortuj wg cytatów Sortuj wg roku Sortuj wg tytułu	Cytowane przez Cytowane przez	Rok
Distribution models for falsification and verification of dnns F Toledo, D Shriver, S Elbaum, MB Dwyer 2021 36th IEEE/ACM International Conference on Automated Software …, 2021	8	2021
Deeper Notions of Correctness in Image-Based DNNs: Lifting Properties from Pixel to Entities F Toledo, D Shriver, S Elbaum, MB Dwyer Proceedings of the 31st ACM Joint European Software Engineering Conference …, 2023	2	2023
S3C: Spatial Semantic Scene Coverage for Autonomous Vehicles T Woodlief, F Toledo, S Elbaum, MB Dwyer Proceedings of the IEEE/ACM 46th International Conference on Software …, 2024		2024

Nie można teraz wykonać tej operacji. Spróbuj ponownie później.

Prace 1–3