Yimi Zhao

According to our database, Yimi Zhao authored at least 1 paper in 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

Work-in-Progress: Generating Counter-Examples to Schedulability Using the Schedule Abstraction.

Yimi Zhao, Srinidhi Srinivasan, Geoffrey Nelissen, Mitra Nasri

Proceedings of the IEEE Real-Time Systems Symposium, 2023