Felipe Toledo

Orcid: 0000-0002-5632-7518

According to our database¹, Felipe Toledo authored at least 10 papers between 2007 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2024

S3C: Spatial Semantic Scene Coverage for Autonomous Vehicles.

[BibT_eX]

[DOI]

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

Specifying and Monitoring Safe Driving Properties with Scene Graphs.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Dataset, August, 2021

Distribution Models for Falsification and Verification of DNNs.

[BibT_eX]

[DOI]

Dataset, July, 2021

Distribution Models for Falsification and Verification of DNNs.

[BibT_eX]

[DOI]

Dataset, July, 2021

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

[BibT_eX]

[DOI]

Remote. Sens., 2021

Distribution Models for Falsification and Verification of DNNs.

[BibT_eX]

[DOI]

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.

[BibT_eX]

[DOI]

Remote. Sens., 2020

2007

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

[BibT_eX]

[DOI]

Proceedings of the 2007 IEEE International Test Conference, 2007

Felipe Toledo

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...