WCET 2015 July 7, 2015 - Lund, Sweden

15th International Workshop on Worst-Case Execution Time Analysis (WCET 2015)



Francisco J. Cazorla (Ed.)
ISBN 978-3-939897-95-8, OASICS Vol. 47 ISSN 2190-6807
Additional Information
License
Conference Website
Complete volume (PDF, 5 MB)
Search Publication Server


Authors
  • Altmeyer, Sebastian
  • Ballabriga, Clément
  • Cassé, Hugues
  • Cazorla, Francisco J.
  • Cornaglia, Alessandro
  • Distler, Tobias
  • Dreyer, Boris
  • Eslamimehr, Mahdi
  • Forget, Julien
  • Gustafsson, Jan
  • Hönig, Timo
  • Hochberger, Christian
  • Holsti, Niklas
  • Källberg, Linus
  • Lankes, Stefan
  • Lipari, Giuseppe
  • Lisper, Björn
  • Maiza, Claire
  • Mezzetti, Enrico
  • Ozaktas, Haluk
  • Reineke, Jan
  • Rochange, Christine
  • Ruiz, Jordy
  • Samimi, Hesam
  • Schröder-Preikschat, Wolfgang
  • Sieh, Volkmar
  • Vardanega, Tullio
  • Wägemann, Peter
  • Wassen, Georg
  • Wegener, Simon
  • Weiss, Alexander
  • Ziccardi, Marco

  •   
    Front Matter, Table of Contents, Preface, Workshop Organization
    Authors: Cazorla, Francisco J.

    Abstract | Document (396 KB) | BibTeX

    A Framework to Quantify the Overestimations of Static WCET Analysis
    Authors: Cassé, Hugues ; Ozaktas, Haluk ; Rochange, Christine

    Abstract | Document (498 KB) | BibTeX

    Software-enforced Interconnect Arbitration for COTS Multicores
    Authors: Ziccardi, Marco ; Cornaglia, Alessandro ; Mezzetti, Enrico ; Vardanega, Tullio

    Abstract | Document (531 KB) | BibTeX

    Timing Analysis of Event-Driven Programs with Directed Testing
    Authors: Eslamimehr, Mahdi ; Samimi, Hesam

    Abstract | Document (441 KB) | BibTeX

    GenE: A Benchmark Generator for WCET Analysis
    Authors: Wägemann, Peter ; Distler, Tobias ; Hönig, Timo ; Sieh, Volkmar ; Schröder-Preikschat, Wolfgang

    Abstract | Document (516 KB) | BibTeX

    Precise Continuous Non-Intrusive Measurement-Based Execution Time Estimation
    Authors: Dreyer, Boris ; Hochberger, Christian ; Wegener, Simon ; Weiss, Alexander

    Abstract | Document (746 KB) | BibTeX

    Context-sensitive Parametric WCET Analysis
    Authors: Ballabriga, Clément ; Forget, Julien ; Lipari, Giuseppe

    Abstract | Document (605 KB) | BibTeX

    WCET and Mixed-Criticality: What does Confidence in WCET Estimations Depend Upon?
    Authors: Altmeyer, Sebastian ; Lisper, Björn ; Maiza, Claire ; Reineke, Jan ; Rochange, Christine

    Abstract | Document (363 KB) | BibTeX

    Bare-Metal Execution of Hard Real-Time Tasks Within a General-Purpose Operating System
    Authors: Wassen, Georg ; Lankes, Stefan

    Abstract | Document (408 KB) | BibTeX

    Analysing Switch-Case Code with Abstract Execution
    Authors: Holsti, Niklas ; Gustafsson, Jan ; Källberg, Linus ; Lisper, Björn

    Abstract | Document (442 KB) | BibTeX

    Using SMT Solving for the Lookup of Infeasible Paths in Binary Programs
    Authors: Ruiz, Jordy ; Cassé, Hugues

    Abstract | Document (487 KB) | BibTeX

      




    DROPS-Home | Fulltext Search | Imprint Published by LZI