Concepedia

Finite State Machine Generation

Finite State Machine Generation is a computational method that systematically constructs finite state machines by defining states, transitions, and input/output behaviors according to specified formal rules or constraints.

68

Publications

2.7K

Citations

152

Authors

78

Institutions

Publications per year

2017–2026

5

Variants

Fsm Generation

Parents

Publications

68

Test selection based on communicating nondeterministic finite-state machines using a generalized Wp-method

Gang Luo, Gregor von Bochmann, Alexandre Petrenko · IEEE Transactions on Software Engineering · 1994 · 266 citations

, , +16

Generating finite state machines from abstract state machines

Wolfgang Grieskamp, Yuri Gurevich, Wolfram Schulte et al. · ACM SIGSOFT Software Engineering Notes · 2002 · 184 citations

, , +17

Generation of Primes by a One-Dimensional Real-Time Iterative Array

Patrick C. Fischer · Journal of the ACM · 1965 · 183 citations · Full text

, , +12

Special issue: finite state methods in natural language processing

Lauri Karttunen, Kimmo Koskenniemi, van Gerardus Noord · University of Groningen research database (University of Groningen / Centre for Information Technology) · 2003 · 124 citations

, , +15

Protocol conformance testing using multiple UIO sequences

Y.-N. Shen, Fabrizio Lombardi, Anton Dahbura · IEEE Transactions on Communications · 1992 · 104 citations

, , +16

1–5 of 68

Authors

152

  1. RM
    Robert M. Hierons

    Brunel University of London, United Kingdom

    6 publications · 183 citations

    6

    h-index

  2. FM
    Frederick M. Waltz

    University of Minnesota System, United States

    4 publications · 77 citations

    4

    h-index

  3. MV
    Margus Veanes

    Microsoft (United States), United States

    2 publications · 263 citations

    2

    h-index

  4. WG
    Wolfgang Grieskamp

    Microsoft (United States), United States

    2 publications · 263 citations

    2

    h-index

  5. HU
    Hasan Ural

    University of Ottawa, Canada

    2 publications · 110 citations

    2

    h-index

1–5 of 152

Institutions

78

  1. Brunel University of London

    London, United Kingdom

    5 h-index

    11 publications

    221 citations

  2. University of Minnesota System

    Minneapolis, United States

    4 h-index

    5 publications

    99 citations

  3. University of Ottawa

    Ottawa, Canada

    3 h-index

    3 publications

    376 citations

  4. Microsoft (United States)

    Redmond, United States

    2 h-index

    8 publications

    1.1K citations

  5. The University of Texas at Austin

    Austin, United States

    2 h-index

    3 publications

    253 citations

  6. Motorola (United States)

    Schaumburg, United States

    2 h-index

    2 publications

    132 citations

  7. Texas A&M University

    College Station, United States

    2 h-index

    4 publications

    264 citations

  8. Edinburgh Napier University

    Edinburgh, United Kingdom

    1 h-index

    4 publications

    236 citations

1–8 of 78

Venues

  1. IEEE Transactions on Computers

    6 publications · 181 citations

    6

    h-index

  2. 4

    h-index

  3. IEEE Transactions on Communications

    3 publications · 272 citations

    3

    h-index

  4. ACM SIGSOFT Software Engineering Notes

    SEN · 2 publications · 198 citations

    2

    h-index

  5. ACM Transactions on Software Engineering and Methodology

    TOSEM · 2 publications · 33 citations

    2

    h-index

1–5