Concepedia

State Machine Models

State Machine Models is a formal computational model used in software modeling and model-based design that represents system behavior as a finite set of states, transitions between those states, and actions triggered by events, distinguished by its emphasis on capturing discrete state changes and event-driven dynamics in reactive systems.

916

Publications

41.4K

Citations

2.6K

Authors

813

Institutions

Publications per year

2017–2026

185

Parents

Publications

916

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 existence of refinement mappings

Martı́n Abadi, Leslie Lamport · Theoretical Computer Science · 1991 · 734 citations

, , +15

State Machine Replication for the Masses with BFT-SMART

Alysson Bessani, João Sousa, Eduardo E.P. Alchieri · 2014 · 562 citations · Full text

, , +15

Sequencing a One State-Variable Machine: A Solvable Case of the Traveling Salesman Problem

Paul C. Gilmore, Ralph E. Gomory · Operations Research · 1964 · 551 citations

, , +11

1–5 of 916

Authors

2.6K

  1. YG
    Yuri Gurevich

    University of Michigan, United States

    10 publications · 365 citations

    10

    h-index

  2. ER
    Elvinia Riccobene

    University of Milan, Italy

    7 publications · 242 citations

    7

    h-index

  3. RK
    Ratnesh Kumar

    Iowa State University, United States

    7 publications · 192 citations

    7

    h-index

  4. UG
    Uwe Glässer

    Simon Fraser University, Canada

    6 publications · 164 citations

    6

    h-index

  5. NW
    Neil Walkinshaw

    University of Sheffield, United Kingdom

    6 publications · 375 citations

    6

    h-index

1–5 of 2.6K

Institutions

813

  1. University of California, Berkeley

    Berkeley, United States

    17 h-index

    40 publications

    2.4K citations

  2. Massachusetts Institute of Technology

    Cambridge, United States

    16 h-index

    33 publications

    2.8K citations

  3. Carnegie Mellon University

    Pittsburgh, United States

    15 h-index

    49 publications

    4.6K citations

  4. The University of Texas at Austin

    Austin, United States

    13 h-index

    32 publications

    3.7K citations

  5. IBM (United States)

    Armonk, United States

    13 h-index

    24 publications

    2.4K citations

  6. Microsoft (United States)

    Redmond, United States

    11 h-index

    22 publications

    817 citations

  7. University of Michigan

    Ann Arbor, United States

    11 h-index

    26 publications

    2.4K citations

  8. Georgia Institute of Technology

    Atlanta, United States

    11 h-index

    16 publications

    1K citations

1–8 of 813

Venues

  1. IEEE Transactions on Software Engineering

    TSE · 15 publications · 1.8K citations

    12

    h-index

  2. IEEE Transactions on Computers

    8 publications · 195 citations

    8

    h-index

  3. IEEE Access

    7 publications · 183 citations

    8

    h-index

  4. Theoretical Computer Science

    7 publications · 827 citations

    7

    h-index

  5. 7

    h-index

1–5