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
Parents
20
1–5 of 20
51
2
h-index
Korea Advanced Institute of Science and Technology, South Korea
1 publications · 10 citations
1
h-index
1
h-index
1
h-index
1
h-index
1–5 of 51
27
Institute of Computer Science
Warsaw, Poland
2 h-index
4 publications
150 citations
North Carolina State University
Raleigh, United States
2 h-index
3 publications
53 citations
Massachusetts Institute of Technology
Cambridge, United States
2 h-index
5 publications
224 citations

Xidian University
Xi'an, China
2 h-index
4 publications
104 citations

University of New Hampshire
Durham, United States
1 h-index
3 publications
69 citations
Nokia (United States)
Coppell, United States
1 h-index
1 publications
25 citations
Palo Alto Research Center
Palo Alto, United States
1 h-index
1 publications
23 citations
Google (United States)
Mountain View, United States
1 h-index
1 publications
10 citations
1–8 of 27
1 publications · 25 citations
1
h-index
JAIR · 1 publications · 23 citations
1
h-index
TDSC · 1 publications · 36 citations
1
h-index
ENTCS · 1 publications · 23 citations
1
h-index
1 publications · 15 citations
1
h-index
1–5