Concepedia

Statechart Modeling

Statechart Modeling is a formal behavioral modeling technique within model-driven software engineering that extends finite state machines by introducing hierarchical states, concurrency, and event-driven transitions to represent complex system dynamics.

235

Publications

16.6K

Citations

564

Authors

238

Institutions

Publications per year

2017–2026

12

Parents

Publications

235

Statecharts: a visual formalism for complex systems

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

, , +10

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

Executable object modeling with statecharts

David Harel, Eran Gery · Computer · 1997 · 534 citations

, , +17

Polyglot

Juan Caballero, Heng Yin, Zhenkai Liang et al. · 2007 · 364 citations

, , +17

Reflective physical prototyping through integrated design, test, and analysis

Björn Hartmann, Scott Klemmer, Michael S. Bernstein et al. · 2006 · 301 citations

, , +12

1–5 of 235

Authors

564

  1. DH
    David Harel

    Weizmann Institute of Science, Israel

    15 publications · 9.3K citations

    15

    h-index

  2. NL
    Nandamudi L. Vijaykumar

    Instituto Nacional de Pesquisas Espaciais, Brazil

    5 publications · 119 citations

    5

    h-index

  3. RW
    R. W. Sherman

    Weizmann Institute of Science, Israel

    4 publications · 1.6K citations

    4

    h-index

  4. DL
    Diego Latella

    Istituto di Scienza e Tecnologie dell'Informazione "Alessandro Faedo", Italy

    4 publications · 381 citations

    4

    h-index

  5. AP
    Amir Pnueli

    Weizmann Institute of Science, Israel

    4 publications · 1.6K citations

    4

    h-index

1–5 of 564

Institutions

238

  1. Weizmann Institute of Science

    Rehovot, Israel

    14 h-index

    28 publications

    10.4K citations

  2. Paderborn University

    Paderborn, Germany

    6 h-index

    16 publications

    351 citations

  3. Christian-Albrechts-Universität zu Kiel

    Kiel, Germany

    5 h-index

    18 publications

    904 citations

  4. Budapest University of Technology and Economics

    Budapest, Hungary

    5 h-index

    10 publications

    212 citations

  5. Politecnico di Milano

    Milan, Italy

    4 h-index

    8 publications

    187 citations

  6. University of Twente

    Enschede, The Netherlands

    4 h-index

    6 publications

    180 citations

  7. Instituto Nacional de Pesquisas Espaciais

    São José dos Campos, Brazil

    4 h-index

    13 publications

    402 citations

  8. University of Illinois Urbana-Champaign

    Urbana, United States

    4 h-index

    9 publications

    141 citations

1–8 of 238

Venues

  1. Electronic Notes in Theoretical Computer Science

    ENTCS · 9 publications · 179 citations

    9

    h-index

  2. Software & Systems Modeling

    SoSyM · 5 publications · 152 citations

    5

    h-index

  3. Science of Computer Programming

    4 publications · 6.8K citations

    4

    h-index

  4. Reliability Engineering & System Safety

    3 publications · 144 citations

    3

    h-index

  5. ACM SIGPLAN Notices

    3 publications · 83 citations

    3

    h-index

1–5