Sign in
Felipe Toledo
ORCID
Publication Activity (10 Years)
Years Active: 2007-2023
Publications (10 Years): 4
Top Topics
Key Properties
Negative Binomial
Single Chip
Cooperative
Top Venues
Remote. Sens.
ESEC/SIGSOFT FSE
ASE
</>
Publications
</>
Felipe Toledo
,
David Shriver
,
Sebastian G. Elbaum
,
Matthew B. Dwyer
Deeper Notions of Correctness in Image-Based DNNs: Lifting Properties from Pixel to Entities.
ESEC/SIGSOFT FSE
(2023)
Felipe Toledo
,
David Shriver
,
Sebastian G. Elbaum
,
Matthew B. Dwyer
Distribution Models for Falsification and Verification of DNNs.
ASE
(2021)
Cristobal Garrido
,
Felipe Toledo
,
Marcos A. Diaz
,
Roberto Rondanelli
Automated Low-Cost LED-Based Sun Photometer for City Scale Distributed Measurements.
Remote. Sens.
13 (22) (2021)
Roberto Aguirre
,
Felipe Toledo
,
Rafael Rodríguez
,
Roberto Rondanelli
,
Nicolas Reyes
,
Marcos A. Diaz
Low-Cost Ka-Band Cloud Radar System for Distributed Measurements within the Atmospheric Boundary Layer.
Remote. Sens.
12 (23) (2020)
Srividya Sundar
,
Bruce C. Kim
,
Toby Byrd
,
Felipe Toledo
,
Sudhir Wokhlu
,
Erika Beskar
,
Raul Rousselin
,
David Cotton
,
Gary Kendall
Low cost automatic mixed-signal board test using IEEE 1149.4.
ITC
(2007)