---
res:
  bibo_abstract:
  - In the standard framework for worst-case execution time (WCET) analysis of programs,
    the main data structure is a single instance of integer linear programming (ILP)
    that represents the whole program. The instance of this NP-hard problem must be
    solved to find an estimate forWCET, and it must be refined if the estimate is
    not tight.We propose a new framework for WCET analysis, based on abstract segment
    trees (ASTs) as the main data structure. The ASTs have two advantages. First,
    they allow computing WCET by solving a number of independent small ILP instances.
    Second, ASTs store more expressive constraints, thus enabling a more efficient
    and precise refinement procedure. In order to realize our framework algorithmically,
    we develop an algorithm for WCET estimation on ASTs, and we develop an interpolation-based
    counterexample-guided refinement scheme for ASTs. Furthermore, we extend our framework
    to obtain parametric estimates of WCET. We experimentally evaluate our approach
    on a set of examples from WCET benchmark suites and linear-algebra packages. We
    show that our analysis, with comparable effort, provides WCET estimates that in
    many cases significantly improve those computed by existing tools.@eng
  bibo_authorlist:
  - foaf_Person:
      foaf_givenName: Pavol
      foaf_name: Cerny, Pavol
      foaf_surname: Cerny
      foaf_workInfoHomepage: http://www.librecat.org/personId=4DCBEFFE-F248-11E8-B48F-1D18A9856A87
  - foaf_Person:
      foaf_givenName: Thomas A
      foaf_name: Henzinger, Thomas A
      foaf_surname: Henzinger
      foaf_workInfoHomepage: http://www.librecat.org/personId=40876CD8-F248-11E8-B48F-1D18A9856A87
    orcid: 0000−0002−2985−7724
  - foaf_Person:
      foaf_givenName: Laura
      foaf_name: Kovács, Laura
      foaf_surname: Kovács
  - foaf_Person:
      foaf_givenName: Arjun
      foaf_name: Radhakrishna, Arjun
      foaf_surname: Radhakrishna
      foaf_workInfoHomepage: http://www.librecat.org/personId=3B51CAC4-F248-11E8-B48F-1D18A9856A87
  - foaf_Person:
      foaf_givenName: Jakob
      foaf_name: Zwirchmayr, Jakob
      foaf_surname: Zwirchmayr
  bibo_doi: 10.1007/978-3-662-46669-8_5
  bibo_volume: 9032
  dct_date: 2015^xs_gYear
  dct_identifier:
  - UT:000361751400005
  dct_language: eng
  dct_publisher: Springer@
  dct_title: Segment abstraction for worst-case execution time analysis@
...