{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T03:35:55Z","timestamp":1725593755122},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642213373"},{"type":"electronic","value":"9783642213380"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-21338-0_2","type":"book-chapter","created":{"date-parts":[[2011,6,28]],"date-time":"2011-06-28T19:42:21Z","timestamp":1309290141000},"page":"17-30","source":"Crossref","is-referenced-by-count":1,"title":["Detecting High-Level Synchronization Errors in Parallel Programs"],"prefix":"10.1007","author":[{"given":"Syed Aoun","family":"Raza","sequence":"first","affiliation":[]},{"given":"Stefan","family":"Franke","sequence":"additional","affiliation":[]},{"given":"Erhard","family":"Ploedereder","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","first-page":"74","volume":"1","author":"R.H.B. Netzer","year":"1992","unstructured":"Netzer, R.H.B., Miller, B.P.: What are race conditions? some issues and formalizations. LOPLAS 1992: ACM Letters on Programming Languages and Systems\u00a01, 74\u201388 (1992)","journal-title":"LOPLAS 1992: ACM Letters on Programming Languages and Systems"},{"key":"2_CR2","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1002\/stvr.281","volume":"13","author":"C. Artho","year":"2003","unstructured":"Artho, C., Havelund, K., Biere, A.: High-level data races. Software Testing, Verification and Reliability\u00a013, 207\u2013227 (2003)","journal-title":"Software Testing, Verification and Reliability"},{"key":"2_CR3","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1023\/B:FORM.0000017721.39909.4b","volume":"24","author":"K. Havelund","year":"2004","unstructured":"Havelund, K., Ro\u015fu, G.: An overview of the runtime verification tool java pathexplorer. Form. Methods Syst. Des.\u00a024, 189\u2013215 (2004)","journal-title":"Form. Methods Syst. Des."},{"key":"2_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/978-3-540-68624-8_17","volume-title":"Reliable Software Technologies \u2013 Ada-Europe 2008","author":"A. Raza","year":"2008","unstructured":"Raza, A., Vogel, G.: RCanalyser: A Flexible Framework for the Detection of Data Races in Parallel Programs. In: Kordon, F., Vardanega, T. (eds.) Ada-Europe 2008. LNCS, vol.\u00a05026, pp. 226\u2013239. Springer, Heidelberg (2008)"},{"key":"2_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/11767077_6","volume-title":"Reliable Software Technologies \u2013 Ada-Europe 2006","author":"A. Raza","year":"2006","unstructured":"Raza, A., Vogel, G., Pl\u00f6dereder, E.: Bauhaus - A Tool Suite for Program Analysis and Reverse Engineering. In: Pinho, L.M., Gonz\u00e1lez Harbour, M. (eds.) Ada-Europe 2006. LNCS, vol.\u00a04006, pp. 71\u201382. Springer, Heidelberg (2006)"},{"key":"2_CR6","first-page":"237","volume-title":"SOSP 2003: Proceedings of the 19th ACM Symposium on Operating Systems Principles","author":"D. Engler","year":"2003","unstructured":"Engler, D., Ashcraft, K.: RacerX: Effective, Static Detection of Race Conditions and Deadlocks. In: SOSP 2003: Proceedings of the 19th ACM Symposium on Operating Systems Principles, pp. 237\u2013252. ACM Press, New York (2003)"},{"key":"2_CR7","unstructured":"Andersen, L.O.: Program Analysis and Specialization for the C Programming Language. PhD thesis, DIKU, University of Copenhagen (1994)"},{"key":"2_CR8","first-page":"32","volume-title":"POPL 1996: Proceedings of the 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","author":"B. Steensgaard","year":"1996","unstructured":"Steensgaard, B.: Points-to Analysis in Almost Linear Time. In: POPL 1996: Proceedings of the 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 32\u201341. ACM Press, New York (1996)"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Das, M.: Unification-based Pointer Analysis with Directional Assignments. In: PLDI 2000: Proceedings of the ACM SIGPLAN 2000, Conference on Programming Language Design and Implementation, pp. 35\u201346 (2000)","DOI":"10.1145\/349299.349309"},{"key":"2_CR10","first-page":"27","volume-title":"SOSP 1997: Proceedings of the 16th ACM Symposium on Operating Systems Principles","author":"S. Savage","year":"1997","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 16th ACM Symposium on Operating Systems Principles, pp. 27\u201337. ACM Press, New York (1997)"},{"key":"2_CR11","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.J. Harrow","year":"2000","unstructured":"Harrow, J.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":"2_CR12","doi-asserted-by":"crossref","unstructured":"Artho, C., Biere, A.: Applying static analysis to large-scale, multi-threaded java programs. In: Australian Software Engineering Conference, pp. 68\u201375 (2001)","DOI":"10.1109\/ASWEC.2001.948499"},{"key":"2_CR13","unstructured":"Detlefs, D.L., Rustan, K., Leino, M., Nelson, G., Saxe, J.B.: Extended static checking. SRC Research Report 159, Compaq Systems Research Center (December 1998)"},{"key":"2_CR14","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1109\/ASE.2000.873645","volume-title":"ASE 2000: Proceedings of the Fifteenth IEEE International Conference on Automated Software Engineering","author":"W. Visser","year":"2000","unstructured":"Visser, W., Havelund, K., Brat, G.P., Park, S.: Model checking programs. In: ASE 2000: Proceedings of the Fifteenth IEEE International Conference on Automated Software Engineering, Grenoble, France, pp. 3\u201312. IEEE Computer Society, Los Alamitos (2000)"}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologies - Ada-Europe 2011"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21338-0_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,29]],"date-time":"2019-03-29T15:32:43Z","timestamp":1553873563000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21338-0_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642213373","9783642213380"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21338-0_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}