Concepedia

Parameterized Model Checking

Parameterized Model Checking is a formal verification method that extends conventional model checking by analyzing systems with an arbitrary number of homogeneous components, thereby enabling the verification of safety and correctness properties in parameterized systems whose configurations depend on unbounded or symbolic parameters rather than fixed instance sizes.

49

Publications

1.8K

Citations

100

Authors

65

Institutions

Publications per year

2017–2026

8

Parents

Publications

49

On the verification of broadcast protocols

Javier Esparza, Alain Finkel, Richard Mayr · 2003 · 247 citations

, , +13

Fixed-Parameter Tractability, Definability, and Model-Checking

Jörg Flum, Martin Grohe · SIAM Journal on Computing · 2001 · 117 citations

, , +14

Decidability in Parameterized Verification

Roderick Bloem, Swen Jacobs, Ayrat Khalimov et al. · ACM SIGACT News · 2016 · 95 citations

, , +11

Regular Model Checking using Widening Techniques

Tayssir Touili · Electronic Notes in Theoretical Computer Science · 2001 · 79 citations · Full text

, , +11

Parameterized model checking of fault-tolerant distributed algorithms by abstraction

Annu John, Igor Konnov, Ulrich Schmid et al. · 2013 · 69 citations

, , +15

1–5 of 49

Authors

100

  1. IK
    Igor Konnov

    TU Wien, Austria

    7 publications · 311 citations

    7

    h-index

  2. HV
    Helmut Veith

    TU Wien, Austria

    7 publications · 340 citations

    7

    h-index

  3. JW
    Josef Widder

    TU Wien, Austria

    6 publications · 290 citations

    6

    h-index

  4. AL
    Alessio Lomuscio

    Imperial College London, United Kingdom

    5 publications · 107 citations

    5

    h-index

  5. PK
    Panagiotis Kouvaros

    Imperial College London, United Kingdom

    5 publications · 107 citations

    5

    h-index

1–5 of 100

Institutions

65

  1. TU Wien

    Vienna, Austria

    8 h-index

    23 publications

    1.2K citations

  2. Imperial College London

    London, United Kingdom

    4 h-index

    8 publications

    188 citations

  3. Technical University of Munich

    Munich, Germany

    3 h-index

    3 publications

    289 citations

  4. Stony Brook University

    Stony Brook, United States

    3 h-index

    4 publications

    82 citations

  5. University of Naples Federico II

    Naples, Italy

    3 h-index

    3 publications

    188 citations

  6. Centre National de la Recherche Scientifique

    Paris, France

    2 h-index

    4 publications

    80 citations

  7. Verimag

    Gières, France

    2 h-index

    4 publications

    58 citations

  8. Saarland University

    Saarbrücken, Germany

    2 h-index

    2 publications

    148 citations

1–8 of 65

Venues

  1. arXiv (Cornell University)

    Repository · 3 publications · 39 citations

    3

    h-index

  2. DROPS (Schloss Dagstuhl – Leibniz Center for Informatics)

    Repository · 3 publications · 56 citations

    3

    h-index

  3. Theoretical Computer Science

    3 publications · 59 citations

    3

    h-index

  4. Information and Computation

    2 publications · 62 citations

    2

    h-index

  5. 2

    h-index

1–5