Concepedia

Compositional Timing Analysis

Compositional Timing Analysis is a formal method for determining the worst-case timing behavior of a real-time system by independently analyzing its components and rigorously composing their timing properties to derive safe and tight global timing guarantees.

55

Publications

9.6K

Citations

129

Authors

57

Institutions

Publications per year

2017–2026

5

Parents

Publications

55

Network information flow

Rudolf Ahlswede, Ning Cai, Shuo Li et al. · IEEE Transactions on Information Theory · 2000 · 7.9K citations

, , +15

A Compositional Framework for End-to-End Path Delay Calculation of Automotive Systems under Different Path Semantics

Nico Feiertag, Kai Richter, Johan Nordlander et al. · Epubl LTU · 2008 · 122 citations · Full text

, , +17

Decomposition instead of self-composition for proving the absence of timing channels

Timos Antonopoulos, Paul Gazzillo, Michael Hicks et al. · 2017 · 86 citations · Full text

, , +13

Synthesizing Job-Level Dependencies for Automotive Multi-rate Effect Chains

Matthias Becker, Dakshina Dasari, Saad Mubeen et al. · 2016 · 82 citations

, , +15

Towards compositionality in execution time analysis

Sebastian Hahn, Jan Reineke, Reinhard Wilhelm · ACM SIGBED Review · 2015 · 73 citations

, , +14

1–5 of 55

Authors

129

  1. RE
    Rolf Ernst

    Technische Universität Braunschweig, Germany

    12 publications · 376 citations

    12

    h-index

  2. KR
    Kai Richter

    LungenClinic Grosshansdorf, Germany

    6 publications · 237 citations

    6

    h-index

  3. MB
    Moris Behnam

    Mälardalen University, Sweden

    3 publications · 148 citations

    3

    h-index

  4. TN
    Thomas Nolte

    Mälardalen University, Sweden

    3 publications · 148 citations

    3

    h-index

  5. JC
    Jan Carlson

    Mälardalen University, Sweden

    3 publications · 46 citations

    3

    h-index

1–5 of 129

Institutions

57

  1. Technische Universität Braunschweig

    Braunschweig, Germany

    10 h-index

    29 publications

    981 citations

  2. Mälardalen University

    Västerås, Sweden

    7 h-index

    20 publications

    674 citations

  3. Saarland University

    Saarbrücken, Germany

    3 h-index

    8 publications

    325 citations

  4. Eindhoven University of Technology

    Eindhoven, The Netherlands

    2 h-index

    8 publications

    184 citations

  5. University of California, Berkeley

    Berkeley, United States

    2 h-index

    3 publications

    131 citations

  6. University of Maryland, College Park

    College Park, United States

    2 h-index

    4 publications

    224 citations

  7. University of Pennsylvania

    Philadelphia, United States

    2 h-index

    8 publications

    240 citations

  8. Yale University

    New Haven, United States

    2 h-index

    6 publications

    336 citations

1–8 of 57

Venues

  1. 5

    h-index

  2. IEEE Transactions on Software Engineering

    TSE · 3 publications · 129 citations

    3

    h-index

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

    Repository · 1 publications · 11 citations

    1

    h-index

  4. Epubl LTU

    Repository · 1 publications · 122 citations

    1

    h-index

  5. Applied Physics A

    1 publications · 13 citations

    1

    h-index

1–5