Program Semantics in Model-Based WCET Analysis: A State of the Art Perspective

Mihail Asavoae, Claire Maiza, Pascal Raymond. Program Semantics in Model-Based WCET Analysis: A State of the Art Perspective. In Claire Maiza, editor, 13th International Workshop on Worst-Case Execution Time Analysis, WCET 2013, July 9, 2013, Paris, France. Volume 30 of OASICS, pages 32-41, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2013. [doi]

Authors

Mihail Asavoae

This author has not been identified. Look up 'Mihail Asavoae' in Google

Claire Maiza

This author has not been identified. Look up 'Claire Maiza' in Google

Pascal Raymond

This author has not been identified. Look up 'Pascal Raymond' in Google