{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T17:29:30Z","timestamp":1729618170519,"version":"3.28.0"},"reference-count":36,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,6]]},"DOI":"10.1109\/icac.2008.26","type":"proceedings-article","created":{"date-parts":[[2008,7,3]],"date-time":"2008-07-03T10:35:12Z","timestamp":1215081312000},"page":"87-96","source":"Crossref","is-referenced-by-count":17,"title":["Digital Evolution of Behavioral Models for Autonomic Systems"],"prefix":"10.1109","author":[{"given":"Heather J.","family":"Goldsby","sequence":"first","affiliation":[]},{"given":"Betty H.C.","family":"Cheng","sequence":"additional","affiliation":[]},{"given":"Philip K.","family":"McKinley","sequence":"additional","affiliation":[]},{"given":"David B.","family":"Knoester","sequence":"additional","affiliation":[]},{"given":"Charles A.","family":"Ofria","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75209-7_31"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/REV.2006.11"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2001.919116"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74913-4_24"},{"key":"ref36","article-title":"Genetic” programming","author":"luke","year":"1999","journal-title":"Genetic and Evolutionary Computation Conference"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/CEC.2003.1299597"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(87)90052-6"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1178048"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-35570-2_5"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1214326"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.21"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2006.22"},{"key":"ref15","first-page":"364","article-title":"Synthesis of reactive(1) designs","author":"piterman","year":"2006","journal-title":"Verification Model Checking and Abstract Interpretation"},{"article-title":"Genetic Programming IV: Routine Human-Competitive Machine Intelligence","year":"2003","author":"koza","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/FOSE.2007.29"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1162\/106454604773563612"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1038\/nature01568"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TEVC.2002.802442"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-35563-4_7"},{"key":"ref27","first-page":"371","article-title":"An approach to the synthesis of life","author":"ray","year":"1992","journal-title":"Artificial Life II"},{"key":"ref3","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0053581","article-title":"Specifying and analyzing dynamic software architectures","volume":"1382","author":"allen","year":"1998","journal-title":"Lecture Notes in Computer Science"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1083063.1083075"},{"key":"ref29","first-page":"83e","article-title":"The new replicators","volume":"1","author":"dennett","year":"2002","journal-title":"The Encyclopedia of Evolution"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/IWSSD.1998.667919"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2006.25"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134337"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2006.58"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"309","DOI":"10.1007\/978-3-540-31847-7_18","article-title":"Synthesis Revisited: Generating Statechart Models from Scenarios-Based Requirements","author":"harel","year":"2005","journal-title":"Formal Methods in Software and System Modeling"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1160055"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-5193(03)00062-6"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1145\/1276958.1277016"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2008.17"},{"article-title":"The Spin Model Checker, Primer and Reference Manual","year":"2004","author":"holzmann","key":"ref24"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/SEAMS.2007.6"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/0167-2789(90)90070-6"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134360"}],"event":{"name":"2008 International Conference on Autonomic Computing (ICAC)","start":{"date-parts":[[2008,6,2]]},"location":"Chicago, IL, USA","end":{"date-parts":[[2008,6,6]]}},"container-title":["2008 International Conference on Autonomic Computing"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4550812\/4550813\/04550830.pdf?arnumber=4550830","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T05:38:04Z","timestamp":1497764284000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4550830\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,6]]},"references-count":36,"URL":"https:\/\/doi.org\/10.1109\/icac.2008.26","relation":{},"subject":[],"published":{"date-parts":[[2008,6]]}}}