Segui
Felipe Toledo
Felipe Toledo
University of Virginia
Email verificata su virginia.edu - Home page
Titolo
Citata da
Citata da
Anno
Distribution models for falsification and verification of dnns
F Toledo, D Shriver, S Elbaum, MB Dwyer
2021 36th IEEE/ACM International Conference on Automated Software …, 2021
82021
S3C: Spatial Semantic Scene Coverage for Autonomous Vehicles
T Woodlief, F Toledo, S Elbaum, MB Dwyer
Proceedings of the IEEE/ACM 46th International Conference on Software …, 2024
42024
Deeper notions of correctness in image-based dnns: Lifting properties from pixel to entities
F Toledo, D Shriver, S Elbaum, MB Dwyer
Proceedings of the 31st ACM Joint European Software Engineering Conference …, 2023
32023
The SGSM framework: Enabling the specification and monitor synthesis of safe driving properties through scene graphs
T Woodlief, F Toledo, S Elbaum, MB Dwyer
Science of Computer Programming 242, 103252, 2025
2025
Specifying and Monitoring Safe Driving Properties with Scene Graphs
F Toledo, T Woodlief, S Elbaum, MB Dwyer
2024 IEEE International Conference on Robotics and Automation (ICRA), 15577 …, 2024
2024
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–5