Trey Woodlief

Orcid: 0000-0001-9803-8303

According to our database1, Trey Woodlief authored at least 10 papers between 2019 and 2025.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

2019
2020
2021
2022
2023
2024
2025
0
1
2
3
4
5
1
3
1
2
1
1
1

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2025
The SGSM framework: Enabling the specification and monitor synthesis of safe driving properties through scene graphs.
Sci. Comput. Program., 2025

2024
Specifying and Monitoring Safe Driving Properties with Scene Graphs.
Dataset, May, 2024

ODD-diLLMma: Driving Automation System ODD Compliance Checking using LLMs.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2024

S3C: Spatial Semantic Scene Coverage for Autonomous Vehicles.
Proceedings of the 46th IEEE/ACM International Conference on Software Engineering, 2024

Specifying and Monitoring Safe Driving Properties with Scene Graphs.
Proceedings of the IEEE International Conference on Robotics and Automation, 2024

2023
Generating Realistic and Diverse Tests for LiDAR-Based Perception Systems.
Proceedings of the 45th IEEE/ACM International Conference on Software Engineering, 2023

2022
Semantic Image Fuzzing of AI Perception Systems.
Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

Preparing Software Engineers to Develop Robot Systems.
Proceedings of the 44th IEEE/ACM International Conference on Software Engineering: Software Engineering Education and Training, 2022

2021
Fuzzing Mobile Robot Environments for Fast Automated Crash Detection.
Proceedings of the IEEE International Conference on Robotics and Automation, 2021

2019
Faster Biclique Mining in Near-Bipartite Graphs.
Proceedings of the Analysis of Experimental Algorithms - Special Event, 2019


  Loading...