Livelock Detection

Livelock Detection is a verification method that identifies progress failures in concurrent systems where processes continuously change state without advancing toward completion, distinguishing it from deadlock detection by focusing on non-blocking yet unproductive cycles.

20

Publications

508

Citations

51

Authors

27

Institutions

Publications per year

2017–2026

2

Authors

51

  1. KT
    Kuo‐Chung Tai

    North Carolina State University, United States

    2 publications · 41 citations

    2

    h-index

  2. WS
    Wonjun Song

    Korea Advanced Institute of Science and Technology, South Korea

    1 publications · 10 citations

    1

    h-index

  3. KI
    K. Itoh

    Hitachi (Japan), Japan

    1 publications · 17 citations

    1

    h-index

  4. JL
    Jaewook Lee

    Korea University, South Korea

    1 publications · 10 citations

    1

    h-index

  5. SM
    Shota Minami

    Naval Hospital Yokosuka Japan, Japan

    1 publications · 17 citations

    1

    h-index

1–5 of 51

Venues

  1. 1

    h-index

  2. Journal of Artificial Intelligence Research

    JAIR · 1 publications · 23 citations

    1

    h-index

  3. IEEE Transactions on Dependable and Secure Computing

    TDSC · 1 publications · 36 citations

    1

    h-index

  4. Electronic Notes in Theoretical Computer Science

    ENTCS · 1 publications · 23 citations

    1

    h-index

  5. International Journal of Production Research

    1 publications · 15 citations

    1

    h-index

1–5