Felipe Toledo

According to our database, Felipe Toledo authored at least 12 papers between 2007 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

The SGSM framework: Enabling the specification and monitor synthesis of safe driving properties through scene graphs.

Trey Woodlief, Felipe Toledo, Sebastian G. Elbaum, Matthew B. Dwyer

Sci. Comput. Program., 2025

2024

Specifying and Monitoring Safe Driving Properties with Scene Graphs.

Felipe Toledo, Trey Woodlief, Sebastian G. Elbaum, Matthew Dwyer

Dataset, May, 2024

S3C: Spatial Semantic Scene Coverage for Autonomous Vehicles.

Trey Woodlief, Felipe Toledo, Sebastian G. Elbaum, Matthew B. Dwyer

Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

Specifying and Monitoring Safe Driving Properties with Scene Graphs.

Felipe Toledo, Trey Woodlief, Sebastian G. Elbaum, Matthew B. Dwyer

Proceedings of the IEEE International Conference on Robotics and Automation, 2024

2023

Deeper Notions of Correctness in Image-Based DNNs: Lifting Properties from Pixel to Entities.

Felipe Toledo, David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer

Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2023

2021

Distribution Models for Falsification and Verification of DNNs.

Felipe Toledo, David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer

Dataset, August, 2021

Distribution Models for Falsification and Verification of DNNs.

Felipe Toledo, David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer

Dataset, July, 2021

Distribution Models for Falsification and Verification of DNNs.

Felipe Toledo, David Shriver, Sebastian G. Elbaum, Matthew Dwyer

Dataset, July, 2021

Automated Low-Cost LED-Based Sun Photometer for City Scale Distributed Measurements.

Cristobal Garrido, Felipe Toledo, Marcos A. Diaz, Roberto Rondanelli

Remote. Sens., 2021

Distribution Models for Falsification and Verification of DNNs.

Felipe Toledo, David Shriver, Sebastian G. Elbaum, Matthew B. Dwyer

Proceedings of the 36th IEEE/ACM International Conference on Automated Software Engineering, 2021

2020

Low-Cost Ka-Band Cloud Radar System for Distributed Measurements within the Atmospheric Boundary Layer.

Roberto Aguirre, Felipe Toledo, Rafael Rodríguez, Roberto Rondanelli, Nicolas Reyes, Marcos A. Diaz

Remote. Sens., 2020

2007

Low cost automatic mixed-signal board test using IEEE 1149.4.

Srividya Sundar, Bruce C. Kim, Toby Byrd, Felipe Toledo, Sudhir Wokhlu, Erika Beskar, Raul Rousselin, David Cotton, Gary Kendall

Proceedings of the 2007 IEEE International Test Conference, 2007