Concepedia

Control-flow Timing Analysis

Control-Flow Timing Analysis is a static timing analysis technique that determines upper bounds on the execution time of program paths by modeling the possible sequences of program instructions influenced by control-flow constructs such as loops, branches, and function calls.

16

Publications

413

Citations

50

Authors

23

Institutions

Publications per year

2017–2026

2

Parents

Publications

16

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

Synthesis of software programs for embedded control applications

Felice Balarin, Massimiliano Chiodo, Paolo Giusto et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 1999 · 90 citations

, , +17

Fast and accurate source-level simulation of software timing considering complex code optimizations

Stefan Stattelmann, Oliver Bringmann, Wolfgang Rosenstiel · 2011 · 57 citations

, , +17

Efficient detection and exploitation of infeasible paths for software timing analysis

Vivy Suhendra, Tulika Mitra, Abhik Roychoudhury et al. · 2006 · 48 citations

, , +17

WCET Code Positioning

Wankang Zhao, David Whalley, Christopher Healy et al. · 2005 · 24 citations

, , +14

1–5 of 16

Authors

50

  1. MC
    Massimiliano Chiodo

    Politecnico di Torino, Italy

    2 publications · 106 citations

    2

    h-index

  2. TM
    Tulika Mitra

    National University of Singapore, Singapore

    2 publications · 69 citations

    2

    h-index

  3. RK
    Raimund Kirner

    TU Wien, Austria

    2 publications · 37 citations

    2

    h-index

  4. AR
    Abhik Roychoudhury

    National University of Singapore, Singapore

    2 publications · 69 citations

    2

    h-index

  5. JK
    Juho Kim

    Korea Advanced Institute of Science and Technology, South Korea

    1 publications · 11 citations

    1

    h-index

1–5 of 50

Institutions

23

  1. TU Wien

    Vienna, Austria

    2 h-index

    5 publications

    110 citations

  2. Universidad de Oviedo

    Oviedo, Spain

    1 h-index

    1 publications

    12 citations

  3. European Organization for Nuclear Research

    Geneva, Switzerland

    1 h-index

    4 publications

    48 citations

  4. University of California, Berkeley

    Berkeley, United States

    1 h-index

    2 publications

    180 citations

  5. ETH Zurich

    Zurich, Switzerland

    1 h-index

    2 publications

    28 citations

  6. University of Auckland

    Auckland, New Zealand

    1 h-index

    2 publications

    26 citations

  7. Furman University

    Greenville, United States

    1 h-index

    1 publications

    24 citations

  8. Cadence Design Systems (United States)

    San Jose, United States

    1 h-index

    4 publications

    360 citations

1–8 of 23

Venues

  1. IFAC Proceedings Volumes

    1 publications · 12 citations

    1

    h-index

  2. ACM Transactions on Embedded Computing Systems

    TECS · 1 publications · 13 citations

    1

    h-index

  3. 1

    h-index

  4. Communications of the ACM

    1 publications · 12 citations

    1

    h-index

  5. 1

    h-index

1–5