{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:45:27Z","timestamp":1772163927812,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2006,6,14]],"date-time":"2006-06-14T00:00:00Z","timestamp":1150243200000},"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":[[2006,6,14]]},"DOI":"10.1145\/1134650.1134658","type":"proceedings-article","created":{"date-parts":[[2006,7,24]],"date-time":"2006-07-24T12:53:01Z","timestamp":1153745581000},"page":"44-53","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":14,"title":["Pluggable abstract domains for analyzing embedded software"],"prefix":"10.1145","author":[{"given":"Nathan","family":"Cooprider","sequence":"first","affiliation":[{"name":"University of Utah"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Regehr","sequence":"additional","affiliation":[{"name":"University of Utah"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2006,6,14]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Proc. of the European Workshop on Wireless Sensor Networks","author":"Buonadonna Phil","year":"2005","unstructured":"Phil Buonadonna , Joseph Hellerstein , Wei Hong , David Gay , and Samuel Madden . TASK : Sensor network in a box . In Proc. of the European Workshop on Wireless Sensor Networks , Istanbul, Turkey , 2005 .]] Phil Buonadonna, Joseph Hellerstein, Wei Hong, David Gay, and Samuel Madden. TASK: Sensor network in a box. In Proc. of the European Workshop on Wireless Sensor Networks, Istanbul, Turkey, 2005.]]"},{"key":"e_1_3_2_1_2_1","unstructured":"Caml language Web site. http:\/\/caml.inria.fr\/.]]  Caml language Web site. http:\/\/caml.inria.fr\/.]]"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.265631"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/200994.200998"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"e_1_3_2_1_6_1","unstructured":"Crossbow Technology Inc. http:\/\/xbow.com.]]  Crossbow Technology Inc. http:\/\/xbow.com.]]"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/115372.115320"},{"key":"e_1_3_2_1_8_1","first-page":"554","volume-title":"Proc. of the 18th Intl. Conf. on Software Engineering (ICSE)","author":"Matthew","year":"1996","unstructured":"Matthew B. Dwyer and Lori A. Clarke. A flexible architecture for building data flow analyzers . In Proc. of the 18th Intl. Conf. on Software Engineering (ICSE) , pages 554 -- 564 , Berlin, Germany , March 1996 .]] Matthew B. Dwyer and Lori A. Clarke. A flexible architecture for building data flow analyzers. In Proc. of the 18th Intl. Conf. on Software Engineering (ICSE), pages 554--564, Berlin, Germany, March 1996.]]"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040291.1040292"},{"key":"e_1_3_2_1_10_1","first-page":"382","volume-title":"Proc. of the 4th Intl. Conf. on Information Processing in Sensor Networks (IPSN 05)","author":"Fok Chien-Liang","year":"2005","unstructured":"Chien-Liang Fok , Gruia-Catalin Roman , and Chenyang Lu . Mobile agent middleware for sensor networks: An application case study . In Proc. of the 4th Intl. Conf. on Information Processing in Sensor Networks (IPSN 05) , pages 382 -- 387 , Los Angeles, CA , April 2005 .]] Chien-Liang Fok, Gruia-Catalin Roman, and Chenyang Lu. Mobile agent middleware for sensor networks: An application case study. In Proc. of the 4th Intl. Conf. on Information Processing in Sensor Networks (IPSN 05), pages 382--387, Los Angeles, CA, April 2005.]]"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/781131.781133"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/646830.707569"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/1128020.1128563"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/2.869367"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1105688.1105689"},{"key":"e_1_3_2_1_17_1","volume-title":"Michael Smith. A Public-Key Infrastructure for Key Distribution in TinyOS Based on Elliptic Curve Cryptography. In Proc. of the Intl. Conf. on Sensor and Ad hoc Communications and Networks (SECON)","author":"Malan David","year":"2004","unstructured":"David Malan , Matt Welsh , and Michael Smith. A Public-Key Infrastructure for Key Distribution in TinyOS Based on Elliptic Curve Cryptography. In Proc. of the Intl. Conf. on Sensor and Ad hoc Communications and Networks (SECON) , Santa Clara, CA , October 2004 .]] David Malan, Matt Welsh, and Michael Smith. A Public-Key Infrastructure for Key Distribution in TinyOS Based on Elliptic Curve Cryptography. In Proc. of the Intl. Conf. on Sensor and Ad hoc Communications and Networks (SECON), Santa Clara, CA, October 2004.]]"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050017"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/832308.837141"},{"key":"e_1_3_2_1_20_1","unstructured":"Moteiv Corporation. http:\/\/www.moteiv.com.]]  Moteiv Corporation. http:\/\/www.moteiv.com.]]"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/647478.727796"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/646919.709157"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134650.1134657"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/647170.718289"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349317"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.5555\/1147685.1147768"},{"key":"e_1_3_2_1_27_1","unstructured":"Bryan Turner. RandomProgramGenerator 2005. http:\/\/www.fractalscape.org\/RandomProgramGenerator.]]  Bryan Turner. RandomProgramGenerator 2005. http:\/\/www.fractalscape.org\/RandomProgramGenerator.]]"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/647473.727456"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/103135.103136"},{"key":"e_1_3_2_1_30_1","unstructured":"Daniel S. Wilkerson. Delta 2003. http:\/\/delta.tigris.org\/.]]  Daniel S. Wilkerson. Delta 2003. http:\/\/delta.tigris.org\/.]]"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.988498"}],"event":{"name":"LCTES06: Languages, Compilers, and Tools for Embedded Systems 2006","location":"Ottawa Ontario Canada","acronym":"LCTES06","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery","SIGBED ACM Special Interest Group on Embedded Systems"]},"container-title":["Proceedings of the 2006 ACM SIGPLAN\/SIGBED conference on Language, compilers, and tool support for embedded systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1134650.1134658","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1134650.1134658","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:22:46Z","timestamp":1750263766000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1134650.1134658"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,6,14]]},"references-count":30,"alternative-id":["10.1145\/1134650.1134658","10.1145\/1134650"],"URL":"https:\/\/doi.org\/10.1145\/1134650.1134658","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1159974.1134658","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2006,6,14]]},"assertion":[{"value":"2006-06-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}