Concepedia

Real-time Systems Modeling

Real-Time Systems Modeling is a formal methodology within cyber-physical systems modeling that specifies the temporal behavior and timing constraints of system components to ensure predictability and correctness in time-critical operations.

1K

Publications

40.8K

Citations

2.3K

Authors

750

Institutions

Publications per year

2017–2026

124

Parents

Publications

1K

Cyber–Physical Systems: A Perspective at the Centennial

Kyoung-Dae Kim, P. R. Kumar · Proceedings of the IEEE · 2012 · 760 citations

, , +17

Safety analysis of timing properties in real-time systems

Farnam Jahanian, Aloysius K. Mok · IEEE Transactions on Software Engineering · 1986 · 631 citations

, , +14

KRONOS: a verification tool for real-time systems

Sergio Yovine · International Journal on Software Tools for Technology Transfer · 1997 · 584 citations

, , +14

Distributed fault-tolerant real-time systems: the Mars approach

Hermann Kopetz, Andreas Damm, C. Koza et al. · IEEE Micro · 1989 · 576 citations

, , +16

Timed Automata

Rajeev Alur · Computer Aided Verification · 1999 · 454 citations

, , +17

1–5 of 1K

Authors

2.3K

  1. MS
    Mikael Sjödin

    Mälardalen University, Sweden

    12 publications · 405 citations

    11

    h-index

  2. KG
    Kim G. Larsen

    Aalborg University, Denmark

    12 publications · 831 citations

    10

    h-index

  3. FM
    Frédéric Mallet

    Institut national de recherche en sciences et technologies du numérique, France

    10 publications · 224 citations

    10

    h-index

  4. AB
    Alan Burns

    University of York, United Kingdom

    9 publications · 768 citations

    9

    h-index

  5. RE
    Rolf Ernst

    Technische Universität Braunschweig, Germany

    9 publications · 274 citations

    9

    h-index

1–5 of 2.3K

Institutions

750

  1. University of York

    York, United Kingdom

    18 h-index

    34 publications

    2.7K citations

  2. Mälardalen University

    Västerås, Sweden

    17 h-index

    83 publications

    2.7K citations

  3. University of Illinois Urbana-Champaign

    Urbana, United States

    16 h-index

    39 publications

    1.4K citations

  4. Centre National de la Recherche Scientifique

    Paris, France

    16 h-index

    39 publications

    1.7K citations

  5. Institut national de recherche en sciences et technologies du numérique

    Le Chesnay-Rocquencourt, France

    15 h-index

    60 publications

    1.2K citations

  6. Carnegie Mellon University

    Pittsburgh, United States

    15 h-index

    45 publications

    1.8K citations

  7. University of California, Irvine

    Irvine, United States

    13 h-index

    26 publications

    1.4K citations

  8. University of California, Berkeley

    Berkeley, United States

    12 h-index

    35 publications

    1.7K citations

1–8 of 750

Venues

  1. IEEE Transactions on Software Engineering

    TSE · 25 publications · 3.2K citations

    22

    h-index

  2. Real-Time Systems

    17 publications · 966 citations

    14

    h-index

  3. Journal of Systems and Software

    JSS · 10 publications · 394 citations

    10

    h-index

  4. Electronic Notes in Theoretical Computer Science

    ENTCS · 10 publications · 287 citations

    10

    h-index

  5. IFAC Proceedings Volumes

    10 publications · 227 citations

    10

    h-index

1–5