Concepedia

Executable Statecharts

Executable Statecharts is a formal state-based modeling language that extends traditional statecharts with precise execution semantics, enabling the unambiguous specification and automated execution of dynamic behavior in reactive systems.

21

Publications

2.6K

Citations

53

Authors

24

Institutions

Publications per year

2017–2026

3

Parents

Publications

21

The STATEMATE semantics of statecharts

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

, , +14

Automated data reduction workflows for astronomy

Astronomy and Astrophysics · 2013 · 709 citations · Full text

, , +16

Automated data reduction workflows for astronomy

W. Freudling, M. Romaniello, D. M. Bramich et al. · Springer Link (Chiba Institute of Technology) · 2013 · 291 citations · Full text

, , +16

Extending State Transition Diagrams for the Specification of Human–Computer Interaction

Anthony I. Wasserman · IEEE Transactions on Software Engineering · 1985 · 200 citations

, , +17

A statecharts-based software development process for mobile agents

Giancarlo Fortino, Wilma Russo, Eugenio Zimeo · Information and Software Technology · 2004 · 51 citations

, , +13

1–5 of 21

Authors

53

  1. RB
    Richard B. Berlin

    University of Illinois Urbana-Champaign, United States

    2 publications · 29 citations

    2

    h-index

  2. JT
    Jiro Tanaka

    University of Tsukuba, Japan

    2 publications · 65 citations

    2

    h-index

  3. SR
    Shangping Ren

    Illinois Institute of Technology, United States

    2 publications · 29 citations

    2

    h-index

  4. IA
    Iftikhar Azim Niaz

    COMSATS University Islamabad, Pakistan

    2 publications · 65 citations

    2

    h-index

  5. YJ
    Yu Jiang

    Tsinghua University, China

    2 publications · 29 citations

    2

    h-index

1–5 of 53

Institutions

24

  1. University of Tsukuba

    Tsukuba, Japan

    3 h-index

    5 publications

    129 citations

  2. Weizmann Institute of Science

    Rehovot, Israel

    2 h-index

    5 publications

    1.1K citations

  3. Illinois Institute of Technology

    Chicago, United States

    2 h-index

    5 publications

    72 citations

  4. Carle Foundation Hospital

    Urbana, United States

    2 h-index

    2 publications

    29 citations

  5. European Southern Observatory

    Garching bei München, Germany

    2 h-index

    16 publications

    8K citations

  6. University of Illinois Urbana-Champaign

    Urbana, United States

    2 h-index

    5 publications

    73 citations

  7. Shanghai Key Laboratory of Trustworthy Computing

    Shanghai, China

    1 h-index

    3 publications

    36 citations

  8. Technical University of Crete

    Chania, Greece

    1 h-index

    1 publications

    20 citations

1–8 of 24

Venues

  1. Information and Software Technology

    1 publications · 51 citations

    1

    h-index

  2. Organic Letters

    OL · 1 publications · 20 citations

    1

    h-index

  3. ACM Transactions on Software Engineering and Methodology

    TOSEM · 1 publications · 1K citations

    1

    h-index

  4. Astronomy and Astrophysics

    1 publications · 709 citations

    1

    h-index

  5. BMC Bioinformatics

    1 publications · 12 citations

    1

    h-index

1–5