{"id":"https://openalex.org/W2107978495","doi":"https://doi.org/10.1109/32.489078","title":"Evaluating deadlock detection methods for concurrent software","display_name":"Evaluating deadlock detection methods for concurrent software","publication_year":1996,"publication_date":"1996-03-01","ids":{"openalex":"https://openalex.org/W2107978495","doi":"https://doi.org/10.1109/32.489078","mag":"2107978495"},"language":"en","primary_location":{"id":"doi:10.1109/32.489078","doi":"https://doi.org/10.1109/32.489078","is_oa":false,"landing_page_url":"https://doi.org/10.1109/32.489078","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-scientific","ccf-a","cwts-core","dongbi-a","fnege-3","jufo-3","norway-2","poland-140","russia-white-list-1"],"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"},"volume":null,"type":"article","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5083116750","display_name":"James C. Corbett","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I117965899","display_name":"University of Hawai\u02bbi at M\u0101noa","ror":"https://ror.org/01wspgy28","country_code":"US","type":"education","lineage":["https://openalex.org/I117965899"]},{"id":"https://openalex.org/I1331384533","display_name":"University of Hawaii System","ror":"https://ror.org/03tzaeb71","country_code":"US","type":"education","lineage":["https://openalex.org/I1331384533"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"J.C. Corbett","raw_affiliation_strings":["Department of Information and Computer Science, University of Hawaii, Manoa, Honolulu, HI, USA","Dept. of Inf. & Comput. Sci., Hawaii Univ., Honolulu, HI, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Information and Computer Science, University of Hawaii, Manoa, Honolulu, HI, USA","institution_ids":["https://openalex.org/I117965899"]},{"raw_affiliation_string":"Dept. of Inf. & Comput. Sci., Hawaii Univ., Honolulu, HI, USA","institution_ids":["https://openalex.org/I117965899","https://openalex.org/I1331384533"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5083116750"],"corresponding_institution_ids":["https://openalex.org/I117965899","https://openalex.org/I1331384533"],"apc_list":{"value":2645,"currency":"USD","value_usd":2645},"apc_paid":null,"fwci":17.2843,"has_fulltext":false,"cited_by_count":226,"citation_normalized_percentile":{"value":0.99676328,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":88,"max":99},"biblio":{"volume":"22","issue":"3","first_page":"161","last_page":"180"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.8521000146865845,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.8521000146865845,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.11739999800920486,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.021299999207258224,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/deadlock-detection","display_name":"deadlock detection","score":0.9959999918937683},{"id":"https://openalex.org/keywords/concurrent-programs","display_name":"concurrent programs","score":0.8180000185966492},{"id":"https://openalex.org/keywords/state-explosion-problem","display_name":"state explosion problem","score":0.8429999947547913},{"id":"https://openalex.org/keywords/static-analysis","display_name":"static analysis","score":0.8199999928474426},{"id":"https://openalex.org/keywords/symbolic-model-checking","display_name":"symbolic model checking","score":0.9990000128746033},{"id":"https://openalex.org/keywords/assessment-bias","display_name":"evaluation bias","score":0.4950000047683716}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8803256154060364},{"id":"https://openalex.org/C159023740","wikidata":"https://www.wikidata.org/wiki/Q623276","display_name":"Deadlock","level":2,"score":0.7820855379104614},{"id":"https://openalex.org/C136643341","wikidata":"https://www.wikidata.org/wiki/Q1361526","display_name":"Reachability","level":2,"score":0.7204748392105103},{"id":"https://openalex.org/C193702766","wikidata":"https://www.wikidata.org/wiki/Q1414548","display_name":"Concurrency","level":2,"score":0.5470935702323914},{"id":"https://openalex.org/C94633896","wikidata":"https://www.wikidata.org/wiki/Q7140378","display_name":"Partial order reduction","level":3,"score":0.5306509733200073},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.5172739624977112},{"id":"https://openalex.org/C113429609","wikidata":"https://www.wikidata.org/wiki/Q4060699","display_name":"Deadlock prevention algorithms","level":3,"score":0.5062050223350525},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.49250468611717224},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.47192028164863586},{"id":"https://openalex.org/C97686452","wikidata":"https://www.wikidata.org/wiki/Q7604153","display_name":"Static analysis","level":2,"score":0.453416645526886},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.4506256878376007},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.39277029037475586},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.31296291947364807},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/32.489078","doi":"https://doi.org/10.1109/32.489078","is_oa":false,"landing_page_url":"https://doi.org/10.1109/32.489078","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["anvur-scientific","ccf-a","cwts-core","dongbi-a","fnege-3","jufo-3","norway-2","poland-140","russia-white-list-1"],"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.41.863","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.41.863","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ftp://ftp.ics.Hawaii.Edu/pub/tr/ics-tr-95-09.ps.Z","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":51,"referenced_works":["https://openalex.org/W16319209","https://openalex.org/W160690331","https://openalex.org/W1503170978","https://openalex.org/W1514983780","https://openalex.org/W1526107900","https://openalex.org/W1531802354","https://openalex.org/W1540223539","https://openalex.org/W1568729458","https://openalex.org/W1802674666","https://openalex.org/W1837817108","https://openalex.org/W1934074768","https://openalex.org/W1968552123","https://openalex.org/W1971107784","https://openalex.org/W1975060591","https://openalex.org/W1995736448","https://openalex.org/W1996158062","https://openalex.org/W1998084650","https://openalex.org/W2016484402","https://openalex.org/W2030224590","https://openalex.org/W2039549168","https://openalex.org/W2041669452","https://openalex.org/W2047375390","https://openalex.org/W2057773789","https://openalex.org/W2061438988","https://openalex.org/W2066033201","https://openalex.org/W2080593426","https://openalex.org/W2090911428","https://openalex.org/W2105180288","https://openalex.org/W2109935657","https://openalex.org/W2112238817","https://openalex.org/W2121676232","https://openalex.org/W2121896262","https://openalex.org/W2124874799","https://openalex.org/W2137865376","https://openalex.org/W2141981779","https://openalex.org/W2144344516","https://openalex.org/W2153695920","https://openalex.org/W2157597221","https://openalex.org/W2158163902","https://openalex.org/W2164989576","https://openalex.org/W2501611430","https://openalex.org/W2589217375","https://openalex.org/W3139618605","https://openalex.org/W4236102081","https://openalex.org/W4237631564","https://openalex.org/W4239767307","https://openalex.org/W4246017475","https://openalex.org/W4251311470","https://openalex.org/W4253970047","https://openalex.org/W4300021588","https://openalex.org/W6642373679"],"related_works":["https://openalex.org/W2016484402","https://openalex.org/W2354275028","https://openalex.org/W2153695920","https://openalex.org/W1463980502","https://openalex.org/W2140021461","https://openalex.org/W7098953383","https://openalex.org/W1516687475","https://openalex.org/W1974042116","https://openalex.org/W2475064380","https://openalex.org/W2132613390"],"abstract_inverted_index":{"Static":[0],"analysis":[1,145],"of":[2,34,46,67,105,110,119,139,144],"concurrent":[3],"programs":[4,120],"has":[5],"been":[6,19],"hindered":[7],"by":[8],"the":[9,32,35,43,52,72,94,98,117,133],"well-known":[10],"state":[11,24,73],"explosion":[12,74],"problem.":[13,58],"Although":[14],"many":[15],"different":[16],"techniques":[17,69],"have":[18],"proposed":[20],"to":[21,121],"combat":[22],"this":[23,60],"explosion,":[25],"there":[26],"is":[27,39],"little":[28],"empirical":[29],"data":[30,115],"comparing":[31],"performance":[33],"methods.":[36],"This":[37],"information":[38],"essential":[40],"for":[41,50,55,70,97],"assessing":[42],"practical":[44],"value":[45],"a":[47,56,82],"technique":[48,124],"and":[49,89,100],"choosing":[51],"best":[53,126],"method":[54,95],"particular":[57],"In":[59],"paper,":[61],"we":[62,130,136],"carry":[63],"out":[64],"an":[65],"evaluation":[66,112],"three":[68],"combating":[71],"problem":[75],"in":[76,142],"deadlock":[77],"detection:":[78],"reachability":[79],"searching":[80],"with":[81],"partial-order":[83],"state-space":[84],"reduction,":[85],"symbolic":[86],"model":[87],"checking":[88],"inequality-necessary":[90],"conditions.":[91],"We":[92],"justify":[93],"used":[96],"comparison,":[99],"carefully":[101],"analyze":[102],"several":[103],"sources":[104],"potential":[106],"bias.":[107],"The":[108],"results":[109],"our":[111],"provide":[113],"valuable":[114],"on":[116],"kinds":[118],"which":[122],"each":[123],"might":[125],"be":[127],"applied.":[128],"Furthermore,":[129],"believe":[131],"that":[132],"methodological":[134],"issues":[135],"discuss":[137],"are":[138],"general":[140],"significance":[141],"comparison":[143],"techniques.":[146]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":3},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":10},{"year":2013,"cited_by_count":7},{"year":2012,"cited_by_count":2}],"updated_date":"2026-11-12T12:28:57.059296","created_date":"2016-06-24T00:00:00"}