Concepedia

Partial-order Reduction

Partial-Order Reduction is a state-space reduction technique in model checking that exploits the independence of concurrent transitions to avoid redundant exploration of equivalent interleavings, thereby reducing computational complexity while preserving relevant behavioral properties of concurrent systems.

231

Publications

10.9K

Citations

467

Authors

225

Institutions

Publications per year

2017–2026

45

Parents

Publications

231

Model Checking Programs

Willem Visser, Klaus Havelund, Guillaume Brat et al. · Automated Software Engineering · 2003 · 1.4K citations

, , +13

Dynamic partial-order reduction for model checking software

Cormac Flanagan, Patrice Godefroid · 2005 · 641 citations · Full text

, , +15

Model checking programs

Willem Visser, Klaus Havelund, Guillaume Brat et al. · 2000 · 338 citations

, , +13

Using partial orders for the efficient verification of deadlock freedom and safety properties

Patrice Godefroid, Pierre Wolper · Formal Methods in System Design · 1993 · 301 citations · Full text

, , +16

Clash of the titans

Juwei Shi, Yunjie Qiu, Umar Farooq Minhas et al. · Proceedings of the VLDB Endowment · 2015 · 220 citations

, , +15

1–5 of 231

Authors

467

  1. DP
    Doron Peled

    Bar-Ilan University, Israel

    6 publications · 624 citations

    7

    h-index

  2. WP
    Wojciech Penczek

    Institute of Computer Science, Poland

    7 publications · 366 citations

    7

    h-index

  3. KS
    Konstantinos Sagonas

    Uppsala University, Sweden

    6 publications · 439 citations

    6

    h-index

  4. GG
    Ganesh Gopalakrishnan

    University of Utah, United States

    5 publications · 173 citations

    5

    h-index

  5. LB
    Luboš Brim

    Masaryk University, Czechia

    4 publications · 109 citations

    4

    h-index

1–5 of 467

Institutions

225

  1. Eindhoven University of Technology

    Eindhoven, The Netherlands

    11 h-index

    23 publications

    943 citations

  2. University of Utah

    Salt Lake City, United States

    9 h-index

    25 publications

    912 citations

  3. University of Oxford

    Oxford, United Kingdom

    8 h-index

    16 publications

    435 citations

  4. Ames Research Center

    Mountain View, United States

    8 h-index

    18 publications

    8.3K citations

  5. Uppsala University

    Uppsala, Sweden

    7 h-index

    20 publications

    1.5K citations

  6. Max Planck Institute for Software Systems

    Saarbrücken, Germany

    6 h-index

    13 publications

    447 citations

  7. Masaryk University

    Brno, Czechia

    6 h-index

    15 publications

    426 citations

  8. Polytechnique Montréal

    Montreal, Canada

    5 h-index

    9 publications

    215 citations

1–8 of 225

Venues

  1. Electronic Notes in Theoretical Computer Science

    ENTCS · 7 publications · 255 citations

    7

    h-index

  2. Proceedings of the ACM on Programming Languages

    PACMPL · 7 publications · 320 citations

    7

    h-index

  3. 6

    h-index

  4. ACM SIGPLAN Notices

    6 publications · 282 citations

    6

    h-index

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

    Repository · 6 publications · 117 citations

    6

    h-index

1–5