{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:13:30Z","timestamp":1750306410940,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,7,7]],"date-time":"2015-07-07T00:00:00Z","timestamp":1436227200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"ERC","award":["258405"],"award-info":[{"award-number":["258405"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,7,7]]},"DOI":"10.1145\/2786536.2786541","type":"proceedings-article","created":{"date-parts":[[2015,7,6]],"date-time":"2015-07-06T14:04:29Z","timestamp":1436191469000},"page":"1-6","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Run-time assertion checking of JML annotations in multithreaded applications with e-OpenJML"],"prefix":"10.1145","author":[{"given":"Jorne","family":"Kandziora","sequence":"first","affiliation":[{"name":"University of Twente, the Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marieke","family":"Huisman","sequence":"additional","affiliation":[{"name":"University of Twente, the Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christoph","family":"Bockisch","sequence":"additional","affiliation":[{"name":"Open University, the Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marina","family":"Zaharieva-Stojanovski","sequence":"additional","affiliation":[{"name":"University of Twente, the Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2015,7,7]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2048066.2048090"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.442.0399"},{"key":"e_1_3_2_1_3_1","series-title":"LNCS","first-page":"172","volume-title":"SFM-14:ESM","author":"Amighi A.","year":"2014","unstructured":"A. Amighi , S. Blom , S. Darabi , M. Huisman , W. Mostowski , and M. Zaharieva-Stojanovski . Verification of concurrent systems with VerCors . In SFM-14:ESM , volume 8483 of LNCS , pages 172 -- 216 . Springer , 2014 . A. Amighi, S. Blom, S. Darabi, M. Huisman, W. Mostowski, and M. Zaharieva-Stojanovski. Verification of concurrent systems with VerCors. In SFM-14:ESM, volume 8483 of LNCS, pages 172--216. Springer, 2014."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985903"},{"key":"e_1_3_2_1_5_1","volume-title":"MMTk: The Memory Management Toolkit","author":"Blackburn S.","year":"2006","unstructured":"S. Blackburn , R. Garner , and D. Frampton . MMTk: The Memory Management Toolkit , 2006 . S. Blackburn, R. Garner, and D. Frampton. MMTk: The Memory Management Toolkit, 2006."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040327"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-004-0167-4"},{"key":"e_1_3_2_1_9_1","first-page":"322","volume-title":"International Conference on Software Engineering Research and Practice","author":"Cheon Y.","year":"2002","unstructured":"Y. Cheon and G. T. Leavens . A Runtime Assertion Checker for the Java Modeling Language . In International Conference on Software Engineering Research and Practice , pages 322 -- 328 , 2002 . Y. Cheon and G. T. Leavens. A Runtime Assertion Checker for the Java Modeling Language. In International Conference on Software Engineering Research and Practice, pages 322--328, 2002."},{"key":"e_1_3_2_1_10_1","first-page":"472","volume-title":"NFM'11","author":"Cok D. R.","year":"2011","unstructured":"D. R. Cok . OpenJML : JML for Java 7 by Extending OpenJDK . In NFM'11 , pages 472 -- 479 , Berlin, Heidelberg , 2011 . Springer. D. R. Cok. OpenJML: JML for Java 7 by Extending OpenJDK. In NFM'11, pages 472--479, Berlin, Heidelberg, 2011. Springer."},{"key":"e_1_3_2_1_11_1","volume-title":"OpenJML User Guide","author":"Cok D. R.","year":"2013","unstructured":"D. R. Cok . OpenJML User Guide , 2013 . D. R. Cok. OpenJML User Guide, 2013."},{"key":"e_1_3_2_1_12_1","first-page":"43","volume-title":"SAVCBS 2008","author":"Cok D. R.","year":"2008","unstructured":"D. R. Cok and G. T. Leavens . Extensions of the theory of observational purity and a practical design for JML . In SAVCBS 2008 , pages 43 -- 50 , 2008 . D. R. Cok and G. T. Leavens. Extensions of the theory of observational purity and a practical design for JML. In SAVCBS 2008, pages 43--50, 2008."},{"key":"e_1_3_2_1_13_1","first-page":"128","volume-title":"FACS2012","volume":"7684","author":"C. P.","year":"2013","unstructured":"C. P. T. de Gouw and F. S. de Boer. Run-time verification of black-box components using behavioral specifications: An experience report on tool development . In FACS2012 , volume 7684 of LNCS, pages 128 -- 133 . Springer , 2013 . C. P. T. de Gouw and F. S. de Boer. Run-time verification of black-box components using behavioral specifications: An experience report on tool development. In FACS2012, volume 7684 of LNCS, pages 128--133. Springer, 2013."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1924520.1924526"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/4472.4478"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_54"},{"key":"e_1_3_2_1_17_1","volume-title":"JSR166: Concurrency Utilities. https:\/\/www.jcp.org\/en\/jsr\/detail?id=166","author":"Lea D.","year":"2004","unstructured":"D. Lea . JSR166: Concurrency Utilities. https:\/\/www.jcp.org\/en\/jsr\/detail?id=166 , 2004 . D. Lea. JSR166: Concurrency Utilities. https:\/\/www.jcp.org\/en\/jsr\/detail?id=166, 2004."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1127878.1127884"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/2577080.2577084"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/11531142_24"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1103845.1094845"}],"event":{"name":"ECOOP '15: European Conference on Object-Oriented Programming ECOOP 2015","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Prague Czech Republic","acronym":"ECOOP '15"},"container-title":["Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2786536.2786541","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2786536.2786541","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:07:41Z","timestamp":1750223261000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2786536.2786541"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,7,7]]},"references-count":20,"alternative-id":["10.1145\/2786536.2786541","10.1145\/2786536"],"URL":"https:\/\/doi.org\/10.1145\/2786536.2786541","relation":{},"subject":[],"published":{"date-parts":[[2015,7,7]]},"assertion":[{"value":"2015-07-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}