Concepedia

Scenario-based Verification

Scenario-Based Verification is a functional verification method that employs predefined, real-world usage scenarios to validate system behavior, distinguishing itself from other verification approaches by focusing on end-to-end operational sequences derived from expected or critical use cases.

65

Publications

2.6K

Citations

231

Authors

95

Institutions

Publications per year

2017–2026

23

Parents

Publications

65

Survey on Scenario-Based Safety Assessment of Automated Vehicles

Stefan Riedmaier, Thomas Ponn, Dieter Ludwig et al. · IEEE Access · 2020 · 454 citations · Full text

, , +13

Formal approach to scenario analysis

Pei Hsia, Jayarajan Samuel, Jerry Gao et al. · IEEE Software · 1994 · 264 citations

, , +16

Scenario graphs and attack graphs

Oleg Sheyner, Jeannette M. Wing · Defense Technical Information Center (DTIC) · 2004 · 174 citations

, , +17

From Features Engineering to Scenarios Engineering for Trustworthy AI: I&I, C&C, and V&V

Xuan Li, Peijun Ye, Juanjuan Li et al. · IEEE Intelligent Systems · 2022 · 169 citations

, , +14

From play-in scenarios to code: an achievable dream

David Harel · Computer · 2001 · 133 citations

, , +16

1–5 of 65

Authors

231

  1. YB
    Yves Bontemps

    University of Namur, Belgium

    3 publications · 94 citations

    3

    h-index

  2. MC
    Murat Cubuktepe

    The University of Texas at Austin, United States

    2 publications · 36 citations

    2

    h-index

  3. DJ
    Daniel J. Dougherty

    Worcester Polytechnic Institute, United States

    2 publications · 81 citations

    2

    h-index

  4. PS
    Pierre‐Yves Schobbens

    University of Namur, Belgium

    2 publications · 73 citations

    2

    h-index

  5. UT
    Ufuk Topcu

    The University of Texas at Austin, United States

    2 publications · 36 citations

    2

    h-index

1–5 of 231

Institutions

95

  1. Weizmann Institute of Science

    Rehovot, Israel

    3 h-index

    5 publications

    286 citations

  2. Naval Postgraduate School

    Monterey, United States

    3 h-index

    9 publications

    157 citations

  3. École Normale Supérieure Paris-Saclay

    Gif-sur-Yvette, France

    2 h-index

    3 publications

    43 citations

  4. RWTH Aachen University

    Aachen, Germany

    2 h-index

    3 publications

    56 citations

  5. University of Namur

    Namur, Belgium

    2 h-index

    4 publications

    146 citations

  6. Technical University of Munich

    Munich, Germany

    2 h-index

    5 publications

    1.4K citations

  7. The University of Texas at Austin

    Austin, United States

    2 h-index

    4 publications

    72 citations

  8. Radboud University Nijmegen

    Nijmegen, The Netherlands

    2 h-index

    4 publications

    68 citations

1–8 of 95

Venues

  1. IEEE Transactions on Software Engineering

    TSE · 2 publications · 73 citations

    2

    h-index

  2. Formal Methods in System Design

    2 publications · 59 citations

    2

    h-index

  3. IEEE Software

    2 publications · 288 citations

    2

    h-index

  4. Applied Sciences

    1 publications · 29 citations

    1

    h-index

  5. Requirements Engineering

    1 publications · 17 citations

    1

    h-index

1–5