Safe and efficient elimination of infeasible execution paths in WCET estimation.

Apostolos A. Kountouris

Browse the full RTCSA paper archive.