Concepedia

Real-time Calculus

Real-Time Calculus is a formal mathematical framework within real-time systems analysis that characterizes and computes the temporal behavior of event streams using min-plus and max-plus algebra to derive guaranteed bounds on delays and backlogs in data-flow networks.

51

Publications

2.7K

Citations

101

Authors

54

Institutions

Publications per year

2017–2026

4

Variants

Rtc

Parents

Publications

51

Real-time calculus for scheduling hard real-time systems

Lothar Thiele, Samarjit Chakraborty, Martin Naedele · 2002 · 599 citations

, , +17

A General Framework for Analysing System Properties in Platform-Based Embedded System Designs

2003 · 282 citations

, , +14

An old-fashioned recipe for real time

Martı́n Abadi, Leslie Lamport · ACM Transactions on Programming Languages and Systems · 1994 · 239 citations · Full text

, , +15

A calculus for communicating systems with time and probabilities

Hans Hansson, Bengt Jönsson · 1990 · 201 citations

, , +15

A general framework for analysing system properties in platform-based embedded system designs

Samarjit Chakraborty, Simon Künzli, Lothar Thiele · 2003 Design, Automation and Test in Europe Conference and Exhibition · 2003 · 160 citations

, , +14

1–5 of 51

Authors

101

  1. LT
    Lothar Thiele

    ETH Zurich, Switzerland

    10 publications · 1.1K citations

    10

    h-index

  2. SC
    Samarjit Chakraborty

    Technical University of Munich, Germany

    5 publications · 843 citations

    5

    h-index

  3. SP
    Simon Perathoner

    ETH Zurich, Switzerland

    4 publications · 158 citations

    4

    h-index

  4. MB
    Marc Boyer

    Office National d'Études et de Recherches Aérospatiales, France

    3 publications · 111 citations

    3

    h-index

  5. WY
    Wang Yi

    Uppsala University, Sweden

    3 publications · 119 citations

    3

    h-index

1–5 of 101

Institutions

54

  1. ETH Zurich

    Zurich, Switzerland

    11 h-index

    27 publications

    2.2K citations

  2. Uppsala University

    Uppsala, Sweden

    4 h-index

    8 publications

    640 citations

  3. National University of Singapore

    Singapore, Singapore

    3 h-index

    8 publications

    293 citations

  4. Office National d'Études et de Recherches Aérospatiales

    Palaiseau, France

    3 h-index

    5 publications

    149 citations

  5. Scuola Superiore Sant'Anna

    Pisa, Italy

    3 h-index

    5 publications

    173 citations

  6. Northeastern University

    Shenyang, China

    2 h-index

    4 publications

    132 citations

  7. Software (Spain)

    Tres Cantos, Spain

    2 h-index

    3 publications

    84 citations

  8. Indian Institute of Technology Guwahati

    Guwahati, India

    2 h-index

    3 publications

    53 citations

1–8 of 54

Venues

  1. Electronic workshops in computing

    2 publications · 59 citations

    2

    h-index

  2. TU/e Research Portal

    Repository · 1 publications · 12 citations

    1

    h-index

  3. Acta Informatica

    1 publications · 48 citations

    1

    h-index

  4. Design, Automation, and Test in Europe

    Conference · 1 publications · 51 citations

    1

    h-index

  5. 1

    h-index

1–5