Benedikt Huber, Daniel Prokesch, and Peter Puschner.

A Formal Framework for Precise Parametric WCET Formulas.

In Tullio Vardanega, editor, 12th International Workshop on Worst-Case Execution Time Analysis, volume 23 of OpenAccess Series in Informatics (OASIcs), pages 91–102, Dagstuhl, Germany, 2012. Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik.

DOI: 10.4230/OASIcs.WCET.2012.91