{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,16]],"date-time":"2025-10-16T03:49:55Z","timestamp":1760586595494,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,10,9]],"date-time":"2011-10-09T00:00:00Z","timestamp":1318118400000},"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,9]]},"DOI":"10.1145\/2038642.2038686","type":"proceedings-article","created":{"date-parts":[[2011,10,11]],"date-time":"2011-10-11T14:29:11Z","timestamp":1318343351000},"page":"279-288","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":32,"title":["Model-checking behavioral programs"],"prefix":"10.1145","author":[{"given":"David","family":"Harel","sequence":"first","affiliation":[{"name":"Weizmann Institute of Science, Rehovot, Israel"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robby","family":"Lampert","sequence":"additional","affiliation":[{"name":"Weizmann Institute of Science, Rehovot, Israel"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Assaf","family":"Marron","sequence":"additional","affiliation":[{"name":"Weizmann Institute of Science, Rehovot, Israel"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gera","family":"Weiss","sequence":"additional","affiliation":[{"name":"Ben Gurion University of the Negev, Beer Sheva, Israel"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2011,10,9]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Apache Commons. The Javaflow component. commons.apache.org\/sandbox\/javaflow\/.  Apache Commons. The Javaflow component. commons.apache.org\/sandbox\/javaflow\/."},{"key":"e_1_3_2_1_2_1","volume-title":"Principles of Model Checking","author":"Baier C.","year":"2008","unstructured":"C. Baier and J.-P. Katoen . Principles of Model Checking . The MIT Press , 2008 . C. Baier and J.-P. Katoen. Principles of Model Checking. The MIT Press, 2008."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/380921.380932"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90017-A"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/647769.734089"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-007-0069-5"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011227529550"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2004.05.013"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00289519"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICPC.2011.10"},{"issue":"2","key":"e_1_3_2_1_11_1","first-page":"68","article-title":"Memory arbiter synthesis and verification for a radar memory interface card","volume":"12","author":"Ernits J. P.","year":"2005","unstructured":"J. P. Ernits . Memory arbiter synthesis and verification for a radar memory interface card . Nord. J. Comput. , 12 ( 2 ): 68 -- 88 , 2005 . J. P. Ernits. Memory arbiter synthesis and verification for a radar memory interface card. Nord. J. Comput., 12(2):68--88, 2005.","journal-title":"Nord. J. Comput."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45069-6_32"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/177492.177725"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/646187.683385"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/11495628_2"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-19029-2","volume-title":"Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine","author":"Harel D.","year":"2003","unstructured":"D. Harel and R. Marelly . Come , Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine . Springer , 2003 . D. Harel and R. Marelly. Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer, 2003."},{"key":"e_1_3_2_1_17_1","unstructured":"D. Harel A. Marron and G. Weiss. The BPJ package. www.cs.bgu.ac.il\/~geraw.  D. Harel A. Marron and G. Weiss. The BPJ package. www.cs.bgu.ac.il\/~geraw."},{"key":"e_1_3_2_1_18_1","first-page":"250","volume-title":"Proc. 24th European Conf. on Object-Oriented Programming (ECOOP), LNCS 6183","author":"Harel D.","year":"2010","unstructured":"D. Harel , A. Marron , and G. Weiss . Programming coordinated scenarios in Java . In Proc. 24th European Conf. on Object-Oriented Programming (ECOOP), LNCS 6183 , pages 250 -- 274 , 2010 . D. Harel, A. Marron, and G. Weiss. Programming coordinated scenarios in Java. In Proc. 24th European Conf. on Object-Oriented Programming (ECOOP), LNCS 6183, pages 250--274, 2010."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/1763507.1763556"},{"key":"e_1_3_2_1_20_1","first-page":"188","volume-title":"Languages and Programming","author":"Henzinger T.","year":"2003","unstructured":"T. Henzinger , R. Jhala , and R. Majumdar . Counterexample-guided control. Automata , Languages and Programming , pages 188 -- 188 , 2003 . T. Henzinger, R. Jhala, and R. Majumdar. Counterexample-guided control. Automata, Languages and Programming, pages 188--188, 2003."},{"key":"e_1_3_2_1_21_1","volume-title":"The Spin Model Checker: Primer and Reference Manual","author":"Holzmann G.","year":"2003","unstructured":"G. Holzmann . The Spin Model Checker: Primer and Reference Manual . Addison-Wesley , 2003 . spinroot.com\/spin\/whatispin.html. G. Holzmann. The Spin Model Checker: Primer and Reference Manual. Addison-Wesley, 2003. spinroot.com\/spin\/whatispin.html."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/11513988_23"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/648295.754699"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/11526841_29"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31980-1_29"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/2032305.2032351"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/646235.682695"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_18"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00265555"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022920129859"},{"key":"e_1_3_2_1_32_1","volume-title":"IST-2001-35304 AMETIST Project","author":"Weiss G.","year":"2002","unstructured":"G. Weiss . Optimal scheduler for a memory card. Technical report , IST-2001-35304 AMETIST Project , Weizmann Institute of Science , 2002 . G. Weiss. Optimal scheduler for a memory card. Technical report, IST-2001-35304 AMETIST Project, Weizmann Institute of Science, 2002."}],"event":{"name":"ESWeek '11: Seventh Embedded Systems Week","sponsor":["CEDA","SIGBED ACM Special Interest Group on Embedded Systems","SIGDA ACM Special Interest Group on Design Automation","IEEE CAS","SIGMICRO ACM Special Interest Group on Microarchitectural Research and Processing","IEEE CS"],"location":"Taipei Taiwan","acronym":"ESWeek '11"},"container-title":["Proceedings of the ninth ACM international conference on Embedded software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2038642.2038686","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2038642.2038686","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:48:15Z","timestamp":1750240095000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2038642.2038686"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,10,9]]},"references-count":31,"alternative-id":["10.1145\/2038642.2038686","10.1145\/2038642"],"URL":"https:\/\/doi.org\/10.1145\/2038642.2038686","relation":{},"subject":[],"published":{"date-parts":[[2011,10,9]]},"assertion":[{"value":"2011-10-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}