activity
20172026
most citedSemi-Federated Scheduling of Parallel Real-Time Tasks on Multiprocessors

5 citations · 10 across the 6 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

cs.LO2026

ProsaBuddy: Assisting Mechanized Real-Time Schedulability Analysis with LLM-based Agents

Junyi Liu, Tianchi Ren, Fei Guan +4

Rigorous schedulability analysis is essential for the design of hard real-time systems, yet errors in pen-and-paper proofs threaten the safety of critical applications. The Prosa i…