Concepedia

Static Worst-case Execution Time Analysis

Static Worst-Case Execution Time Analysis is a deterministic analytical method that belongs to the class of worst-case execution time analysis techniques, distinguished by its reliance on static program analysis and formal modeling of hardware and software behavior to compute upper bounds on execution time without requiring code execution.

303

Publications

13.5K

Citations

476

Authors

180

Institutions

Publications per year

2017–2026

20

Variants

Static Wcet Analysis

Parents

Publications

303

The worst-case execution-time problem—overview of methods and survey of tools

Reinhard Wilhelm, Jakob Engblom, Andreas Ermedahl et al. · ACM Transactions on Embedded Computing Systems · 2008 · 1.8K citations

, , +17

Comprehensive formal verification of an OS microkernel

Gerwin Klein, June Andronick, Kevin Elphinstone et al. · ACM Transactions on Computer Systems · 2014 · 334 citations

, , +17

Ascertaining Uncertainty for Efficient Exact Cache Analysis

Valentin Touzeau, Claire Maïza, David Monniaux et al. · arXiv (Cornell University) · 2017 · 252 citations · Full text

, , +17

Predicting program execution times by analyzing static and dynamic program paths

Chang Yun Park · Real-Time Systems · 1993 · 250 citations · Full text

, , +14

The influence of processor architecture on the design and the results of WCET tools

Reinhold Heckmann, M. Langebach, Stephan Thesing et al. · Proceedings of the IEEE · 2003 · 247 citations

, , +17

1–5 of 303

Authors

476

  1. AE
    Andreas Ermedahl

    Mälardalen University, Sweden

    25 publications · 2.9K citations

    18

    h-index

  2. PP
    Peter Puschner

    TU Wien, Austria

    17 publications · 2.3K citations

    15

    h-index

  3. IP
    Isabelle Puaut

    Institut de Recherche en Informatique et Systèmes Aléatoires, France

    16 publications · 2.7K citations

    15

    h-index

  4. FM
    Frank Mueller

    North Carolina State University, United States

    16 publications · 2.5K citations

    14

    h-index

  5. BL
    Björn Lisper

    Mälardalen University, Sweden

    16 publications · 693 citations

    14

    h-index

1–5 of 476

Institutions

180

  1. Mälardalen University

    Västerås, Sweden

    18 h-index

    62 publications

    4.4K citations

  2. TU Wien

    Vienna, Austria

    18 h-index

    56 publications

    3.2K citations

  3. University of York

    York, United Kingdom

    17 h-index

    48 publications

    1.5K citations

  4. Saarland University

    Saarbrücken, Germany

    16 h-index

    40 publications

    6.3K citations

  5. North Carolina State University

    Raleigh, United States

    12 h-index

    33 publications

    3K citations

  6. AbsInt (Germany)

    Saarbrücken, Germany

    12 h-index

    18 publications

    4.7K citations

  7. TU Dortmund University

    Dortmund, Germany

    12 h-index

    31 publications

    1.3K citations

  8. Institut de Recherche en Informatique et Systèmes Aléatoires

    Rennes, France

    12 h-index

    23 publications

    3.4K citations

1–8 of 180

Venues

  1. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)

    Repository · 36 publications · 1.2K citations

    18

    h-index

  2. Real-Time Systems

    7 publications · 535 citations

    7

    h-index

  3. Journal of Systems Architecture

    JSA · 4 publications · 188 citations

    4

    h-index

  4. HAL (Le Centre pour la Communication Scientifique Directe)

    Repository · 3 publications · 68 citations

    3

    h-index

  5. ACM SIGPLAN Notices

    3 publications · 116 citations

    3

    h-index

1–5