Concepedia

Configuration Consistency Checking

Configuration Consistency Checking is a formal method within product configuration that verifies the adherence of a proposed configuration to a set of predefined constraints and rules, ensuring logical coherence and validity by detecting inconsistencies among selected components and their interdependencies.

23

Publications

1.3K

Citations

61

Authors

39

Institutions

Publications per year

2017–2026

2

Parents

Publications

23

Consistency-based diagnosis of configuration knowledge bases

Alexander Felfernig, Gerhard Friedrich, Dietmar Jannach et al. · Artificial Intelligence · 2003 · 208 citations

, , +13

Consistency restoration and explanations in dynamic CSPs—Application to configuration

Jérôme Amilhastre, Hélène Fargier, Pierre Marquis · Artificial Intelligence · 2002 · 183 citations

, , +10

Local search with edge weighting and configuration checking heuristics for minimum vertex cover

Shaowei Cai, Kaile Su, Abdul Sattar · Artificial Intelligence · 2011 · 176 citations · Full text

, , +16

Formal methods for the validation of automotive product configuration data

Carsten Sinz, Andreas Kaiser, Wolfgang Küchlin · Artificial intelligence for engineering design analysis and manufacturing · 2003 · 141 citations

, , +17

Configuration Lifting: Verification meets Software Configuration

Hendrik Post, Carsten Sinz · 2008 · 85 citations

, , +15

1–5 of 23

Authors

61

  1. MS
    Markus Stumptner

    University of South Australia, Australia

    3 publications · 278 citations

    3

    h-index

  2. GF
    Gerhard Friedrich

    Medical University of Graz, Austria

    4 publications · 315 citations

    3

    h-index

  3. AF
    Alexander Felfernig

    Graz University of Technology, Austria

    3 publications · 285 citations

    3

    h-index

  4. TY
    Tao Yue

    Simula Research Laboratory, Norway

    2 publications · 36 citations

    2

    h-index

  5. HL
    Hong Lu

    Simula Research Laboratory, Norway

    2 publications · 36 citations

    2

    h-index

1–5 of 61

Institutions

39

  1. University of South Australia

    Adelaide, Australia

    2 h-index

    2 publications

    241 citations

  2. Beihang University

    Beijing, China

    2 h-index

    4 publications

    72 citations

  3. University of Klagenfurt

    Klagenfurt, Austria

    2 h-index

    6 publications

    723 citations

  4. Simula Research Laboratory

    Oslo, Norway

    2 h-index

    6 publications

    108 citations

  5. University of Oslo

    Oslo, Norway

    2 h-index

    2 publications

    36 citations

  6. Graz University of Technology

    Graz, Austria

    1 h-index

    2 publications

    88 citations

  7. Centre National de la Recherche Scientifique

    Paris, France

    1 h-index

    1 publications

    183 citations

  8. Institute of Software

    Beijing, China

    1 h-index

    2 publications

    352 citations

1–8 of 39

Venues

  1. Artificial Intelligence

    3 publications · 567 citations

    3

    h-index

  2. 1

    h-index

  3. Information Systems

    1 publications · 47 citations

    1

    h-index

  4. Information and Software Technology

    1 publications · 17 citations

    1

    h-index

  5. Annual Conference of the PHM Society

    Conference · 1 publications · 44 citations

    1

    h-index

1–5