{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T16:02:30Z","timestamp":1761580950324,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":14,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,10,17]],"date-time":"2011-10-17T00:00:00Z","timestamp":1318809600000},"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,10,17]]},"DOI":"10.1145\/2095654.2095657","type":"proceedings-article","created":{"date-parts":[[2012,1,17]],"date-time":"2012-01-17T17:20:41Z","timestamp":1326820841000},"page":"1-4","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Towards automatic determination of problem bounds for object instantiation in static model verification"],"prefix":"10.1145","author":[{"given":"Mathias","family":"Soeken","sequence":"first","affiliation":[{"name":"University of Bremen, Bremen, Germany"}]},{"given":"Robert","family":"Wille","sequence":"additional","affiliation":[{"name":"University of Bremen, Bremen, Germany"}]},{"given":"Rolf","family":"Drechsler","sequence":"additional","affiliation":[{"name":"University of Bremen, Bremen, Germany"}]}],"member":"320","published-online":{"date-parts":[[2011,10,17]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/2394101.2394141"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2008.54"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00255-7_4"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/11817963_11"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2007.01.013"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02949-3_8"},{"key":"e_1_3_2_1_7_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"85","DOI":"10.1007\/3-540-45669-4_6","volume-title":"Object Modeling with the OCL","author":"Gogolla M.","year":"2002","unstructured":"M. Gogolla and M. Richters . Expressing UML Class Diagrams Properties with OCL . In T. Clark and J. Warmer, editors, Object Modeling with the OCL , volume 2263 of Lecture Notes in Computer Science , pages 85 -- 114 . Springer , 2002 . M. Gogolla and M. Richters. Expressing UML Class Diagrams Properties with OCL. In T. Clark and J. Warmer, editors, Object Modeling with the OCL, volume 2263 of Lecture Notes in Computer Science, pages 85--114. Springer, 2002."},{"key":"e_1_3_2_1_8_1","volume-title":"Software Abstractions: Logic, Language, and Analysis","author":"Jackson D.","year":"2006","unstructured":"D. Jackson . Software Abstractions: Logic, Language, and Analysis . MIT Press , Cambridge, MA, USA , Apr. 2006 . D. Jackson. Software Abstractions: Logic, Language, and Analysis. MIT Press, Cambridge, MA, USA, Apr. 2006."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/2025896.2025917"},{"key":"e_1_3_2_1_10_1","volume-title":"The Unified Modeling Language reference manual","author":"Rumbaugh J.","year":"1999","unstructured":"J. Rumbaugh , I. Jacobson , and G. Booch . The Unified Modeling Language reference manual . Addison-Wesley Longman , Essex, UK , Jan. 1999 . J. Rumbaugh, I. Jacobson, and G. Booch. The Unified Modeling Language reference manual. Addison-Wesley Longman, Essex, UK, Jan. 1999."},{"key":"e_1_3_2_1_11_1","first-page":"1077","volume-title":"Automation and Test in Europe","author":"Soeken M.","year":"2011","unstructured":"M. Soeken , R. Wille , and R. Drechsler . Verifying Dynamic Aspects of UML Models. In Design , Automation and Test in Europe , pages 1077 -- 1082 . IEEE Computer Society , Mar. 2011 . M. Soeken, R. Wille, and R. Drechsler. Verifying Dynamic Aspects of UML Models. In Design, Automation and Test in Europe, pages 1077--1082. IEEE Computer Society, Mar. 2011."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/1870926.1871248"},{"key":"e_1_3_2_1_13_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"632","DOI":"10.1007\/978-3-540-71209-1_49","volume-title":"TACAS","author":"Torlak E.","year":"2007","unstructured":"E. Torlak and D. Jackson . Kodkod: A Relational Model Finder . In TACAS , volume 4424 of Lecture Notes in Computer Science , pages 632 -- 647 . Springer , Apr. 2007 . E. Torlak and D. Jackson. Kodkod: A Relational Model Finder. In TACAS, volume 4424 of Lecture Notes in Computer Science, pages 632--647. Springer, Apr. 2007."},{"key":"e_1_3_2_1_14_1","volume-title":"The Object Constraint Language: Precise modeling with UML","author":"Warmer J.","year":"1999","unstructured":"J. Warmer and A. Kleppe . The Object Constraint Language: Precise modeling with UML . Addison-Wesley Longman , Boston, MA, USA , Mar. 1999 . J. Warmer and A. Kleppe. The Object Constraint Language: Precise modeling with UML. Addison-Wesley Longman, Boston, MA, USA, Mar. 1999."}],"event":{"name":"MoDeVVa '11: Model-Driven Engineering, Verification, and Validation","acronym":"MoDeVVa '11","location":"Wellington New Zealand"},"container-title":["Proceedings of the 8th International Workshop on Model-Driven Engineering, Verification and Validation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2095654.2095657","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2095654.2095657","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:06:48Z","timestamp":1750241208000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2095654.2095657"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,10,17]]},"references-count":14,"alternative-id":["10.1145\/2095654.2095657","10.1145\/2095654"],"URL":"https:\/\/doi.org\/10.1145\/2095654.2095657","relation":{},"subject":[],"published":{"date-parts":[[2011,10,17]]},"assertion":[{"value":"2011-10-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}