Scenario-based Execution

Scenario-Based Execution is a method within the domain of executable system models that prescribes the systematic enactment of modeled system behaviors under predefined, concrete sequences of stimuli and conditions to analyze dynamic properties and validate functional correctness.

80

Publications

2.6K

Citations

223

Authors

111

Institutions

Publications per year

2017–2026

14

Authors

223

  1. SM
    Shahar Maoz

    Tel Aviv University, Israel

    7 publications · 266 citations

    7

    h-index

  2. DH
    David Harel

    Weizmann Institute of Science, Israel

    7 publications · 228 citations

    7

    h-index

  3. JG
    Joel Greenyer

    Leibniz University Hannover, Germany

    4 publications · 65 citations

    4

    h-index

  4. AM
    Assaf Marron

    Weizmann Institute of Science, Israel

    4 publications · 51 citations

    4

    h-index

  5. RK
    Richard Kwan

    Ames Research Center, United States

    3 publications · 87 citations

    3

    h-index

1–5 of 223

Venues

  1. Technological Forecasting and Social Change

    3 publications · 152 citations

    3

    h-index

  2. Electronic Notes in Theoretical Computer Science

    ENTCS · 3 publications · 67 citations

    3

    h-index

  3. Software & Systems Modeling

    SoSyM · 3 publications · 70 citations

    3

    h-index

  4. ACM SIGSOFT Software Engineering Notes

    SEN · 2 publications · 38 citations

    2

    h-index

  5. 2013 35th International Conference on Software Engineering (ICSE)

    Conference · 1 publications · 15 citations

    1

    h-index

1–5