{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,11,11]],"date-time":"2026-11-11T07:11:39Z","timestamp":1794381099552,"version":"4.9.0"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540229247","type":"print"},{"value":"9783540278665","type":"electronic"}],"license":[{"start":{"date-parts":[[2004,1,1]],"date-time":"2004-01-01T00:00:00Z","timestamp":1072915200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-27866-5_11","type":"book-chapter","created":{"date-parts":[[2010,9,16]],"date-time":"2010-09-16T16:20:42Z","timestamp":1284654042000},"page":"82-89","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Detecting Data Races in Sequential Programs with DIOTA"],"prefix":"10.1007","author":[{"given":"Michiel","family":"Ronsse","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jonas","family":"Maebe","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Koen","family":"De Bosschere","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Netzer, R.H., Miller, B.P.: What are race conditions? some issues and formalizations. ACM Letters on Programming Languages and Systems (1992)","DOI":"10.1145\/130616.130623"},{"key":"11_CR2","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, 391\u2013411 (1997)","journal-title":"ACM Transactions on Computer Systems"},{"key":"11_CR3","unstructured":"Ronsse, M., De Bosschere, K.: An on-the-fly Data Race Detector for RECPLAY, a Record\/Replay System for Parallel Programs. In: Proceedings of the 16th ACM Symposium on Operating Systems Principles, Saint-Malo (1997) (on CD)"},{"key":"11_CR4","volume-title":"Advanced Programming in the UNIX Environment","author":"W.R. Stevens","year":"1993","unstructured":"Stevens, W.R.: Advanced Programming in the UNIX Environment. Addison-Wesley, Reading (1993)"},{"key":"11_CR5","unstructured":"Zalewski, M.: Delivering signals for fun and profit. RAZOR, BindView Corporation (2001), \n                    \n                      http:\/\/razor.bindview.com\/publish\/papers\/signals.txt"},{"key":"11_CR6","unstructured":"Maebe, J., Ronsse, M., De Bosschere, K.: DIOTA: Dynamic instrumentation, optimization and transformation of applications. In: Charney, M., Kaeli, D. (eds.) Compendium of Workshops and Tutorials Held in conjunction with PACT 2002: Intl. Conference on Parallel Architectures and Compilation Techniques, Charlottesville, VA (2002)"},{"key":"11_CR7","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1023\/A:1013236320820","volume":"9","author":"M. Ronsse","year":"2002","unstructured":"Ronsse, M., De Bosschere, K.: Non-intrusive detection of synchronization errors using execution replay. Automated Software Engineering\u00a09, 95\u2013121 (2002)","journal-title":"Automated Software Engineering"},{"key":"11_CR8","unstructured":"Mattern, F.: Virtual time and global states of distributed systems. In: Cosnard, Q., Raynal, R. (eds.) Proceedings of the Intl. Workshop on Parallel and Distributed Algorithms, pp. 215\u2013226. Elsevier Science Publishers B.V., North-Holland (1989)"},{"key":"11_CR9","doi-asserted-by":"crossref","first-page":"28","DOI":"10.1109\/2.84874","volume":"24","author":"C.J. Fidge","year":"1991","unstructured":"Fidge, C.J.: Logical time in distributed computing systems. IEEE Computer\u00a024, 28\u201333 (1991)","journal-title":"IEEE Computer"},{"key":"11_CR10","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L. Lamport","year":"1978","unstructured":"Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Communications of the ACM\u00a021, 558\u2013565 (1978)","journal-title":"Communications of the ACM"},{"key":"11_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"494","DOI":"10.1007\/3-540-44681-8_73","volume-title":"Euro-Par 2001 Parallel Processing","author":"M. Christiaens","year":"2001","unstructured":"Christiaens, M., De Bosschere, K.: Accordion clocks: Logical clocks for data race detection. In: Sakellariou, R., Keane, J.A., Gurd, J.R., Freeman, L. (eds.) Euro-Par 2001. LNCS, vol.\u00a02150, pp. 494\u2013503. Springer, Heidelberg (2001)"},{"key":"11_CR12","doi-asserted-by":"crossref","unstructured":"Ronsse, M., Stougie, B., Maebe, J., De Bosschere, K.: An efficient data race detector backend for diota. In: Proceedings of the International Conference ParCo 2003 (2004) (to be published)","DOI":"10.1016\/S0927-5452(04)80008-X"}],"container-title":["Lecture Notes in Computer Science","Euro-Par 2004 Parallel Processing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-27866-5_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,19]],"date-time":"2020-04-19T20:05:10Z","timestamp":1587326710000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-27866-5_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540229247","9783540278665"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-27866-5_11","relation":{"is-part-of":[{"id-type":"doi","id":"https:\/\/doi.org\/10.1007\/b99409","asserted-by":"object"}]},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2004]]},"assertion":[{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}