Concepedia

Loop Bound Analysis

Loop Bound Analysis is a static analysis method used in worst-case execution time analysis that determines the maximum number of iterations a loop can execute by identifying loop-specific constraints and control flow properties, thereby enabling precise bounding of cyclic behavior in real-time systems.

43

Publications

1.8K

Citations

92

Authors

48

Institutions

Publications per year

2017–2026

2

Parents

Publications

43

Automatic Derivation of Loop Bounds and Infeasible Paths for WCET Analysis Using Abstract Execution

Jan Gustafsson, Andreas Ermedahl, Christer Sandberg et al. · 2006 · 188 citations

, , +15

Control-flow refinement and progress invariants for bound analysis

Sumit Gulwani, Sagar Jain, Eric Koskinen · 2009 · 130 citations

, , +11

Supporting Timing Analysis by Automatic Bounding of Loop Iterations

Christopher Healy, Mikael Sjödin, V. Rustagi et al. · Real-Time Systems · 2000 · 128 citations

, , +14

Time and Parallel Processor Bounds for Fortran-Like Loops

Banerjee, Shyh-Ching Chen, Kuck et al. · IEEE Transactions on Computers · 1979 · 119 citations

, , +12

The reachability-bound problem

Sumit Gulwani, Florian Zuleger · 2010 · 116 citations

, , +15

1–5 of 43

Authors

92

  1. BL
    Björn Lisper

    Mälardalen University, Sweden

    6 publications · 394 citations

    6

    h-index

  2. JG
    Jan Gustafsson

    Mälardalen University, Sweden

    5 publications · 360 citations

    5

    h-index

  3. AE
    Andreas Ermedahl

    Mälardalen University, Sweden

    5 publications · 370 citations

    5

    h-index

  4. CS
    Christer Sandberg

    Mälardalen University, Sweden

    4 publications · 319 citations

    4

    h-index

  5. SG
    Sumit Gulwani

    Microsoft (United States), United States

    4 publications · 298 citations

    4

    h-index

1–5 of 92

Institutions

48

  1. Mälardalen University

    Västerås, Sweden

    5 h-index

    16 publications

    1.1K citations

  2. Microsoft (United States)

    Redmond, United States

    5 h-index

    5 publications

    333 citations

  3. TU Wien

    Vienna, Austria

    4 h-index

    6 publications

    203 citations

  4. University of Illinois Urbana-Champaign

    Urbana, United States

    4 h-index

    8 publications

    526 citations

  5. Nanyang Technological University

    Singapore, Singapore

    2 h-index

    4 publications

    156 citations

  6. Louisiana State University

    Baton Rouge, United States

    2 h-index

    2 publications

    75 citations

  7. Florida State University

    Tallahassee, United States

    2 h-index

    1 publications

    15 citations

  8. University of Cambridge

    Cambridge, United Kingdom

    2 h-index

    2 publications

    161 citations

1–8 of 48

Venues

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

    Repository · 5 publications · 190 citations

    5

    h-index

  2. IEEE Transactions on Computers

    2 publications · 137 citations

    2

    h-index

  3. ACM SIGPLAN Notices

    2 publications · 52 citations

    2

    h-index

  4. ACM Transactions on Embedded Computing Systems

    TECS · 1 publications · 15 citations

    1

    h-index

  5. International Journal of Control

    1 publications · 12 citations

    1

    h-index

1–5