{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T14:31:54Z","timestamp":1784212314590,"version":"3.55.0"},"reference-count":33,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"6","license":[{"start":{"date-parts":[[2013,11,1]],"date-time":"2013-11-01T00:00:00Z","timestamp":1383264000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Contr. Syst. Technol."],"published-print":{"date-parts":[[2013,11]]},"DOI":"10.1109\/tcst.2012.2226034","type":"journal-article","created":{"date-parts":[[2013,1,4]],"date-time":"2013-01-04T19:02:54Z","timestamp":1357326174000},"page":"2067-2082","source":"Crossref","is-referenced-by-count":31,"title":["Eliminating Concurrency Bugs in Multithreaded Software: A New Approach Based on Discrete-Event Control"],"prefix":"10.1109","volume":"21","author":[{"given":"Hongwei","family":"Liao","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Yin","family":"Wang","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jason","family":"Stanley","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Stephane","family":"Lafortune","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Spyros","family":"Reveliotis","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Terence","family":"Kelly","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Scott","family":"Mahlke","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-5711-1"},{"key":"ref32","author":"wang","year":"2009","journal-title":"Software Failure Avoidance Using Discrete Control Theory"},{"key":"ref31","year":"2011","journal-title":"Gurobi Optimizer"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/70.650158"},{"key":"ref10","first-page":"36","article-title":"Supervisory control of workflow scheduling","author":"wallace","year":"1996","journal-title":"Proc Int Workshop Adv Trans Models Archit"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2004.67"},{"key":"ref12","first-page":"69","article-title":"Schedulability analysis of Petri nets based on structural properties","author":"liu","year":"2006","journal-title":"Proc Int Conf Appl Concurrency to Syst Des"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/1453101.1453122"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ALLERTON.2009.5394896"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ICESS.2009.12"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2010.5530904"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/1755888.1755898"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2009.5159987"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.1992.271666"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/1508244.1508249"},{"key":"ref27","doi-asserted-by":"crossref","first-page":"252","DOI":"10.1145\/1480881.1480913","article-title":"The theory of deadlock avoidance via discrete control","author":"wang","year":"2009","journal-title":"Proc 36th Annu ACM SIGPLAN-SIGACT Symp Principles Program Lang"},{"key":"ref3","first-page":"267","article-title":"Finding and reproducing Heisenbugs in concurrent programs","author":"musuvathi","year":"2008","journal-title":"Proc USENIX Symp Operat Syst Des Implement"},{"key":"ref6","first-page":"308","author":"dijkstra","year":"1982","journal-title":"Selected Writings on Computing"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1145\/945465.945468"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2009.391"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-012-0139-x"},{"key":"ref7","author":"liao","year":"2012","journal-title":"Modeling Analysis and Control of a Class of Resource Allocation Systems Arising in Concurrent Software"},{"key":"ref2","doi-asserted-by":"crossref","first-page":"104","DOI":"10.1007\/978-3-540-89247-2_7","article-title":"Deadlocks: From exhibiting to healing","author":"nir-buchbinder","year":"2008","journal-title":"Proc Workshop Runtime Verification"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1002\/047166880X"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/1409360.1409382"},{"key":"ref20","author":"giua","year":"1992","journal-title":"Petri nets as discrete event models for supervisory control"},{"key":"ref22","author":"iordache","year":"2006","journal-title":"Supervisory Control of Concurrent Systems A Petri Net Structural Approach"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/0005-1098(95)00103-4"},{"key":"ref24","author":"reveliotis","year":"2005","journal-title":"Real-Time Management of Resource Allocation Systems A Discrete-Event Systems Approach"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2012.2230814"},{"key":"ref26","first-page":"281","article-title":"Gadara: Dynamic deadlock avoidance for multithreaded programs","author":"wang","year":"2008","journal-title":"Proc 8th USENIX Symp Operat Syst Design Implement"},{"key":"ref25","year":"2010","journal-title":"The Gadara Project"}],"container-title":["IEEE Transactions on Control Systems Technology"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/87\/6623119\/06403531.pdf?arnumber=6403531","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,28]],"date-time":"2023-06-28T12:37:05Z","timestamp":1687955825000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6403531\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11]]},"references-count":33,"journal-issue":{"issue":"6"},"URL":"https:\/\/doi.org\/10.1109\/tcst.2012.2226034","relation":{},"ISSN":["1063-6536","1558-0865"],"issn-type":[{"value":"1063-6536","type":"print"},{"value":"1558-0865","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,11]]}}}