​
Login / Signup
Felipe Toledo
ORCID
Publication Activity (10 Years)
Years Active: 2007-2024
Publications (10 Years): 6
Top Topics
Negative Binomial
Distributed Environment
Scene Analysis
Indoor And Outdoor
Top Venues
Remote. Sens.
ICRA
ESEC/SIGSOFT FSE
ASE
</>
Publications
</>
Felipe Toledo
,
Trey Woodlief
,
Sebastian G. Elbaum
,
Matthew B. Dwyer
Specifying and Monitoring Safe Driving Properties with Scene Graphs.
ICRA
(2024)
Trey Woodlief
,
Felipe Toledo
,
Sebastian G. Elbaum
,
Matthew B. Dwyer
S3C: Spatial Semantic Scene Coverage for Autonomous Vehicles.
ICSE
(2024)
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)