{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:22:51Z","timestamp":1750306971527,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,7,1]],"date-time":"2013-07-01T00:00:00Z","timestamp":1372636800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100004543","name":"China Scholarship Council","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100004543","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2013,7]]},"DOI":"10.1145\/2489804.2489806","type":"proceedings-article","created":{"date-parts":[[2013,7,2]],"date-time":"2013-07-02T14:33:48Z","timestamp":1372775628000},"page":"1-7","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Semi-automatic controller design of Java-like models"],"prefix":"10.1145","author":[{"given":"Yan","family":"Zhang","sequence":"first","affiliation":[{"name":"LIP6\/MoVe, Universit\u00e9 Pierre & Marie Curie, Paris, France"}]},{"given":"B\u00e9atrice","family":"B\u00e9rard","sequence":"additional","affiliation":[{"name":"LIP6\/MoVe, Universit\u00e9 Pierre & Marie Curie, Paris, France"}]},{"given":"Lom Messan","family":"Hillah","sequence":"additional","affiliation":[{"name":"LIP6\/MoVe, Universit\u00e9 Pierre & Marie Curie, Paris, France"}]},{"given":"Yann","family":"Thierry-Mieg","sequence":"additional","affiliation":[{"name":"LIP6\/MoVe, Universit\u00e9 Pierre & Marie Curie, Paris, France"}]}],"member":"320","published-online":{"date-parts":[[2013,7]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"384","volume-title":"8th Int'l WODES","author":"Akesson K.","year":"2006","unstructured":"K. Akesson , M. Fabian , H. Flordal , and R. Malik . Supremica - an integrated environment for verification, synthesis and simulation of des . In 8th Int'l WODES , pages 384 -- 385 . IEEE , 2006 . K. Akesson, M. Fabian, H. Flordal, and R. Malik. Supremica - an integrated environment for verification, synthesis and simulation of des. In 8th Int'l WODES, pages 384--385. IEEE, 2006."},{"key":"e_1_3_2_1_2_1","first-page":"121","volume-title":"Uppaal-tiga: Time for playing games! In CAV","author":"Behrmann G.","year":"2007","unstructured":"G. Behrmann , A. Cougnard , A. David , E. Fleury , K. Larsen , and D. Lime . Uppaal-tiga: Time for playing games! In CAV , pages 121 -- 125 . Springer , 2007 . G. Behrmann, A. Cougnard, A. David, E. Fleury, K. Larsen, and D. Lime. Uppaal-tiga: Time for playing games! In CAV, pages 121--125. Springer, 2007."},{"key":"e_1_3_2_1_3_1","first-page":"346","volume-title":"9th Int. WODES","author":"B\u00e9rard B.","year":"2008","unstructured":"B. B\u00e9rard , S. Haddad , L. Hillah , F. Kordon , and Y. Thierry-Mieg . Collision avoidance in intelligent transport systems . In 9th Int. WODES , pages 346 -- 351 . IEEE Press , 2008 . B. B\u00e9rard, S. Haddad, L. Hillah, F. Kordon, and Y. Thierry-Mieg. Collision avoidance in intelligent transport systems. In 9th Int. WODES, pages 346--351. IEEE Press, 2008."},{"key":"e_1_3_2_1_4_1","first-page":"27","volume-title":"11th Int'l WODES","author":"Bollue K.","year":"2010","unstructured":"K. Bollue , M. Slaats , E. Abrah\u00e1m , W. Thomas , and D. Abel . Synthesis of behavioral controllers for des: Increasing efficiency . In 11th Int'l WODES , pages 27 -- 34 . IFAC\/Elsevier , 2010 . K. Bollue, M. Slaats, E. Abrah\u00e1m, W. Thomas, and D. Abel. Synthesis of behavioral controllers for des: Increasing efficiency. In 11th Int'l WODES, pages 27--34. IFAC\/Elsevier, 2010."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02424-5_13"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511973468.007"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1453101.1453122"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28756-5_27"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.1048"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEW.2011.20"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2011.6081983"},{"key":"e_1_3_2_1_12_1","volume-title":"International Journal on Software Tools for Technology Transfer (STTT), 2(4):366--381","author":"Havelund K.","year":"2000","unstructured":"K. Havelund and T. Pressburger . Model checking java programs using java pathfinder . International Journal on Software Tools for Technology Transfer (STTT), 2(4):366--381 , 2000 . K. Havelund and T. Pressburger. Model checking java programs using java pathfinder. International Journal on Software Tools for Technology Transfer (STTT), 2(4):366--381, 2000."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-006-0025-7"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2008.4586906"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1108\/00022661111173261"},{"key":"e_1_3_2_1_16_1","first-page":"253","volume-title":"11th Int'l WODES","author":"Moor T.","year":"2010","unstructured":"T. Moor , K. Schmidt , and S. Perk . Applied supervisory control for a flexible manufacturing system . In 11th Int'l WODES , pages 253 -- 258 . IFAC\/Elsevier , 2010 . T. Moor, K. Schmidt, and S. Perk. Applied supervisory control for a flexible manufacturing system. In 11th Int'l WODES, pages 253--258. IFAC\/Elsevier, 2010."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2048066.2048076"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/2227508.2227512"}],"event":{"name":"ECOOP '13: European Conference on Object-Oriented Programming","sponsor":["CNRS Centre National De La Rechercue Scientifique","UM2 University Montpellier 2","AITO Association Internationale pour les Technologies Objets","SIGPLAN ACM Special Interest Group on Programming Languages","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Montpellier France","acronym":"ECOOP '13"},"container-title":["Proceedings of the 15th Workshop on Formal Techniques for Java-like Programs"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2489804.2489806","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2489804.2489806","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:39:26Z","timestamp":1750235966000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2489804.2489806"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,7]]},"references-count":19,"alternative-id":["10.1145\/2489804.2489806","10.1145\/2489804"],"URL":"https:\/\/doi.org\/10.1145\/2489804.2489806","relation":{},"subject":[],"published":{"date-parts":[[2013,7]]},"assertion":[{"value":"2013-07-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}