Segment Abstraction for Worst-Case Execution Time Analysis.

Pavol Cern, Thomas A. Henzinger, Laura Kovcs, Arjun Radhakrishna, Jakob Zwirchmayr

Browse the full ESOP paper archive.