{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,13]],"date-time":"2026-05-13T23:04:38Z","timestamp":1778713478439,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":14,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,5,21]],"date-time":"2011-05-21T00:00:00Z","timestamp":1305936000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2011,5,21]]},"DOI":"10.1145\/1985793.1985903","type":"proceedings-article","created":{"date-parts":[[2011,5,24]],"date-time":"2011-05-24T13:04:30Z","timestamp":1306242270000},"page":"786-795","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":13,"title":["Enabling the runtime assertion checking of concurrent contracts for the Java modeling language"],"prefix":"10.1145","author":[{"given":"Wladimir","family":"Araujo","sequence":"first","affiliation":[{"name":"Juniper Networks, Ottawa, ON, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lionel C.","family":"Briand","sequence":"additional","affiliation":[{"name":"Simula Research Laboratory & University of Oslo, Lysaker, Norway"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yvan","family":"Labiche","sequence":"additional","affiliation":[{"name":"Carleton University, Ottawa, ON, Canada"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2011,5,21]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/648142.749839"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISSRE.2008.9"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/556709"},{"key":"e_1_3_2_1_5_1","first-page":"102","volume":"82","author":"Arslan V.","year":"2006","unstructured":"Arslan , V. , Eugster , P. , Nienaltowski , P. and Vaucouleur , S. SCOOP - concurrency made easy. In Proc . Dependable Systems: Software, Computing , Networks . 2006 , 82 -- 102 . Arslan, V., Eugster, P., Nienaltowski, P. and Vaucouleur, S. SCOOP - concurrency made easy. In Proc. Dependable Systems: Software, Computing, Networks. 2006, 82--102.","journal-title":"Networks"},{"key":"e_1_3_2_1_6_1","first-page":"328","volume":"322","author":"Cheon Y.","year":"2002","unstructured":"Cheon , Y. and Leavens , G. T. A Runtime Assertion Checker for the Java Modeling Language (JML) In Proc. SERP . 2002 , 322 -- 328 . Cheon, Y. and Leavens, G. T. A Runtime Assertion Checker for the Java Modeling Language (JML) In Proc. SERP. 2002, 322--328.","journal-title":"Proc. SERP"},{"key":"e_1_3_2_1_7_1","first-page":"267","volume":"258","author":"Dhara K.","year":"1996","unstructured":"Dhara , K. and Leavens , G. T. Forcing Behavioural Subtyping Through Specification Inheritance. In Proc. ICSE . 1996 , 258 -- 267 . Dhara, K. and Leavens, G. T. Forcing Behavioural Subtyping Through Specification Inheritance. In Proc. ICSE. 1996, 258--267.","journal-title":"Forcing Behavioural Subtyping Through Specification Inheritance. In Proc. ICSE"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2005.03.002"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEFM.2005.39"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1127878.1127884"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/553607"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.161279"},{"key":"e_1_3_2_1_13_1","volume-title":"Proc. International Symposium on Concurrency, Real-Time and Distribution in Eiffel-like Languages.","author":"Nienaltowski P.","year":"2006","unstructured":"Nienaltowski , P. and Meyer , B . Contracts for concurrency . In Proc. International Symposium on Concurrency, Real-Time and Distribution in Eiffel-like Languages. 2006 . Nienaltowski, P. and Meyer, B. Contracts for concurrency. In Proc. International Symposium on Concurrency, Real-Time and Distribution in Eiffel-like Languages. 2006."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/11531142_24"},{"key":"e_1_3_2_1_15_1","volume-title":"Morgan Kaufmann","author":"Weikum G.","year":"2002","unstructured":"Weikum , G. and Vossen , G . Transactional information systems: theory, algorithms, and the practice of concurrency control and recovery . Morgan Kaufmann , 2002 . Weikum, G. and Vossen, G. Transactional information systems: theory, algorithms, and the practice of concurrency control and recovery. Morgan Kaufmann, 2002."}],"event":{"name":"ICSE11: International Conference on Software Engineering","location":"Waikiki, Honolulu HI USA","acronym":"ICSE11","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"]},"container-title":["Proceedings of the 33rd International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1985793.1985903","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1985793.1985903","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T11:22:18Z","timestamp":1750245738000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1985793.1985903"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,5,21]]},"references-count":14,"alternative-id":["10.1145\/1985793.1985903","10.1145\/1985793"],"URL":"https:\/\/doi.org\/10.1145\/1985793.1985903","relation":{},"subject":[],"published":{"date-parts":[[2011,5,21]]},"assertion":[{"value":"2011-05-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}