{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:25:54Z","timestamp":1750307154900,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":8,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,10,12]],"date-time":"2011-10-12T00:00:00Z","timestamp":1318377600000},"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,12]]},"DOI":"10.1145\/2179298.2179354","type":"proceedings-article","created":{"date-parts":[[2012,4,3]],"date-time":"2012-04-03T17:52:37Z","timestamp":1333475557000},"page":"1-1","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Behavior computation for smart grid software analysis"],"prefix":"10.1145","author":[{"given":"Rick","family":"Linger","sequence":"first","affiliation":[]},{"given":"Mark","family":"Pleszkoch","sequence":"additional","affiliation":[]},{"given":"Stacy","family":"Prowell","sequence":"additional","affiliation":[]},{"given":"Kirk","family":"Sayre","sequence":"additional","affiliation":[]}],"member":"320","published-online":{"date-parts":[[2011,10,12]]},"reference":[{"key":"e_1_3_2_2_1_1","volume-title":"A Practical Introduction to Denotational Semantics","author":"Allison L.","year":"1986","unstructured":"Allison , L. , A Practical Introduction to Denotational Semantics , Cambridge Computer Science Texts 23, Cambridge University Press , 1986 . Allison, L., A Practical Introduction to Denotational Semantics, Cambridge Computer Science Texts 23, Cambridge University Press, 1986."},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/HICSS.2009.228"},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2008.04.001"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/360248.360252"},{"key":"e_1_3_2_2_6_1","volume-title":"Structured Programming: Theory and Practice","author":"Linger R.","year":"1979","unstructured":"Linger , R. , Mills , H. , and Witt , B. , Structured Programming: Theory and Practice , Addison-Wesley , Reading MS , 1979 . Linger, R., Mills, H., and Witt, B., Structured Programming: Theory and Practice, Addison-Wesley, Reading MS, 1979."},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/HICSS.2012.128"},{"key":"e_1_3_2_2_8_1","volume-title":"Cleanroom Software Engineering: Technology and Practice","author":"Prowell S., C.","year":"1999","unstructured":"Prowell , S., C. Trammell , R. Linger , and J. Poore , Cleanroom Software Engineering: Technology and Practice , Addison Wesley , Reading, MA , 1999 . Prowell, S., C. Trammell, R. Linger, and J. Poore, Cleanroom Software Engineering: Technology and Practice, Addison Wesley, Reading, MA, 1999."}],"event":{"name":"CSIIRW '11: Cyber Security and Information Intelligence Research Workshop","sponsor":["Eurosis Eurosis","Oak Ridge National Laboratory","University of Tennessee University of Tennessee"],"location":"Oak Ridge Tennessee USA","acronym":"CSIIRW '11"},"container-title":["Proceedings of the Seventh Annual Workshop on Cyber Security and Information Intelligence Research"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2179298.2179354","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2179298.2179354","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:54:20Z","timestamp":1750240460000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2179298.2179354"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,10,12]]},"references-count":8,"alternative-id":["10.1145\/2179298.2179354","10.1145\/2179298"],"URL":"https:\/\/doi.org\/10.1145\/2179298.2179354","relation":{},"subject":[],"published":{"date-parts":[[2011,10,12]]},"assertion":[{"value":"2011-10-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}