{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:11:23Z","timestamp":1763467883516},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540892465"},{"type":"electronic","value":"9783540892472"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-89247-2_7","type":"book-chapter","created":{"date-parts":[[2008,10,17]],"date-time":"2008-10-17T12:00:30Z","timestamp":1224244830000},"page":"104-118","source":"Crossref","is-referenced-by-count":32,"title":["Deadlocks: From Exhibiting to Healing"],"prefix":"10.1007","author":[{"given":"Yarden","family":"Nir-Buchbinder","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rachel","family":"Tzoref","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shmuel","family":"Ur","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","unstructured":"http:\/\/msdn2.microsoft.com\/en-us\/library\/ms792855.aspx"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Agarwal, R., Stoller, S.D.: Run-time detection of potential deadlocks for programs with locks, semaphores, and condition variables. In: PADTAD 2006: Proceeding of the 2006 workshop on Parallel and distributed systems: testing and debugging (2006)","DOI":"10.1145\/1147403.1147413"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Agarwal, R., Wang, L., Stoller, S.D.: Detecting potential deadlocks with static analysis and run-time monitoring. In: Proceedings of the Parallel and Distributed Systems: Testing and Debugging track of the 2005 IBM Verification Conference (2005)","DOI":"10.1007\/11678779_14"},{"key":"7_CR4","unstructured":"Holliday, J., El Abbadi, A.: Distributed deadlock detection. In: Encyclopedia of Distributed Computing. Kluwer Academic Publishers, Dordrecht (accepted for publication)"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Banaszak, Z.A., Krogh, B.H.: Deadlock avoidance in flexible manufacturing systems with concurrently competing process flows. IEEE Transactions on Robotics and Automation\u00a06(6) (1990)","DOI":"10.1109\/70.63273"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Belik, F.: An efficient deadlock avoidance technique. IEEE Trans. Comput.\u00a039(7) (1990)","DOI":"10.1109\/12.55690"},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Ben-Asher, Y., Eytani, Y., Farchi, E., Ur, S.: Noise makers need to know where to be silent - producing schedules that find bugs. In: International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA) (2006)","DOI":"10.1109\/ISoLA.2006.18"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Bensalem, S., Fernandez, J.-C., Havelund, K., Mounier, L.: Confirmation of deadlock potentials detected by runtime analysis. In: PADTAD 2006: Proceeding of the 2006 workshop on Parallel and distributed systems: testing and debugging (2006)","DOI":"10.1145\/1147403.1147412"},{"key":"7_CR9","series-title":"Lecture Notes in Computer Science","volume-title":"Hardware and Software, Verification and Testing","author":"S. Bensalem","year":"2006","unstructured":"Bensalem, S., Havelund, K.: Dynamic deadlock analysis of multi-threaded programs. In: Ur, S., Bin, E., Wolfsthal, Y. (eds.) HVC 2005. LNCS, vol.\u00a03875. Springer, Heidelberg (2006)"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"Edelstein, O., Farchi, E., Nir, Y., Ratsaby, G., Ur, S.: Multithreaded Java program test generation. IBM Systems Journal\u00a041(1) (2002), http:\/\/alphaworks.ibm.com\/tech\/contest","DOI":"10.1147\/sj.411.0111"},{"key":"7_CR11","volume-title":"IPDPS 2003: Proceedings of the 17th International Symposium on Parallel and Distributed Processing","author":"E. Farchi","year":"2003","unstructured":"Farchi, E., Nir, Y., Ur, S.: Concurrent bug patterns and how to test them. In: IPDPS 2003: Proceedings of the 17th International Symposium on Parallel and Distributed Processing. IEEE Computer Society, Los Alamitos (2003)"},{"key":"7_CR12","unstructured":"Farchi, E., Nir-Buchbinder, Y., Ur, S.: Cross-run lock discipline checker for Java. In: PADTAD \/ Haifa Verification Conference (2005)"},{"key":"7_CR13","unstructured":"Giannakopoulou1, D., Pasareanu, C.S., Lowry, M., Washington, R.: Lifecycle verification of the NASA Ames K9 Rover Executive. In: ICAPS 2005: Workshop on Verification and Validation of Model-Based Planning and Scheduling Systems (2005)"},{"key":"7_CR14","doi-asserted-by":"publisher","DOI":"10.1007\/10722468","volume-title":"Proceedings of the 7th International SPIN Workshop on SPIN Model Checking and Software Verification","author":"K. Havelund","year":"2000","unstructured":"Havelund, K.: Using runtime analysis to guide model checking of java programs. In: Proceedings of the 7th International SPIN Workshop on SPIN Model Checking and Software Verification. Springer, Heidelberg (2000)"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"Nir-Buchbinder, Y., Ur, S.: ConTest Listeners: a concurrency-oriented infrastructure for java test and heal tools. In: Fourth International Workshop on Software Quality Assurance (2007)","DOI":"10.1145\/1295074.1295077"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"S\u00e1nchez, C., Sipma, H.B., Manna, Z., Gill, C.D.: Efficient distributed deadlock avoidance with liveness guarantees. In: EMSOFT 2006: Proceedings of the 6th ACM & IEEE International conference on Embedded software (2006)","DOI":"10.1145\/1176887.1176891"},{"key":"7_CR17","doi-asserted-by":"crossref","unstructured":"Savage, S., Burrows, M., Nelson, G., Sobalvarro, P., Anderson, T.: Eraser: a dynamic data race detector for multi-threaded programs. In: SOSP 1997: Proceedings of the sixteenth ACM symposium on Operating systems principles (1997)","DOI":"10.1145\/268998.266641"},{"key":"7_CR18","series-title":"Lecture Notes in Computer Science","volume-title":"Computer Aided Verification","author":"K. Sen","year":"2006","unstructured":"Sen, K., Agha, G.: Cute and jcute: Concolic unit testing and explicit path model-checking tools. In: Ball, T., Jones, R.B. (eds.) CAV 2006. LNCS, vol.\u00a04144. Springer, Heidelberg (2006)"},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"Terekhov, I., Camp, T.: Time efficient deadlock resolution algorithms. Information Processing Letters\u00a069(3) (1999)","DOI":"10.1016\/S0020-0190(98)00203-8"},{"key":"7_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11531142_26","volume-title":"ECOOP 2005 - Object-Oriented Programming","author":"A. Williams","year":"2005","unstructured":"Williams, A., Thies, W., Ernst, M.D.: Static deadlock detection for Java libraries. In: Black, A.P. (ed.) ECOOP 2005. LNCS, vol.\u00a03586. Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","Runtime Verification"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-89247-2_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T19:05:04Z","timestamp":1557860704000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-89247-2_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540892465","9783540892472"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-89247-2_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}