Felipe Toledo

12 papers A* 3A 1Journal 6Unranked 2
YearRankTypeTitle / Venue / Authors
2025 — conf
Closing the Gap Between Sensor Inputs and Driving Properties: A Scene Graph Generator for CARLA.
ICSE Companion
Trey Woodlief, Felipe Toledo, Sebastian G. Elbaum, Matthew B. Dwyer
2025 J jnl
RBT4DNN: Requirements-based Testing of Neural Networks.
CoRR
Nusrat Jahan Mozumder, Felipe Toledo, Swaroopa Dola, Matthew B. Dwyer
2025 J jnl
Scene Flow Specifications: Encoding and Monitoring Rich Temporal Safety Properties of Autonomous Systems.
Proc. ACM Softw. Eng.
Trey Woodlief, Felipe Toledo, Matthew B. Dwyer, Sebastian G. Elbaum
2025 J jnl
T4PC: Training Deep Neural Networks for Property Conformance.
IEEE Trans. Software Eng.
Felipe Toledo, Trey Woodlief, Sebastian G. Elbaum, Matthew B. Dwyer
2025 J jnl
The SGSM framework: Enabling the specification and monitor synthesis of safe driving properties through scene graphs.
Sci. Comput. Program.
Trey Woodlief, Felipe Toledo, Sebastian G. Elbaum, Matthew B. Dwyer
2024 A* conf
S3C: Spatial Semantic Scene Coverage for Autonomous Vehicles.
ICSE
Trey Woodlief, Felipe Toledo, Sebastian G. Elbaum, Matthew B. Dwyer
2024 A* conf
Specifying and Monitoring Safe Driving Properties with Scene Graphs.
ICRA
Felipe Toledo, Trey Woodlief, Sebastian G. Elbaum, Matthew B. Dwyer
2023 — conf
Deeper Notions of Correctness in Image-Based DNNs: Lifting Properties from Pixel to Entities.
ESEC/SIGSOFT FSE
Felipe Toledo, David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer
2021 J jnl
Automated Low-Cost LED-Based Sun Photometer for City Scale Distributed Measurements.
Remote. Sens.
Cristobal Garrido, Felipe Toledo, Marcos A. Diaz, Roberto Rondanelli
2021 A* conf
Distribution Models for Falsification and Verification of DNNs.
ASE
Felipe Toledo, David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer
2020 J jnl
Low-Cost Ka-Band Cloud Radar System for Distributed Measurements within the Atmospheric Boundary Layer.
Remote. Sens.
Roberto Aguirre, Felipe Toledo, Rafael Rodríguez, Roberto Rondanelli, Nicolas Reyes, Marcos A. Diaz
2007 A conf
Low cost automatic mixed-signal board test using IEEE 1149.4.
ITC
Srividya Sundar, Bruce C. Kim, Toby Byrd, Felipe Toledo, Sudhir Wokhlu, Erika Beskar, Raul Rousselin, David Cotton, Gary Kendall