Skip to content

Research at St Andrews

Towards Formally Verifiable WCET Analysis for a Functional Programming Language

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

Author(s)

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

School/Research organisations

Details

Original languageEnglish
Title of host publication6th International Workshop on Worst-Case Execution Time Analysis (WCET'06)
EditorsFrank Mueller
Publisher Schloss Dagstuhl - Leibniz-Zentrum für Informatik GmbH
ISBN (Print)978-3-939897-03-3
DOIs
StatePublished - 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)
CountryGermany
CityDresden
Period4/07/06 → …

Discover related content
Find related publications, people, projects and more using interactive charts.

View graph of relations

Related by author

  1. The EmBounded project (project paper).  Proc 6th Symposium on Trends in Functional Programming (TFP 2005), Trends in Functional Programming,

    Hammond, K., Dyckhoff, R., Ferdinand, C., Heckmann, R., Hofmann, M., Jost, S., Loidl, H-W., Michaelson, G., Serot, J. & Wallace, A. Sep 2005

    Research output: Contribution to conferencePaper

  2. Indefinite proof and inversions of syllogisms

    Dyckhoff, R. 14 Jul 2018 (Accepted/In press) In : Bulletin of Symbolic Logic. 13 p.

    Research output: Contribution to journalArticle

  3. Contraction-free sequent calculi in intuitionistic logic: a correction

    Dyckhoff, R. 18 May 2018 (Accepted/In press) In : Journal of Symbolic Logic. 3 p.

    Research output: Contribution to journalArticle

  4. Analyticity, balance and non-admissibility of Cut in Stoic Logic

    Bobzien, S. & Dyckhoff, R. 20 Apr 2018 In : Studia Logica. First Online, 23 p.

    Research output: Contribution to journalArticle

  5. Automatically deriving cost models for structured parallel processes using hylomorphisms

    Castro, D., Hammond, K., Sarkar, S. & Alguwaifli, Y. Feb 2018 In : Future Generation Computer Systems. 79, Part 2, p. 653-668

    Research output: Contribution to journalArticle

ID: 110638936