ESOP 2015 : Segment Abstraction for Worst-Case Execution Time Analysis

Reference

2015

detail

Segment Abstraction for Worst-Case Execution Time Analysis

Pavol Černý, Thomas A. Henzinger, Laura Kovács, Arjun Radhakrishna, and Jakob Zwirchmayr

ESOP 2015: European Symposium on Programming

BibTeX

@string{ESOP = "European Symposium on Programming (ESOP)"}
@inproceedings{wcet-esop15,
  author = {Pavol Černý and Thomas A. Henzinger and Laura Kovács and Arjun Radhakrishna and Jakob Zwirchmayr},
  title = {Segment Abstraction for Worst-Case Execution Time Analysis},
  booktitle = ESOP,
  year = {2015},
}