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

doi:10.4230/OASIcs.WCET.2006.677

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 proceeding › Conference contribution

Original language	English
Title of host publication	6th International Workshop on Worst-Case Execution Time Analysis (WCET'06)
Editors	Frank Mueller
Publisher	Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
ISBN (Print)	978-3-939897-03-3
DOIs	https://doi.org/10.4230/OASIcs.WCET.2006.677
Publication status	Published - 2006
Event	6th International Workshop on Worst-Case Execution Time Analysis (WCET'06) - Dresden, Germany Duration: 4 Jul 2006 → …

Publication series

Name	OASIcs: OpenAccess Series in Informatics
Volume	4
ISSN (Print)	2190-6807

Conference

Conference	6th International Workshop on Worst-Case Execution Time Analysis (WCET'06)
Country/Territory	Germany
City	Dresden
Period	4/07/06 → …

Access to Document

10.4230/OASIcs.WCET.2006.677

Cite this

Hammond, K., Ferdinand, C., Heckmann, R., Dyckhoff, R., Hofman, M., Jost, S., Loidl, H.-W., Michaelson, G., Pointon, R., Scaife, N., Sérot, J., & Wallace, A. (2006). Towards Formally Verifiable WCET Analysis for a Functional Programming Language. In F. Mueller (Ed.), 6th International Workshop on Worst-Case Execution Time Analysis (WCET'06) (OASIcs: OpenAccess Series in Informatics; Vol. 4). Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH. https://doi.org/10.4230/OASIcs.WCET.2006.677

@inproceedings{bcaebe89822e4b5dafecf3f9dce96b27,

title = "Towards Formally Verifiable WCET Analysis for a Functional Programming Language",

author = "Kevin Hammond and Christian Ferdinand and Reinhold Heckmann and Roy Dyckhoff and Martin Hofman and Steffen Jost and Hans-Wolfgang Loidl and Greg Michaelson and Robert Pointon and Norman Scaife and Jocelyn S{\'e}rot and Andy Wallace",

note = "Schloss Dagstuhl, Germany, Dagstuhl, Germany, .; 6th International Workshop on Worst-Case Execution Time Analysis (WCET'06) ; Conference date: 04-07-2006",

year = "2006",

doi = "10.4230/OASIcs.WCET.2006.677",

language = "English",

isbn = "978-3-939897-03-3",

series = "OASIcs: OpenAccess Series in Informatics",

publisher = "Schloss Dagstuhl - Leibniz-Zentrum f{\"u}r Informatik GmbH",

editor = "Frank Mueller",

booktitle = "6th International Workshop on Worst-Case Execution Time Analysis (WCET'06)",

}

Hammond, K, Ferdinand, C, Heckmann, R, Dyckhoff, R, Hofman, M, Jost, S, Loidl, H-W, Michaelson, G, Pointon, R, Scaife, N, Sérot, J & Wallace, A 2006, Towards Formally Verifiable WCET Analysis for a Functional Programming Language. in F Mueller (ed.), 6th International Workshop on Worst-Case Execution Time Analysis (WCET'06). OASIcs: OpenAccess Series in Informatics, vol. 4, Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, 6th International Workshop on Worst-Case Execution Time Analysis (WCET'06), Dresden, Germany, 4/07/06. https://doi.org/10.4230/OASIcs.WCET.2006.677

Towards Formally Verifiable WCET Analysis for a Functional Programming Language. / Hammond, Kevin; Ferdinand, Christian; Heckmann, Reinhold et al.
6th International Workshop on Worst-Case Execution Time Analysis (WCET'06). ed. / Frank Mueller. Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH, 2006. (OASIcs: OpenAccess Series in Informatics; Vol. 4).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

TY - GEN

T1 - Towards Formally Verifiable WCET Analysis for a Functional Programming Language

AU - Hammond, Kevin

AU - Ferdinand, Christian

AU - Heckmann, Reinhold

AU - Dyckhoff, Roy

AU - Hofman, Martin

AU - Jost, Steffen

AU - Loidl, Hans-Wolfgang

AU - Michaelson, Greg

AU - Pointon, Robert

AU - Scaife, Norman

AU - Sérot, Jocelyn

AU - Wallace, Andy

N1 - Schloss Dagstuhl, Germany, Dagstuhl, Germany, .

PY - 2006

Y1 - 2006

UR - http://drops.dagstuhl.de/opus/volltexte/2006/677/

UR - https://www.scopus.com/pages/publications/84880172938

U2 - 10.4230/OASIcs.WCET.2006.677

DO - 10.4230/OASIcs.WCET.2006.677

M3 - Conference contribution

SN - 978-3-939897-03-3

T3 - OASIcs: OpenAccess Series in Informatics

BT - 6th International Workshop on Worst-Case Execution Time Analysis (WCET'06)

A2 - Mueller, Frank

PB - Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH

T2 - 6th International Workshop on Worst-Case Execution Time Analysis (WCET'06)

Y2 - 4 July 2006

ER -

Hammond K, Ferdinand C, Heckmann R, Dyckhoff R, Hofman M, Jost S et al. Towards Formally Verifiable WCET Analysis for a Functional Programming Language. In Mueller F, editor, 6th International Workshop on Worst-Case Execution Time Analysis (WCET'06). Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH. 2006. (OASIcs: OpenAccess Series in Informatics). doi: 10.4230/OASIcs.WCET.2006.677

Towards Formally Verifiable WCET Analysis for a Functional Programming Language

Publication series

Conference

Access to Document

Other files and links

EP/C001346/1: Generative Programming for Embedded Systems

Cite this

Towards Formally Verifiable WCET Analysis for a Functional Programming Language

Publication series

Conference

Access to Document

Other files and links

Projects

EP/C001346/1: Generative Programming for Embedded Systems

Cite this