WCET 2013 July 9, 2013, Paris, France

13th International Workshop on Worst-Case Execution Time Analysis



Claire Maiza (Ed.)
ISBN 978-3-939897-54-5, OASICS Vol. 30 ISSN 2190-6807
Additional Information
License
Conference Website
Complete volume (PDF, 5 MB)
Search Publication Server


Authors
  • Abella, Jaume
  • Asavoae, Mihail
  • Biere, Armin
  • Birée, Florian
  • Cassé, Hugues
  • Cazorla, Francisco J.
  • de la Puente, Juan A.
  • Falk, Heiko
  • Garrido, Jorge
  • Harde, Tim
  • Haupenthal, Florian
  • Herter, Jörg
  • Kelter, Timon
  • Knoop, Jens
  • Kosmidis, Leonidas
  • Kovács, Laura
  • Maiza, Claire
  • Marwedel, Peter
  • Ozaktas, Haluk
  • Potop-Butucaru, Dumitru
  • Puaut, Isabelle
  • Quiñones, Eduardo
  • Raymond, Pascal
  • Rochange, Christine
  • Sainrat, Pascal
  • Vardanega, Tullio
  • Zamorano, Juan
  • Zwirchmayr, Jakob

  •   
    Frontmatter, Table of Contents, Preface, Workshop Organization
    Authors: Maiza, Claire

    Abstract | Document (264 KB) | BibTeX

    Evaluation of resource arbitration methods for multi-core real-time systems
    Authors: Kelter, Timon ; Harde, Tim ; Marwedel, Peter ; Falk, Heiko

    Abstract | Document (465 KB) | BibTeX

    Automatic WCET Analysis of Real-Time Parallel Applications
    Authors: Ozaktas, Haluk ; Rochange, Christine ; Sainrat, Pascal

    Abstract | Document (678 KB) | BibTeX

    Integrated Worst-Case Execution Time Estimation of Multicore Applications
    Authors: Potop-Butucaru, Dumitru ; Puaut, Isabelle

    Abstract | Document (553 KB) | BibTeX

    Program Semantics in Model-Based WCET Analysis: A State of the Art Perspective
    Authors: Asavoae, Mihail ; Maiza, Claire ; Raymond, Pascal

    Abstract | Document (323 KB) | BibTeX

    Multi-architecture Value Analysis for Machine Code
    Authors: Cassé, Hugues ; Birée, Florian ; Sainrat, Pascal

    Abstract | Document (505 KB) | BibTeX

    The Auspicious Couple: Symbolic Execution and WCET Analysis
    Authors: Biere, Armin ; Knoop, Jens ; Kovács, Laura ; Zwirchmayr, Jakob

    Abstract | Document (421 KB) | BibTeX

    Upper-bounding Program Execution Time with Extreme Value Theory
    Authors: Cazorla, Francisco J. ; Vardanega, Tullio ; Quiñones, Eduardo ; Abella, Jaume

    Abstract | Document (525 KB) | BibTeX

    PRADA: Predictable Allocations by Deferred Actions
    Authors: Haupenthal, Florian ; Herter, Jörg

    Abstract | Document (638 KB) | BibTeX

    Static analysis of WCET in a satellite software subsystem
    Authors: Garrido, Jorge ; Zamorano, Juan ; de la Puente, Juan A.

    Abstract | Document (482 KB) | BibTeX

    Applying Measurement-Based Probabilistic Timing Analysis to Buffer Resources
    Authors: Kosmidis, Leonidas ; Vardanega, Tullio ; Abella, Jaume ; Quiñones, Eduardo ; Cazorla, Francisco J.

    Abstract | Document (570 KB) | BibTeX

      




    DROPS-Home | Fulltext Search | Imprint Published by LZI