Concepedia

Scenario Consistency Checking

Scenario Consistency Checking is a formal method in scenario-based requirements engineering that systematically verifies the absence of contradictions and ensures logical coherence among scenario specifications within a given system context.

13

Publications

396

Citations

29

Authors

18

Institutions

Publications per year

2017–2026

2

Parents

Publications

13

Identification of a small reliable and efficient set of consistent scenarios

Olaf Tietje · European Journal of Operational Research · 2003 · 138 citations

, , +10

A lightweight approach to consistency of scenarios and class models

Martin Glinz · 2002 · 51 citations

, , +17

Formal Scenario Definition Language for Aviation: Aircraft Landing Case Study

Shafagh Jafer, Bharvi Chhaya, Umut Durak et al. · AIAA Modeling and Simulation Technologies Conference · 2016 · 42 citations

, , +17

SMT-based scenario verification for hybrid systems

Alessandro Cimatti, Sergio Mover, Stefano Tonetta · Formal Methods in System Design · 2012 · 36 citations

, , +14

Incrementally synthesizing controllers from scenario-based product line specifications

Joel Greenyer, Christian Brenner, Maxime Cordy et al. · 2013 · 27 citations

, , +10

1–5 of 13

Authors

29

  1. JG
    Joel Greenyer

    Leibniz University Hannover, Germany

    3 publications · 54 citations

    3

    h-index

  2. MC
    Maxime Cordy

    University of Luxembourg, Luxembourg

    3 publications · 54 citations

    3

    h-index

  3. PH
    Patrick Heymans

    University of Namur, Belgium

    3 publications · 54 citations

    3

    h-index

  4. AM
    Amir Molzam Sharifloo

    Politecnico di Milano, Italy

    2 publications · 27 citations

    2

    h-index

  5. HZ
    Hong Zhu

    Oxford Brookes University, United Kingdom

    1 publications · 11 citations

    1

    h-index

1–5 of 29

Institutions

18

  1. Politecnico di Milano

    Milan, Italy

    4 h-index

    6 publications

    92 citations

  2. University of Namur

    Namur, Belgium

    3 h-index

    6 publications

    108 citations

  3. Athens University of Economics and Business

    Athens, Greece

    2 h-index

    2 publications

    32 citations

  4. University of Zurich

    Zurich, Switzerland

    1 h-index

    1 publications

    51 citations

  5. National Technical University of Athens

    Athens, Greece

    1 h-index

    2 publications

    42 citations

  6. Laboratoire d'Informatique Fondamentale de Lille

    Villeneuve-d'Ascq, France

    1 h-index

    1 publications

    17 citations

  7. Science Oxford

    Oxford, United Kingdom

    1 h-index

    1 publications

    11 citations

  8. Japan Advanced Institute of Science and Technology

    Nomi Shi, Japan

    1 h-index

    1 publications

    10 citations

1–8 of 18

Venues

  1. AIAA Modeling and Simulation Technologies Conference

    Conference · 1 publications · 42 citations

    1

    h-index

  2. Formal Methods in System Design

    1 publications · 36 citations

    1

    h-index

  3. European Journal of Operational Research

    1 publications · 138 citations

    1

    h-index

  4. IEEE Multimedia

    1 publications · 21 citations

    1

    h-index

  5. Requirements Engineering

    1 publications · 10 citations

    1

    h-index

1–5