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 (ITC, 2007)

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)

Distribution Models for Falsification and Verification of DNNs. - Felipe Toledo; David Shriver; Sebastian G. Elbaum; Matthew B. Dwyer (ASE, 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 Dwyer 001 (Zenodo, 2021)

Distribution Models for Falsification and Verification of DNNs. - Felipe Toledo; David Shriver; Sebastian G. Elbaum; Matthew B. Dwyer (Zenodo, 2021)

Distribution Models for Falsification and Verification of DNNs. - Felipe Toledo; David Shriver; Sebastian G. Elbaum; Matthew B. Dwyer (Zenodo, 2021)

Deeper Notions of Correctness in Image-Based DNNs: Lifting Properties from Pixel to Entities. - Felipe Toledo; David Shriver; Sebastian G. Elbaum; Matthew B. Dwyer (ESEC/SIGSOFT FSE, 2023)

Specifying and Monitoring Safe Driving Properties with Scene Graphs. - Felipe Toledo; Trey Woodlief; Sebastian G. Elbaum; Matthew B. Dwyer (ICRA, 2024)

S3C: Spatial Semantic Scene Coverage for Autonomous Vehicles. - Trey Woodlief; Felipe Toledo; Sebastian G. Elbaum; Matthew B. Dwyer (ICSE, 2024)

Specifying and Monitoring Safe Driving Properties with Scene Graphs. - Felipe Toledo; Trey Woodlief; Sebastian G. Elbaum; Matthew Dwyer 001 (Zenodo, 2024)

Closing the Gap Between Sensor Inputs and Driving Properties: A Scene Graph Generator for CARLA. - Trey Woodlief; Felipe Toledo; Sebastian G. Elbaum; Matthew B. Dwyer (ICSE Companion, 2025)

Scene Flow Specifications: Encoding and Monitoring Rich Temporal Safety Properties of Autonomous Systems. - Trey Woodlief; Felipe Toledo; Matthew B. Dwyer; Sebastian G. Elbaum (Proc. ACM Softw. Eng., 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)

RBT4DNN: Requirements-based Testing of Neural Networks. - Nusrat Jahan Mozumder; Felipe Toledo; Swaroopa Dola; Matthew B. Dwyer (CoRR, 2025)

T4PC: Training Deep Neural Networks for Property Conformance. - Felipe Toledo; Trey Woodlief; Sebastian G. Elbaum; Matthew B. Dwyer (IEEE Trans. Software Eng., 2025)