{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,17]],"date-time":"2026-06-17T20:15:45Z","timestamp":1781727345283,"version":"3.54.5"},"reference-count":0,"publisher":"IBM","issue":"5","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IBM J. Res. & Dev."],"published-print":{"date-parts":[[2010,9]]},"DOI":"10.1147\/jrd.2010.2060276","type":"journal-article","created":{"date-parts":[[2011,5,10]],"date-time":"2011-05-10T16:32:13Z","timestamp":1305045133000},"page":"3:1-3:15","source":"Crossref","is-referenced-by-count":29,"title":["Detection of deadlock potentials in multithreaded programs"],"prefix":"10.1147","volume":"54","author":[{"given":"R.","family":"Agarwal","sequence":"first","affiliation":[{"name":"Synopsys, Inc., Mountain View, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"S.","family":"Bensalem","sequence":"additional","affiliation":[{"name":"Verimag and Joseph Fourier University, Grenoble, France"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"E.","family":"Farchi","sequence":"additional","affiliation":[{"name":"IBM Research Division, Haifa Research Laboratory, Haifa University Campus, Mount Carmel, Haifa, Israel"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"K.","family":"Havelund","sequence":"additional","affiliation":[{"name":"Jet Propulsion Laboratory (JPL), California Institute of Technology, Pasadena, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Y.","family":"Nir-Buchbinder","sequence":"additional","affiliation":[{"name":"IBM Research Division, Haifa Research Laboratory, Haifa University Campus , Mount Carmel, Haifa, Israel"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"S. D.","family":"Stoller","sequence":"additional","affiliation":[{"name":"Computer Science Department, Stony BrookUniversity, Stony Brook, NY, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"S.","family":"Ur","sequence":"additional","affiliation":[{"name":"IBM Research Division, Haifa Research Laboratory, Haifa University Campus, Mount Carmel, Haifa, Israel"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"L.","family":"Wang","sequence":"additional","affiliation":[{"name":"Department of Computer Science, University of Wyoming, Laramie, WY , USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"3082","container-title":["IBM Journal of Research and Development"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5288520\/5571943\/05571951.pdf?arnumber=5571951","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,10,20]],"date-time":"2025-10-20T17:55:00Z","timestamp":1760982900000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/5571951\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,9]]},"references-count":0,"journal-issue":{"issue":"5"},"URL":"https:\/\/doi.org\/10.1147\/jrd.2010.2060276","relation":{},"ISSN":["0018-8646","0018-8646"],"issn-type":[{"value":"0018-8646","type":"print"},{"value":"0018-8646","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,9]]}}}