Concepedia

Requirement-based Verification

Requirement-Based Verification is a systematic verification methodology that belongs to the class of functional validation techniques, distinguished by its reliance on formally derived test cases and criteria traceable to specified system requirements to ensure that a design accurately implements its intended functionality.

139

Publications

4.5K

Citations

419

Authors

181

Institutions

Publications per year

2017–2026

24

Parents

Publications

139

The OpenModelica Integrated Environment for Modeling, Simulation, and Model-Based Development

Peter Fritzson, Adrian Pop, Karim Abdelhak et al. · Modeling Identification and Control A Norwegian Research Bulletin · 2020 · 176 citations · Full text

, , +17

Experiences using lightweight formal methods for requirements modeling

Steve Easterbrook, Robyn R. Lutz, R. Covington et al. · IEEE Transactions on Software Engineering · 1998 · 158 citations · Full text

, , +17

Mining Requirements From Closed-Loop Control Models

Xiaoqing Jin, Alexandre Donzé, Jyotirmoy V. Deshmukh et al. · IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems · 2015 · 153 citations

, , +17

Towards Monitoring-Oriented Programming

Feng Chen, Grigore Roşu · Electronic Notes in Theoretical Computer Science · 2003 · 138 citations · Full text

, , +16

Verification and validation of expert systems

Christopher J. R. Green, Marlene M. Keyes · Expert Systems · 1991 · 132 citations

, , +15

1–5 of 139

Authors

419

  1. PF
    Peter Fritzson

    Linköping University, Sweden

    7 publications · 321 citations

    7

    h-index

  2. WS
    Wladimir Schamai

    Linköping University, Sweden

    5 publications · 295 citations

    5

    h-index

  3. LB
    Lena Buffoni

    Linköping University, Sweden

    4 publications · 255 citations

    4

    h-index

  4. AD
    Alexandre Donzé

    University of California, Berkeley, United States

    4 publications · 279 citations

    4

    h-index

  5. SA
    Sanjit A. Seshia

    University of California, Berkeley, United States

    4 publications · 279 citations

    4

    h-index

1–5 of 419

Institutions

181

  1. Linköping University

    Linköping, Sweden

    7 h-index

    39 publications

    3.5K citations

  2. University of California, Berkeley

    Berkeley, United States

    5 h-index

    8 publications

    483 citations

  3. Jet Propulsion Laboratory

    Pasadena, United States

    4 h-index

    6 publications

    615 citations

  4. Virginia Tech

    Blacksburg, United States

    3 h-index

    6 publications

    143 citations

  5. University of Maryland, College Park

    College Park, United States

    3 h-index

    4 publications

    95 citations

  6. Graz University of Technology

    Graz, Austria

    3 h-index

    6 publications

    103 citations

  7. Politecnico di Milano

    Milan, Italy

    3 h-index

    5 publications

    262 citations

  8. Ames Research Center

    Mountain View, United States

    3 h-index

    5 publications

    117 citations

1–8 of 181

Venues

  1. Systems Engineering

    4 publications · 130 citations

    4

    h-index

  2. IEEE Transactions on Software Engineering

    TSE · 4 publications · 324 citations

    4

    h-index

  3. Linköping electronic conference proceedings

    Conference · 3 publications · 83 citations

    3

    h-index

  4. INCOSE International Symposium

    3 publications · 47 citations

    3

    h-index

  5. Electronic Notes in Theoretical Computer Science

    ENTCS · 2 publications · 205 citations

    2

    h-index

1–5