Concepedia

Probabilistic Self-stabilization

Probabilistic Self-Stabilization is a form of self-stabilization in distributed systems where, starting from any arbitrary state, the system is guaranteed to converge to a legitimate state with probability one, rather than in a deterministic manner, thereby distinguishing it from classical self-stabilization through its reliance on probabilistic transitions and fairness assumptions.

10

Publications

290

Citations

27

Authors

25

Institutions

Publications per year

2017–2026

2

Parents

Publications

10

Proof rules for probabilistic loops

Carroll Morgan · Electronic workshops in computing · 1996 · 50 citations · Full text

, , +16

Conflict Managers for Self-stabilization without Fairness Assumption

Maria Gradinariu, Sébastien Tixeuil · 2007 · 47 citations

, , +15

Probabilistic verification of Herman’s self-stabilisation algorithm

Marta Kwiatkowska, Gethin Norman, David Parker · Formal Aspects of Computing · 2012 · 46 citations · Full text

, , +12

Weak vs. Self vs. Probabilistic Stabilization

Stéphane Devismes, Sébastien Tixeuil, Masafumi Yamashita · 2008 · 45 citations

, , +13

Self-stabilizing mutual exclusion using unfair distributed scheduler

Anwitaman Datta, Maria Gradinariu, Sébastien Tixeuil · 2002 · 22 citations

, , +14

1–5 of 10

Authors

27

  1. ST
    Sébastien Tixeuil

    Sorbonne Université, France

    3 publications · 114 citations

    3

    h-index

  2. MG
    Maria Gradinariu

    University of Nevada, Las Vegas, United States

    2 publications · 69 citations

    2

    h-index

  3. SM
    Stéphane Messika

    Laboratoire de Recherche en Informatique, France

    1 publications · 22 citations

    1

    h-index

  4. EN
    Emanuele Natale

    University of Rome Tor Vergata, Italy

    1 publications · 12 citations

    1

    h-index

  5. JC
    Julien Clément

    Centre National de la Recherche Scientifique, France

    1 publications · 22 citations

    1

    h-index

1–5 of 27

Institutions

25

  1. Centre National de la Recherche Scientifique

    Paris, France

    4 h-index

    10 publications

    309 citations

  2. Université Paris-Sud

    Orsay, France

    4 h-index

    9 publications

    246 citations

  3. Laboratoire de Recherche en Informatique

    Gif-sur-Yvette, France

    3 h-index

    8 publications

    201 citations

  4. Université Paris Cité

    Paris, France

    2 h-index

    3 publications

    59 citations

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

    Le Chesnay-Rocquencourt, France

    2 h-index

    3 publications

    139 citations

  6. RWTH Aachen University

    Aachen, Germany

    1 h-index

    2 publications

    26 citations

  7. University of Glasgow

    Glasgow, United Kingdom

    1 h-index

    1 publications

    46 citations

  8. Kyushu University

    Fukuoka, Japan

    1 h-index

    1 publications

    45 citations

1–8 of 25

Venues

  1. Theoretical Computer Science

    1 publications · 18 citations

    1

    h-index

  2. Stochastic Processes and their Applications

    1 publications · 15 citations

    1

    h-index

  3. Formal Aspects of Computing

    1 publications · 46 citations

    1

    h-index

  4. Electronic workshops in computing

    1 publications · 50 citations

    1

    h-index

1–4