Concepedia

Timed Automata

Timed Automata is a formal model of computation that extends finite automata with continuous clock variables to capture the behavior of real-time systems, enabling the specification and verification of temporal constraints in hybrid and embedded systems.

1.2K

Publications

58.9K

Citations

2.1K

Authors

735

Institutions

Publications per year

2017–2026

127

Parents

Publications

1.2K

A theory of timed automata

Rajeev Alur, David L. Dill · Theoretical Computer Science · 1994 · 6.5K citations

, , +9

The control of discrete event systems

Peter J. Ramadge, W.M. Wonham · Proceedings of the IEEE · 1989 · 2.9K citations

, , +15

Modeling and verification of time dependent systems using time Petri nets

Bernard Berthomieu, M. Díaz · IEEE Transactions on Software Engineering · 1991 · 1.1K citations

, , +17

The synchronous languages 12 years later

Albert Benveniste, P. Caspi, Stephen A. Edwards et al. · Proceedings of the IEEE · 2003 · 932 citations · Full text

, , +15

Model-checking for real-time systems

Rajeev Alur, Costas Courcoubetis, David L. Dill · 2002 · 894 citations

, , +15

1–5 of 1.2K

Authors

2.1K

  1. KG
    Kim G. Larsen

    Aalborg University, Denmark

    54 publications · 2.8K citations

    29

    h-index

  2. PB
    Patricia Bouyer

    Centre National de la Recherche Scientifique, France

    35 publications · 1.5K citations

    23

    h-index

  3. PP
    Paul Pettersson

    Uppsala University, Sweden

    31 publications · 1.6K citations

    22

    h-index

  4. ST
    Stavros Tripakis

    University of California, Berkeley, United States

    15 publications · 858 citations

    14

    h-index

  5. SY
    Sergio Yovine

    Verimag, France

    13 publications · 2.5K citations

    13

    h-index

1–5 of 2.1K

Institutions

735

  1. Centre National de la Recherche Scientifique

    Paris, France

    37 h-index

    191 publications

    11.2K citations

  2. Aalborg University

    Aalborg, Denmark

    32 h-index

    182 publications

    9K citations

  3. École Normale Supérieure Paris-Saclay

    Gif-sur-Yvette, France

    28 h-index

    95 publications

    3.4K citations

  4. Verimag

    Gières, France

    25 h-index

    79 publications

    12.2K citations

  5. Uppsala University

    Uppsala, Sweden

    25 h-index

    79 publications

    5.3K citations

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

    Le Chesnay-Rocquencourt, France

    21 h-index

    83 publications

    6.1K citations

  7. University of California, Berkeley

    Berkeley, United States

    20 h-index

    43 publications

    5.7K citations

  8. University of Twente

    Enschede, The Netherlands

    15 h-index

    57 publications

    1.6K citations

1–8 of 735

Venues

  1. Theoretical Computer Science

    32 publications · 8.5K citations

    22

    h-index

  2. Electronic Notes in Theoretical Computer Science

    ENTCS · 51 publications · 1.2K citations

    21

    h-index

  3. IEEE Transactions on Automatic Control

    23 publications · 1.5K citations

    20

    h-index

  4. IEEE Transactions on Software Engineering

    TSE · 20 publications · 2.3K citations

    16

    h-index

  5. BRICS Report Series

    23 publications · 870 citations

    15

    h-index

1–5