Concepedia

Distributed Systems Verification

Distributed Systems Verification is a formal method within the broader class of system verification techniques, distinguished by its focus on mathematically ensuring correctness properties of distributed computations that exhibit concurrent, asynchronous, and message-passing behaviors across physically separated components.

415

Publications

21.8K

Citations

892

Authors

365

Institutions

Publications per year

2017–2026

81

Parents

Publications

415

The model checker SPIN

Gerard J. Holzmann · IEEE Transactions on Software Engineering · 1997 · 3.8K citations

, , +12

Distributed Simulation: A Case Study in Design and Verification of Distributed Programs

K. Mani Chandy, Jayadev Misra · IEEE Transactions on Software Engineering · 1979 · 1.1K citations

, , +17

Hierarchical correctness proofs for distributed algorithms

Nancy Lynch, Mark R. Tuttle · 1987 · 767 citations · Full text

, , +11

Proofs of Networks of Processes

Jayadev Misra, K. Mani Chandy · IEEE Transactions on Software Engineering · 1981 · 497 citations

, , +16

Completeness Theorems for Non-Cryptographic Fault-Tolerant Distributed Computation (Extended Abstract)

Michael Ben-Or, Shafi Goldwasser, Avi Wigderson · 1988 · 485 citations

, , +16

1–5 of 415

Authors

892

  1. NY
    Nobuko Yoshida

    Imperial College London, United Kingdom

    9 publications · 284 citations

    9

    h-index

  2. AL
    Alessio Lomuscio

    Imperial College London, United Kingdom

    8 publications · 244 citations

    8

    h-index

  3. AK
    Amos Korman

    Centre National de la Recherche Scientifique, France

    7 publications · 695 citations

    7

    h-index

  4. MS
    Mooly Sagiv

    Tel Aviv University, Israel

    7 publications · 368 citations

    7

    h-index

  5. OP
    Oded Padon

    Tel Aviv University, Israel

    6 publications · 333 citations

    6

    h-index

1–5 of 892

Institutions

365

  1. Imperial College London

    London, United Kingdom

    16 h-index

    38 publications

    1.9K citations

  2. Centre National de la Recherche Scientifique

    Paris, France

    15 h-index

    35 publications

    1.7K citations

  3. University of Illinois Urbana-Champaign

    Urbana, United States

    12 h-index

    34 publications

    1.3K citations

  4. Université Paris Cité

    Paris, France

    12 h-index

    20 publications

    1.2K citations

  5. The University of Texas at Austin

    Austin, United States

    11 h-index

    27 publications

    4.5K citations

  6. Institut de Recherche en Informatique et Systèmes Aléatoires

    Rennes, France

    11 h-index

    26 publications

    552 citations

  7. Institut national de recherche en sciences et technologies du numérique

    Le Chesnay-Rocquencourt, France

    10 h-index

    19 publications

    600 citations

  8. Technion – Israel Institute of Technology

    Haifa, Israel

    9 h-index

    12 publications

    1.3K citations

1–8 of 365

Venues

  1. Proceedings of the ACM on Programming Languages

    PACMPL · 11 publications · 411 citations

    12

    h-index

  2. Electronic Notes in Theoretical Computer Science

    ENTCS · 20 publications · 310 citations

    12

    h-index

  3. IEEE Transactions on Software Engineering

    TSE · 11 publications · 5.7K citations

    11

    h-index

  4. Theoretical Computer Science

    8 publications · 448 citations

    8

    h-index

  5. Distributed Computing

    8 publications · 610 citations

    8

    h-index

1–5