{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,8]],"date-time":"2025-09-08T05:47:16Z","timestamp":1757310436506,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":13,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,4,22]],"date-time":"2014-04-22T00:00:00Z","timestamp":1398124800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000143","name":"Division of Computing and Communication Foundations","doi-asserted-by":"publisher","award":["CCF-1017334"],"award-info":[{"award-number":["CCF-1017334"]}],"id":[{"id":"10.13039\/100000143","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,4,22]]},"DOI":"10.1145\/2588548.2588550","type":"proceedings-article","created":{"date-parts":[[2014,4,15]],"date-time":"2014-04-15T17:50:38Z","timestamp":1397584238000},"page":"13-18","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Static verification of ptolemyrely programs using openJML"],"prefix":"10.1145","author":[{"given":"Jos\u00e9","family":"S\u00e1nchez","sequence":"first","affiliation":[{"name":"University of Central Florida, Orlando, FL, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gary T.","family":"Leavens","sequence":"additional","affiliation":[{"name":"University of Central Florida, Orlando, FL, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,4,22]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1960275.1960293"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1960275.1960291"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2559933"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/11804192_16"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"D.\n       \n      Cok\n    .\n      \n  \n   \n  OpenJML: JML for Java 7 by extending OpenJDK. In M. Bobaru K. Havelund G. Holzmann and R. Joshi editors NASA Formal Methods volume \n  6617\n   of \n  Lecture Notes in Computer Science pages \n  472\n  --\n  479\n  . \n  Springer-Verlag Berlin 2011\n  . . URL http:\/\/dx.doi.org\/10.1007\/978-3-642-20398-5 35.   D. Cok. OpenJML: JML for Java 7 by extending OpenJDK. In M. Bobaru K. Havelund G. Holzmann and R. Joshi editors NASA Formal Methods volume 6617 of Lecture Notes in Computer Science pages 472--479. Springer-Verlag Berlin 2011. . URL http:\/\/dx.doi.org\/10.1007\/978-3-642-20398-5 35.","DOI":"10.1007\/978-3-642-20398-5_35"},{"key":"e_1_3_2_1_6_1","unstructured":"D. Cok. Openjml checks 2014. URL http:\/\/jmlspecs.sourceforge.net\/checks.shtml.  D. Cok. Openjml checks 2014. URL http:\/\/jmlspecs.sourceforge.net\/checks.shtml."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025205"},{"key":"e_1_3_2_1_8_1","unstructured":"G. T. Leavens and Y. Cheon. Design by contract with JML. Draft available from jmlspecs.org. 2005. URL http:\/\/www.jmlspecs.org\/jmldbc.pdf.  G. T. Leavens and Y. Cheon. Design by contract with JML. Draft available from jmlspecs.org. 2005. URL http:\/\/www.jmlspecs.org\/jmldbc.pdf."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1127878.1127884"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70592-5_8"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39614-4_5"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1297027.1297053"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1767751.1767752"}],"event":{"name":"MODULARITY '14: 13th International Conference on Modularity","sponsor":["AOSA Aspect-Oriented Software Association","SIGPLAN ACM Special Interest Group on Programming Languages","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Lugano Switzerland","acronym":"MODULARITY '14"},"container-title":["Proceedings of the 13th workshop on Foundations of aspect-oriented languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2588548.2588550","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2588548.2588550","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T18:56:09Z","timestamp":1750272969000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2588548.2588550"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,4,22]]},"references-count":13,"alternative-id":["10.1145\/2588548.2588550","10.1145\/2588548"],"URL":"https:\/\/doi.org\/10.1145\/2588548.2588550","relation":{},"subject":[],"published":{"date-parts":[[2014,4,22]]},"assertion":[{"value":"2014-04-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}