Concepedia

Fairness Verification

Fairness Verification is a formal method within concurrent system verification that ensures scheduling policies or execution paths do not indefinitely delay the fulfillment of legitimate process transitions, thereby distinguishing it from general correctness properties by specifically enforcing equitable access to shared resources over infinite computations.

22

Publications

695

Citations

50

Authors

31

Institutions

Publications per year

2017–2026

4

Parents

Publications

22

FairSquare: probabilistic verification of program fairness

Aws Albarghouthi, Loris D’Antoni, Samuel Drews et al. · Proceedings of the ACM on Programming Languages · 2017 · 99 citations · Full text

, , +9

Research on Automatic Verification of Finite-StateConcurrent Systems

E.M. Clarke, Orna Grümberg · Annual Review of Computer Science · 1987 · 81 citations

, , +17

A program logic for concurrent objects under fair scheduling

Hongjin Liang, Xinyu Feng · 2016 · 53 citations

, , +17

Proving liveness for networks of communicating finite state machines

Mohammed G. Gouda, Chung-Kuo Chang · ACM Transactions on Programming Languages and Systems · 1986 · 46 citations · Full text

, , +13

An incentive-based fairness mechanism for multi-hop wireless backhaul networks with selfish nodes

Jeng Farn Lee, Wanjiun Liao, Meng Chang Chen · IEEE Transactions on Wireless Communications · 2008 · 43 citations

, , +11

1–5 of 22

Authors

50

  1. FM
    Francesco Menoncin

    University of Brescia, Italy

    2 publications · 42 citations

    2

    h-index

  2. NK
    Nils Klarlund

    Aarhus University, Denmark

    2 publications · 62 citations

    2

    h-index

  3. PM
    Paolo M. Panteghini

    University of Brescia, Italy

    2 publications · 42 citations

    2

    h-index

  4. RS
    Rohit Sinha

    University of California, Berkeley, United States

    1 publications · 11 citations

    1

    h-index

  5. NC
    Nabendu Chaki

    University of Calcutta, India

    1 publications · 18 citations

    1

    h-index

1–5 of 50

Institutions

31

  1. Ifo Institute for Economic Research

    Munich, Germany

    2 h-index

    2 publications

    42 citations

  2. University of Brescia

    Brescia, Italy

    2 h-index

    4 publications

    84 citations

  3. Brescia University

    Owensboro, United States

    2 h-index

    2 publications

    42 citations

  4. Laboratoire de Recherche en Informatique

    Gif-sur-Yvette, France

    1 h-index

    1 publications

    25 citations

  5. Microsoft Research (United Kingdom)

    Cambridge, United Kingdom

    1 h-index

    1 publications

    99 citations

  6. University of Wisconsin–Madison

    Madison, United States

    1 h-index

    3 publications

    297 citations

  7. University of Vienna

    Vienna, Austria

    1 h-index

    2 publications

    24 citations

  8. University of Birmingham

    Birmingham, United Kingdom

    1 h-index

    1 publications

    40 citations

1–8 of 31

Venues

  1. SSRN Electronic Journal

    Repository · 2 publications · 42 citations

    2

    h-index

  2. Proceedings of the ACM on Programming Languages

    PACMPL · 1 publications · 99 citations

    1

    h-index

  3. IEEE Transactions on Wireless Communications

    1 publications · 43 citations

    1

    h-index

  4. 1

    h-index

  5. Journal of Automated Reasoning

    1 publications · 25 citations

    1

    h-index

1–5