Concepedia

Executable System Models

Executable System Models is a formal system model that belongs to the class of computational models and is distinguished by its ability to simulate, analyze, and verify system behavior through executable semantics within the Model-Based Systems Engineering framework.

1.4K

Publications

54.7K

Citations

3.4K

Authors

1K

Institutions

Publications per year

2017–2026

175

Parents

Children

Publications

1.4K

Model checking and abstraction

Edmund M. Clarke, Orna Grümberg, David E. Long · ACM Transactions on Programming Languages and Systems · 1994 · 1.2K citations · Full text

, , +14

A Practical Guide to SysML: The Systems Modeling Language

C.J.H. Mann · Kybernetes · 2009 · 928 citations

, , +14

The Viable System Model: Its Provenance, Development, Methodology and Pathology

Stafford Beer · Journal of the Operational Research Society · 1984 · 694 citations

, , +11

Executable object modeling with statecharts

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

, , +17

STOP-IT: Windows executable software for the stop-signal paradigm

Frederick Verbruggen, Gordon D. Logan, Michaël Stevens · Behavior Research Methods · 2008 · 494 citations · Full text

, , +10

1–5 of 1.4K

Authors

3.4K

  1. MH
    Michael Hucka

    California Institute of Technology, United States

    12 publications · 625 citations

    11

    h-index

  2. MF
    Michael Fisher

    University of Liverpool, United Kingdom

    8 publications · 227 citations

    8

    h-index

  3. SK
    Sarah Keating

    European Bioinformatics Institute, United Kingdom

    8 publications · 409 citations

    8

    h-index

  4. VV
    Valeriy Vyatkin

    Luleå University of Technology, Sweden

    8 publications · 170 citations

    8

    h-index

  5. FB
    Frank Bergmann

    Heidelberg University, Germany

    8 publications · 400 citations

    8

    h-index

1–5 of 3.4K

Institutions

1K

  1. Centre National de la Recherche Scientifique

    Paris, France

    19 h-index

    79 publications

    2K citations

  2. Institut national de recherche en sciences et technologies du numérique

    Le Chesnay-Rocquencourt, France

    18 h-index

    47 publications

    1.5K citations

  3. Massachusetts Institute of Technology

    Cambridge, United States

    15 h-index

    34 publications

    2.2K citations

  4. Concordia University

    Montreal, Canada

    14 h-index

    30 publications

    677 citations

  5. University of Washington

    Seattle, United States

    13 h-index

    26 publications

    2.2K citations

  6. University of Illinois Urbana-Champaign

    Urbana, United States

    13 h-index

    49 publications

    3.7K citations

  7. Georgia Institute of Technology

    Atlanta, United States

    13 h-index

    36 publications

    1.5K citations

  8. Carnegie Mellon University

    Pittsburgh, United States

    13 h-index

    45 publications

    4.5K citations

1–8 of 1K

Venues

  1. Information and Software Technology

    20 publications · 733 citations

    16

    h-index

  2. Electronic Notes in Theoretical Computer Science

    ENTCS · 24 publications · 524 citations

    15

    h-index

  3. Journal of Systems and Software

    JSS · 19 publications · 822 citations

    15

    h-index

  4. Software & Systems Modeling

    SoSyM · 19 publications · 1.2K citations

    14

    h-index

  5. IEEE Transactions on Software Engineering

    TSE · 14 publications · 676 citations

    13

    h-index

1–5