Concepedia

Executable State-based Models

Executable State-Based Models is an executable system model that belongs to the class of formal models representing system behavior through discrete states and transitions, distinguished by its capacity to be directly simulated or executed for dynamic validation and analysis.

53

Publications

3.2K

Citations

139

Authors

68

Institutions

Publications per year

2017–2026

4

Parents

Publications

53

The STATEMATE semantics of statecharts

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

, , +14

Automatic extraction of object-oriented component interfaces

John Whaley, Michael C. Martin, Monica S. Lam · ACM SIGSOFT Software Engineering Notes · 2002 · 259 citations

, , +13

TRIO: A logic language for executable specifications of real-time systems

Carlo Ghezzi, Dino Mandrioli, Angelo Morzenti · Journal of Systems and Software · 1990 · 243 citations

, , +16

Model-based Security Metrics Using ADversary VIew Security Evaluation (ADVISE)

Elizabeth LeMay, Michael Ford, Ken Keefe et al. · 2011 · 170 citations

, , +17

Bandera: extracting finite-state models from Java source code

J.C. Corbett, Matthew B. Dwyer, John Hatcliff et al. · Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium · 2002 · 147 citations

, , +16

1–5 of 53

Authors

139

  1. MS
    Monica S. Lam

    Stanford University, United States

    3 publications · 449 citations

    3

    h-index

  2. JW
    John Whaley

    Stanford University, United States

    3 publications · 449 citations

    3

    h-index

  3. MC
    Michael C. Martin

    Stanford University, United States

    3 publications · 449 citations

    3

    h-index

  4. EL
    Elizabeth LeMay

    Cyber Defense Agency (United States), United States

    2 publications · 234 citations

    2

    h-index

  5. JP
    Joey Paquet

    Concordia University, Canada

    2 publications · 46 citations

    2

    h-index

1–5 of 139

Institutions

68

  1. University of Illinois Urbana-Champaign

    Urbana, United States

    4 h-index

    11 publications

    954 citations

  2. Stanford University

    Stanford, United States

    3 h-index

    9 publications

    1.3K citations

  3. Concordia University

    Montreal, Canada

    2 h-index

    3 publications

    74 citations

  4. Georgia Institute of Technology

    Atlanta, United States

    2 h-index

    4 publications

    65 citations

  5. Newcastle University

    Newcastle upon Tyne, United Kingdom

    2 h-index

    2 publications

    47 citations

  6. Cyber Defense Agency (United States)

    Wisconsin Rapids, United States

    2 h-index

    2 publications

    234 citations

  7. IBM (United States)

    Armonk, United States

    2 h-index

    5 publications

    248 citations

  8. Politecnico di Milano

    Milan, Italy

    2 h-index

    4 publications

    748 citations

1–8 of 68

Venues

  1. ACM SIGSOFT Software Engineering Notes

    SEN · 3 publications · 324 citations

    3

    h-index

  2. Journal of Systems and Software

    JSS · 2 publications · 273 citations

    2

    h-index

  3. Electronic Notes in Theoretical Computer Science

    ENTCS · 2 publications · 45 citations

    2

    h-index

  4. Procedia Computer Science

    2 publications · 29 citations

    2

    h-index

  5. Computers & Chemical Engineering

    1 publications · 12 citations

    2

    h-index

1–5