Towards Formally Verifiable WCET Analysis for a Functional Programming Language - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Kevin Hammond, Christian Ferdinand, Reinhold Heckmann, Roy Dyckhoff, Martin Hofmann, Steffen Jost, Hans-Wolfgang Loidl, Greg Michaelson, Robert F. Pointon, Norman Scaife, Jocelyn Sérot, Andy Wallace. Towards Formally Verifiable WCET Analysis for a Functional Programming Language. In Frank Mueller, editor, 6th Intl. Workshop on Worst-Case Execution Time (WCET) Analysis, July 4, 2006, Dresden, Germany. Volume 06902 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, 2006. [doi]

Identified as Kevin Hammond This author has not been identified. Look up 'Christian Ferdinand' in GoogleThis author has not been identified. Look up 'Reinhold Heckmann' in GoogleThis author has not been identified. Look up 'Roy Dyckhoff' in GoogleThis author has not been identified. Look up 'Martin Hofmann' in GoogleThis author has not been identified. Look up 'Steffen Jost' in GoogleThis author has not been identified. It may be one of the following persons:

Hans-Wolfgang Loidl

Look up 'Hans-Wolfgang Loidl' in GoogleThis author has not been identified. Look up 'Greg Michaelson' in GoogleThis author has not been identified. Look up 'Robert F. Pointon' in GoogleThis author has not been identified. Look up 'Norman Scaife' in GoogleThis author has not been identified. Look up 'Jocelyn Sérot' in GoogleThis author has not been identified. Look up 'Andy Wallace' in Google

runs on WebDSL