Yimi Zhao

Publication Activity (10 Years)

Years Active: 2023-2023
Publications (10 Years): 1

Top Topics

Counter Examples

Scheduling Algorithm

Data Abstraction

Top Venues

Publications

Yimi Zhao, Srinidhi Srinivasan, Geoffrey Nelissen, Mitra Nasri
Work-in-Progress: Generating Counter-Examples to Schedulability Using the Schedule Abstraction. RTSS (2023)