Validating Static WCET Analysis: A Method and Its Application

Wei-Tsun Sun, Eric Jenn, Hugues Cassé. Validating Static WCET Analysis: A Method and Its Application. In Sebastian Altmeyer, editor, 19th International Workshop on Worst-Case Execution Time Analysis, WCET 2019, July 9, 2019, Stuttgart, Germany. Volume 72 of OASICS, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2019. [doi]

Authors

Wei-Tsun Sun

This author has not been identified. Look up 'Wei-Tsun Sun' in Google

Eric Jenn

This author has not been identified. Look up 'Eric Jenn' in Google

Hugues Cassé

This author has not been identified. Look up 'Hugues Cassé' in Google