Felipe Toledo

According to our database, Felipe Toledo authored at least 5 papers between 2007 and 2023.

Collaborative distances:

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

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

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