‪Felipe Toledo‬ - ‪Google Scholar‬

Get my own profile

Cited by

	All	Since 2019
Citations	10	10
h-index	2	2
i10-index	0	0

0

8

4

202320247 3

Public access

1 article

0 articles

available

not available

Based on funding mandates

Co-authors

Sebastian ElbaumProfessor of Computer Science, University of VirginiaVerified email at virginia.edu
Matthew DwyerUniversity of VirginiaVerified email at virginia.edu
David ShriverSoftware Engineering Institute, Carnegie Mellon UniversityVerified email at sei.cmu.edu

Felipe Toledo

Felipe Toledo

University of Virginia

Verified email at virginia.edu - Homepage

DNN verification and testing


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
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

The system can't perform the operation now. Try again later.

Articles 1–3