{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T17:50:28Z","timestamp":1730224228849,"version":"3.28.0"},"reference-count":17,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,12]]},"DOI":"10.1109\/glocomw.2011.6162544","type":"proceedings-article","created":{"date-parts":[[2012,3,7]],"date-time":"2012-03-07T21:21:06Z","timestamp":1331155266000},"page":"701-706","source":"Crossref","is-referenced-by-count":4,"title":["A Model-driven approach to design and verify autonomic network behaviors"],"prefix":"10.1109","author":[{"given":"Arun","family":"Prakash","sequence":"first","affiliation":[{"name":"Modeling and Testing for System and Service Solutions, Fraunhofer FOKUS Institute for Open Communication Systems, Berlin, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ranganai","family":"Chaparadza","sequence":"additional","affiliation":[{"name":"Modeling and Testing for System and Service Solutions, Fraunhofer FOKUS Institute for Open Communication Systems, Berlin, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexej","family":"Starschenko","sequence":"additional","affiliation":[{"name":"Modeling and Testing for System and Service Solutions, Fraunhofer FOKUS Institute for Open Communication Systems, Berlin, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"EC FP7-IP EFIPSANS Project","year":"2008","key":"17"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/2.963443"},{"key":"16","doi-asserted-by":"crossref","first-page":"262","DOI":"10.1007\/978-3-642-10865-5_28","article-title":"Addressing stability of control-loops in the context of the GANA architecture: Synchronization of actions and policies","author":"tcholtchev","year":"2009","journal-title":"Proceedings of the 4th IFIP TC 6 International Workshop on Self-Organizing Systems"},{"journal-title":"Building A Tool for Synthesis of Correct Design from Interaction Specifications","year":"2006","author":"moorthy","key":"13"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-20931-4_24"},{"journal-title":"Generic Modelling Environments","year":"0","key":"11"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-75209-7_22"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/1282380.1282404"},{"key":"2","article-title":"FOCALE a novel autonomic networking architecture","author":"strassner","year":"2006","journal-title":"The Latin American Autonomic Computing Symposium (LAACS"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1145\/1096536.1096541"},{"key":"10","article-title":"Automated model driven development process","author":"aldazabal","year":"2008","journal-title":"Model-Driven Tool and Process Integration Workshop"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/CTRQ.2010.42"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/1162638.1162653"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1016\/j.comnet.2008.10.022"},{"key":"4","article-title":"Requirements for a Generic Autonomic Network Architecture (GANA), suitable for standardizable autonomic behavior specifications for diverse networking environments","volume":"61","author":"chaparadza","year":"2008","journal-title":"International Engineering Consortium (IEC) Annual Review of Communications"},{"journal-title":"Formal Methods for Modeling Refining and Verifying Autonomic Components of Computer Networks","year":"2011","author":"prakash","key":"9"},{"key":"8","first-page":"313","author":"chaparadza","year":"2009","journal-title":"Towards the Future Internet-A European Research Perspective"}],"event":{"name":"2011 IEEE Globecom Workshops","start":{"date-parts":[[2011,12,5]]},"location":"Houston, TX, USA","end":{"date-parts":[[2011,12,9]]}},"container-title":["2011 IEEE GLOBECOM Workshops (GC Wkshps)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6153583\/6162285\/06162544.pdf?arnumber=6162544","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,8]],"date-time":"2021-06-08T23:47:36Z","timestamp":1623196056000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6162544\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,12]]},"references-count":17,"URL":"https:\/\/doi.org\/10.1109\/glocomw.2011.6162544","relation":{},"subject":[],"published":{"date-parts":[[2011,12]]}}}