McAiT - A Timing Analyzer for Multicore Real-Time Software.

Mingsong Lv, Nan Guan, Qingxu Deng, Ge Yu, Wang Yi

Browse the full ATVA paper archive.