Concepedia

Statecharts

Statecharts is a state-based modeling formalism that extends finite state machines with hierarchical states, concurrency, and communication mechanisms to support the precise specification of complex reactive behaviors in discrete-event system models.

424

Publications

27.4K

Citations

892

Authors

383

Institutions

Publications per year

2017–2026

27

Variants

Statechart

Parents

Publications

424

Statecharts: a visual formalism for complex systems

David Harel · Science of Computer Programming · 1987 · 6.7K citations

, , +10

On visual formalisms

David Harel · Communications of the ACM · 1988 · 1.3K citations · Full text

, , +16

STATEMATE: a working environment for the development of complex reactive systems

David Harel, H. Lachover, A. Naamad et al. · IEEE Transactions on Software Engineering · 1990 · 1.1K citations

, , +17

On Communicating Finite-State Machines

Daniël Brand, P. Zafiropulo · Journal of the ACM · 1983 · 1.1K citations · Full text

, , +13

The STATEMATE semantics of statecharts

David Harel, A. Naamad · ACM Transactions on Software Engineering and Methodology · 1996 · 1K citations

, , +14

1–5 of 424

Authors

892

  1. DH
    David Harel

    Weizmann Institute of Science, Israel

    19 publications · 12K citations

    18

    h-index

  2. GF
    Giancarlo Fortino

    University of Calabria, Italy

    6 publications · 190 citations

    6

    h-index

  3. WR
    Wilma Russo

    University of Calabria, Italy

    6 publications · 190 citations

    6

    h-index

  4. RV
    Reinhard von Hanxleden

    Christian-Albrechts-Universität zu Kiel, Germany

    6 publications · 199 citations

    6

    h-index

  5. SR
    S. Ramesh

    General Motors (India), India

    5 publications · 160 citations

    5

    h-index

1–5 of 892

Institutions

383

  1. Weizmann Institute of Science

    Rehovot, Israel

    18 h-index

    29 publications

    13.4K citations

  2. Christian-Albrechts-Universität zu Kiel

    Kiel, Germany

    10 h-index

    24 publications

    1.2K citations

  3. University of Toronto

    Toronto, Canada

    8 h-index

    14 publications

    1.6K citations

  4. University of California, Berkeley

    Berkeley, United States

    8 h-index

    19 publications

    1.6K citations

  5. University of Illinois Urbana-Champaign

    Urbana, United States

    7 h-index

    19 publications

    294 citations

  6. Budapest University of Technology and Economics

    Budapest, Hungary

    7 h-index

    22 publications

    830 citations

  7. Politecnico di Milano

    Milan, Italy

    7 h-index

    16 publications

    317 citations

  8. Iowa State University

    Ames, United States

    7 h-index

    10 publications

    153 citations

1–8 of 383

Venues

  1. IEEE Transactions on Software Engineering

    TSE · 13 publications · 2K citations

    13

    h-index

  2. Software & Systems Modeling

    SoSyM · 9 publications · 345 citations

    9

    h-index

  3. Electronic Notes in Theoretical Computer Science

    ENTCS · 9 publications · 291 citations

    9

    h-index

  4. Science of Computer Programming

    7 publications · 6.8K citations

    7

    h-index

  5. Information and Software Technology

    6 publications · 186 citations

    6

    h-index

1–5