Towards Formally Verifiable WCET Analysis for a Functional Programming Language

Kevin Hammond, Christian Ferdinand, Reinhold Heckmann, Roy Dyckhoff, Martin Hofman, Steffen Jost, Hans-Wolfgang Loidl, Greg Michaelson, Robert Pointon, Norman Scaife, Jocelyn Sérot, Andy Wallace

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publication6th International Workshop on Worst-Case Execution Time Analysis (WCET'06)
EditorsFrank Mueller
PublisherSchloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
ISBN (Print)978-3-939897-03-3
DOIs
Publication statusPublished - 2006
Event6th International Workshop on Worst-Case Execution Time Analysis (WCET'06) - Dresden, Germany
Duration: 4 Jul 2006 → …

Publication series

NameOASIcs: OpenAccess Series in Informatics
Volume4
ISSN (Print)2190-6807

Conference

Conference6th International Workshop on Worst-Case Execution Time Analysis (WCET'06)
Country/TerritoryGermany
CityDresden
Period4/07/06 → …

Cite this