{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,23]],"date-time":"2026-07-23T18:19:06Z","timestamp":1784830746611,"version":"3.55.0"},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540326045","type":"print"},{"value":"9783540326052","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11678779_15","type":"book-chapter","created":{"date-parts":[[2006,3,2]],"date-time":"2006-03-02T08:03:26Z","timestamp":1141286606000},"page":"208-223","source":"Crossref","is-referenced-by-count":54,"title":["Dynamic Deadlock Analysis of Multi-threaded Programs"],"prefix":"10.1007","author":[{"given":"Saddek","family":"Bensalem","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Klaus","family":"Havelund","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"15_CR1","volume-title":"Proceedings of the Parallel and Distribute Systems: Testing and Debugging (PADTAD) track of the 2005 IBM Verification Conference","author":"R. Agarwal","year":"2005","unstructured":"Agarwal, R., Wang, L., Stoller, S.D.: Detecting Potential Deadlocks with Static Analysis and Run-Time Monitoring. In: Proceedings of the Parallel and Distribute Systems: Testing and Debugging (PADTAD) track of the 2005 IBM Verification Conference, Haifa, Israel. Springer, Heidelberg (2005)"},{"key":"15_CR2","volume-title":"The Java Programming Language","author":"K. Arnold","year":"1996","unstructured":"Arnold, K., Gosling, J.: The Java Programming Language. Addison-Wesley, Reading (1996)"},{"key":"15_CR3","first-page":"68","volume-title":"13th Australien Software Engineering Conference","author":"C. Artho","year":"2001","unstructured":"Artho, C., Biere, A.: Applying Static Analysis to Large-Scale, Multi-threaded Java Programs. In: Grant, D. (ed.) 13th Australien Software Engineering Conference, pp. 68\u201375. IEEE Computer Society, Los Alamitos (2001)"},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"Artho, C., Havelund, K., Biere, A.: High-level Data Races. Software Testing. Verification and Reliability (STVR)\u00a013(4) (December 2003)","DOI":"10.1002\/stvr.281"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"Artho, C., Havelund, K., Biere, A.: Using Block-Local Atomicity to Detect Stale-Value Concurrency Errors. In: 2nd International Symposium on Automated Technology for Verification and Analysis, Taiwan, October-November (2004)","DOI":"10.1007\/978-3-540-30476-0_16"},{"key":"15_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1007\/3-540-45319-9_19","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"T. Ball","year":"2001","unstructured":"Ball, T., Podelski, A., Rajamani, S.: Boolean and Cartesian Abstractions for Model Checking C Programs. In: Margaria, T., Yi, W. (eds.) TACAS 2001. LNCS, vol.\u00a02031, p. 268. Springer, Heidelberg (2001)"},{"key":"15_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1007\/978-3-540-24622-0_5","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"H. Barringer","year":"2004","unstructured":"Barringer, H., Goldberg, A., Havelund, K., Sen, K.: Rule-Based Runtime Verification. In: Steffen, B., Levi, G. (eds.) VMCAI 2004. LNCS, vol.\u00a02937, pp. 44\u201357. Springer, Heidelberg (2004)"},{"key":"15_CR8","unstructured":"Bensalem, S., Havelund, K.: Reducing False Positives in Runtime Analysis of Deadlocks. Internal report, NASA Ames Research Center (October 2002)"},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"Brat, G., Drusinsky, D., Giannakopoulou, D., Goldberg, A., Havelund, K., Lowry, M., Pasareanu, C., Visser, W., Washington, R.: Experimental Evaluation of Verification and Validation Tools on Martian Rover Software. Formal Methods in System Design\u00a025(2) (2004)","DOI":"10.1023\/B:FORM.0000040027.28662.a4"},{"key":"15_CR10","volume-title":"Proceedings of the 22nd International Conference on Software Engineering","author":"J. Corbett","year":"2000","unstructured":"Corbett, J., Dwyer, M.B., Hatcliff, J., Pasareanu, C.S.: Bandera: Extracting Finite-state Models from Java Source Code. In: Proceedings of the 22nd International Conference on Software Engineering, Limerich, Ireland, June 2000. ACM Press, New York (2000)"},{"key":"15_CR11","unstructured":"Detlefs, D.L., Rustan, K., Leino, M., Nelson, G., Saxe, J.B.: Extended Static Checking. Technical Report 159, Compaq Systems Research Center, Palo Alto, California, USA (1998)"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"Edelstein, O., Farchi, E., Nir, Y., Ratsaby, G., Ur, S.: Multithreaded Java Program Test Generation. Software Testing and Verification\u00a041(1) (2002)","DOI":"10.1147\/sj.411.0111"},{"key":"15_CR13","unstructured":"Farchi, E., Nir-Buchbinder, Y., Ur, S.: A Cross-Run Lock Discipline Checker for Java. In: Tool presented at the Parallel and Distributed Systems: Testing and Debugging (PADTAD) track of the 2005 IBM Verification Conference, Haifa, Israel (November 2005), Tool is available at http:\/\/alphaworks.ibm.com\/tech\/contest"},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"Godefroid, P.: Model Checking for Programming Languages using VeriSoft. In: Proceedings of the 24th ACM Symposium on Principles of Programming Languages, Paris, France, January 1997, pp. 174\u2013186 (1997)","DOI":"10.1145\/263699.263717"},{"key":"15_CR15","unstructured":"Goldberg, A., Havelund, K.: Instrumentation of Java Bytecode for Runtime Analysis. In: Proc. Formal Techniques for Java-like Programs. Technical Reports from ETH Zurich, vol. 408. ETH Zurich, Switzerland (2003)"},{"key":"15_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/10722468_20","volume-title":"SPIN Model Checking and Software Verification","author":"J. Harrow","year":"2000","unstructured":"Harrow, J.: Runtime Checking of Multithreaded Applications with Visual Threads. In: Havelund, K., Penix, J., Visser, W. (eds.) SPIN 2000. LNCS, vol.\u00a01885, pp. 331\u2013342. Springer, Heidelberg (2000)"},{"key":"15_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/10722468_15","volume-title":"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: Havelund, K., Penix, J., Visser, W. (eds.) SPIN 2000. LNCS, vol.\u00a01885, pp. 245\u2013264. Springer, Heidelberg (2000)"},{"key":"#cr-split#-15_CR18.1","doi-asserted-by":"crossref","unstructured":"Havelund, K., Pressburger, T.: Model Checking Java Programs using Java PathFinder. International Journal on Software Tools for Technology Transfer??2(4), 366???381 (April 2000);","DOI":"10.1007\/s100090050043"},{"key":"#cr-split#-15_CR18.2","unstructured":"Special issue of STTT containing selected submissions to the 4th SPIN workshop, Paris, France (1998)"},{"key":"15_CR19","series-title":"Electronic Notes in Theoretical Computer Science","first-page":"97","volume-title":"Proceedings of the First International Workshop on Runtime Verification (RV 2001)","author":"K. Havelund","year":"2001","unstructured":"Havelund, K., Ro\u00b8su, G.: Monitoring Java Programs with Java PathExplorer. In: Proceedings of the First International Workshop on Runtime Verification (RV 2001), Paris, France, July 2001. Electronic Notes in Theoretical Computer Science, vol.\u00a055, pp. 97\u2013114. Elsevier Science, Amsterdam (2001)"},{"key":"#cr-split#-15_CR20.1","doi-asserted-by":"crossref","unstructured":"Havelund, K., Ro??su, G.: An Overview of the Runtime Verification Tool Java PathExplorer. Formal Methods in System Design??24(2) (March 2004);","DOI":"10.1023\/B:FORM.0000017721.39909.4b"},{"key":"#cr-split#-15_CR20.2","unstructured":"Extended version of [19]"},{"key":"15_CR21","doi-asserted-by":"crossref","unstructured":"Holzmann, G.J., Smith, M.H.: A Practical Method for Verifying Event-Driven Software. In: Proceedings of ICSE 1999, International Conference on Software Engineering, Los Angeles, California, USA, May 1999. IEEE\/ACM (1999)","DOI":"10.1145\/302405.302710"},{"key":"15_CR22","doi-asserted-by":"crossref","unstructured":"Knapp, E.: Deadlock Detection in Distributed Database Systems. ACM Computing Surveys, 303\u2013328 (December 1987)","DOI":"10.1145\/45075.46163"},{"key":"15_CR23","volume-title":"Concurrent Programming in Java, Design Principles and Patterns","author":"D. Lea","year":"1997","unstructured":"Lea, D.: Concurrent Programming in Java, Design Principles and Patterns. Addison-Wesley, Reading (1997)"},{"key":"15_CR24","doi-asserted-by":"crossref","unstructured":"Park, D., Stern, U., Skakkebaek, J., Dill, D.: Java Model Checking. In: Proceedings of the 15th IEEE International Conference on Automated Software Engineering, September 2000, pp. 253\u2013256 (2000)","DOI":"10.1109\/ASE.2000.873671"},{"key":"15_CR25","unstructured":"PolySpace. An Automatic Run-Time Error Detection Tool, http:\/\/www.polyspace.com"},{"issue":"4","key":"15_CR26","doi-asserted-by":"publisher","first-page":"391","DOI":"10.1145\/265924.265927","volume":"15","author":"S. Savage","year":"1997","unstructured":"Savage, S., Burrows, M., Nelson, G., Sobalvarro, P., Anderson, T.: Eraser: A Dynamic Data Race Detector for Multithreaded Programs. ACM Transactions on Computer Systems\u00a015(4), 391\u2013411 (1997)","journal-title":"ACM Transactions on Computer Systems"},{"key":"15_CR27","doi-asserted-by":"crossref","unstructured":"Singhal, M.: Deadlock Detection in Distributed Systems. IEEE Computer, 37\u201348 (November 1989)","DOI":"10.1109\/2.43525"},{"key":"15_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"224","DOI":"10.1007\/10722468_14","volume-title":"SPIN Model Checking and Software Verification","author":"S.D. Stoller","year":"2000","unstructured":"Stoller, S.D.: Model-Checking Multi-threaded Distributed Java Programs. In: Havelund, K., Penix, J., Visser, W. (eds.) SPIN 2000. LNCS, vol.\u00a01885, pp. 224\u2013244. Springer, Heidelberg (2000)"},{"key":"15_CR29","doi-asserted-by":"crossref","unstructured":"Visser, W., Havelund, K., Brat, G., Park, S., Lerda, F.: Model Checking Programs. Automated Software Engineering\u00a010(2) (April 2003)","DOI":"10.1023\/A:1022920129859"}],"container-title":["Lecture Notes in Computer Science","Hardware and Software, Verification and Testing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11678779_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T03:15:37Z","timestamp":1619493337000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11678779_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540326045","9783540326052"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/11678779_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006]]}}}