Concepedia

Simulation Relations

Simulation Relations is a binary relation between states of two transition systems that serves as a correctness criterion in refinement-based verification, establishing that every computational step in a concrete system can be matched by a corresponding step in an abstract system while preserving observable behavior.

81

Publications

3.5K

Citations

161

Authors

105

Institutions

Publications per year

2017–2026

7

Variants

Simulation Relation

Parents

Publications

81

An algebraic definition of simulation between programs

Robin Milner · Defense Technical Information Center (DTIC) · 1971 · 533 citations

, , +11

Metamodels for simulation input-output relations

Russell R. Barton · 1992 · 175 citations · Full text

, , +7

Bisimulation through probabilistic testing (preliminary report)

Kim G. Larsen, Arne Skou · 1989 · 152 citations · Full text

, , +17

On model checking for non-deterministic infinite-state systems

E. Allen Emerson, Kedar S. Namjoshi · 2002 · 133 citations

, , +17

Fair Simulation Relations, Parity Games, and State Space Reduction for Büchi Automata

Kousha Etessami, Thomas Wilke, Rebecca A. Schuller · SIAM Journal on Computing · 2005 · 116 citations

, , +15

1–5 of 81

Authors

161

  1. GJ
    George J. Pappas

    University of Pennsylvania, United States

    7 publications · 203 citations

    7

    h-index

  2. AG
    Antoine Girard

    Université Grenoble Alpes, France

    5 publications · 175 citations

    5

    h-index

  3. AA
    A. Agung Julius

    Rensselaer Polytechnic Institute, United States

    3 publications · 144 citations

    3

    h-index

  4. LK
    Lisa Kaati

    Swedish Defence Research Agency, Sweden

    3 publications · 85 citations

    3

    h-index

  5. HG
    Herbert G. Tanner

    University of Delaware, United States

    3 publications · 36 citations

    3

    h-index

1–5 of 161

Institutions

105

  1. University of Pennsylvania

    Philadelphia, United States

    8 h-index

    18 publications

    455 citations

  2. Centre National de la Recherche Scientifique

    Paris, France

    6 h-index

    11 publications

    270 citations

  3. Stanford University

    Stanford, United States

    5 h-index

    12 publications

    1.1K citations

  4. UNSW Sydney

    Sydney, Australia

    4 h-index

    9 publications

    427 citations

  5. Data61

    Sydney, Australia

    3 h-index

    5 publications

    215 citations

  6. University of California, Berkeley

    Berkeley, United States

    3 h-index

    13 publications

    241 citations

  7. Christian-Albrechts-Universität zu Kiel

    Kiel, Germany

    3 h-index

    4 publications

    177 citations

  8. Shanghai Jiao Tong University

    Shanghai, China

    3 h-index

    3 publications

    177 citations

1–8 of 105

Venues

  1. Information and Computation

    4 publications · 114 citations

    4

    h-index

  2. Electronic Notes in Theoretical Computer Science

    ENTCS · 4 publications · 89 citations

    4

    h-index

  3. Logical Methods in Computer Science

    LMCS · 2 publications · 99 citations

    2

    h-index

  4. 2

    h-index

  5. IEEE Transactions on Automatic Control

    2 publications · 66 citations

    2

    h-index

1–5