Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Felipe Toledo
conf.researchr.org general profile
ASE 2021 profile
ASE 2022 profile
ESEC/FSE 2023 profile
FSE 2025 profile
ICSE 2024 profile
ICSE 2025 profile
Registered user since Fri 21 May 2021
Name:
Felipe Toledo
Contributions
2025
ESEC/FSE
Author of Scene Flow Specifications: Encoding and Monitoring Rich Temporal Safety Properties of Autonomous Systems within the Research Papers-track
ICSE
Author of Closing the Gap between Sensor Inputs and Driving Properties: A Scene Graph Generator for CARLA within the Demonstrations-track
2024
ICSE
Author of Artifact: S3C: Spatial Semantic Scene Coverage for Autonomous Vehicles within the Artifact Evaluation-track
Author of S3C: Spatial Semantic Scene Coverage for Autonomous Vehicles within the Research Track-track
2023
ESEC/FSE
Author of Deeper Notions of Correctness in Image-based DNNs: Lifting Properties from Pixel to Entities within the Ideas, Visions and Reflections-track
2022
ASE
Committee Member in Program Committee within the Artifact Evaluation-track
2021
ASE
Author of Distribution Models for Falsification and Verification of DNNs within the Research Papers-track
Author of Distribution Models for Falsification and Verification of DNNs within the Artifact Evaluation-track
Share
x
Sun 26 Oct 01:39
