Concepedia

Safe Upper Bounds

Safe Upper Bounds is a worst-case execution time analysis metric that provides a guaranteed upper limit on the execution time of a program task, ensuring that actual execution durations never exceed this bound under any feasible operational condition.

44

Publications

2K

Citations

117

Authors

64

Institutions

Publications per year

2017–2026

3

Parents

Publications

44

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

Safe bounds in linear and mixed-integer linear programming

Arnold Neumaier, Oleg Shcherbina · Mathematical Programming · 2004 · 165 citations

, , +12

End-to-End Communication Delay Analysis in Industrial Wireless Networks

Abusayeed Saifullah, You Xu, Chenyang Lu et al. · IEEE Transactions on Computers · 2014 · 134 citations

, , +17

Formal worst-case timing analysis of Ethernet topologies with strict-priority and AVB switching

Jonas Diemer, Daniel Thiele, Rolf Ernst · 2012 · 100 citations

, , +16

Fully Automatic, Parametric Worst-Case Execution Time Analysis.

Björn Lisper · 2003 · 93 citations

, , +17

1–5 of 44

Authors

117

  1. BL
    Björn Lisper

    Mälardalen University, Sweden

    5 publications · 368 citations

    5

    h-index

  2. RE
    Rolf Ernst

    Technische Universität Braunschweig, Germany

    3 publications · 142 citations

    3

    h-index

  3. HF
    Heiko Falk

    TU Dortmund University, Germany

    3 publications · 179 citations

    3

    h-index

  4. AE
    Andreas Ermedahl

    Mälardalen University, Sweden

    3 publications · 257 citations

    3

    h-index

  5. BN
    Borislav Nikolić

    Polytechnic Institute of Porto, Portugal

    2 publications · 48 citations

    2

    h-index

1–5 of 117

Institutions

64

  1. Mälardalen University

    Västerås, Sweden

    6 h-index

    14 publications

    1.1K citations

  2. TU Dortmund University

    Dortmund, Germany

    3 h-index

    7 publications

    438 citations

  3. Technische Universität Braunschweig

    Braunschweig, Germany

    3 h-index

    8 publications

    399 citations

  4. Saarland University

    Saarbrücken, Germany

    3 h-index

    5 publications

    222 citations

  5. AbsInt (Germany)

    Saarbrücken, Germany

    2 h-index

    4 publications

    58 citations

  6. National University of Singapore

    Singapore, Singapore

    2 h-index

    3 publications

    174 citations

  7. Columbia University

    New York, United States

    1 h-index

    1 publications

    49 citations

  8. University of Illinois Urbana-Champaign

    Urbana, United States

    1 h-index

    4 publications

    304 citations

1–8 of 64

Venues

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

    Repository · 3 publications · 110 citations

    3

    h-index

  2. Mathematical Programming

    1 publications · 165 citations

    1

    h-index

  3. 1

    h-index

  4. 1

    h-index

  5. BMJ

    1 publications · 26 citations

    1

    h-index

1–5