{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T19:36:23Z","timestamp":1730316983644,"version":"3.28.0"},"publisher-location":"New York, NY, USA","reference-count":49,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,5,31]]},"DOI":"10.1145\/2568225.2568264","type":"proceedings-article","created":{"date-parts":[[2014,5,20]],"date-time":"2014-05-20T09:48:00Z","timestamp":1400579280000},"page":"688-699","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":51,"title":["Hope for the best, prepare for the worst: multi-tier control for adaptive systems"],"prefix":"10.1145","author":[{"given":"Nicolas","family":"D'Ippolito","sequence":"first","affiliation":[{"name":"Imperial College London, UK"}]},{"given":"V\u00edctor","family":"Braberman","sequence":"additional","affiliation":[{"name":"Universidad de Buenos Aires, Argentina"}]},{"given":"Jeff","family":"Kramer","sequence":"additional","affiliation":[{"name":"Imperial College London, UK"}]},{"given":"Jeff","family":"Magee","sequence":"additional","affiliation":[{"name":"Imperial College London, UK"}]},{"given":"Daniel","family":"Sykes","sequence":"additional","affiliation":[{"name":"Imperial College London, UK"}]},{"given":"Sebastian","family":"Uchitel","sequence":"additional","affiliation":[{"name":"Imperial College London, UK \/ Universidad de Buenos Aires, Argentina"}]}],"member":"320","published-online":{"date-parts":[[2014,5,31]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Appendix. http:\/\/www.doc.ic.ac.uk\/\u02dcsu2\/tmp\/shl.pdf. Appendix. http:\/\/www.doc.ic.ac.uk\/\u02dcsu2\/tmp\/shl.pdf."},{"key":"e_1_3_2_1_2_1","unstructured":"The Labelled Transition System Analyser (LTSA). http:\/\/www.doc.ic.ac.uk\/ltsa\/. The Labelled Transition System Analyser (LTSA). http:\/\/www.doc.ic.ac.uk\/ltsa\/."},{"key":"e_1_3_2_1_3_1","unstructured":"Workshop on Models at Runtime Series. ACM\/IEEE 2006\u20132013. Workshop on Models at Runtime Series. ACM\/IEEE 2006\u20132013."},{"volume-title":"Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS. ACM\/IEEE","author":"ICSE","key":"e_1_3_2_1_4_1","unstructured":"ICSE Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS. ACM\/IEEE , 2006-2013. ICSE Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS. ACM\/IEEE, 2006-2013."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0921-8890(05)80026-0"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11219-007-9019-2"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2010.25"},{"key":"e_1_3_2_1_8_1","first-page":"2012","article-title":"Dependability modeling and assessment in uml-based software development","author":"Bernardi S.","year":"2012","unstructured":"S. Bernardi , J. Merseguer , and D. C. Petriu . Dependability modeling and assessment in uml-based software development . The Scientific World Journal , 2012 , 2012 . S. Bernardi, J. Merseguer, and D. C. Petriu. Dependability modeling and assessment in uml-based software development. The Scientific World Journal, 2012, 2012.","journal-title":"The Scientific World Journal"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(92)90005-V"},{"volume-title":"Proceedings of the IJCAI\u201901 Workshop on Planning under Uncertainty and Incomplete Information","year":"2001","author":"Bertoli P.","key":"e_1_3_2_1_10_1","unstructured":"P. Bertoli , A. Cimatti , M. Pistore , M. Roveri , and P. Traverso . MBP: a model based planner . In Proceedings of the IJCAI\u201901 Workshop on Planning under Uncertainty and Incomplete Information , 2001 . P. Bertoli, A. Cimatti, M. Pistore, M. Roveri, and P. Traverso. MBP: a model based planner. In Proceedings of the IJCAI\u201901 Workshop on Planning under Uncertainty and Incomplete Information, 2001."},{"volume-title":"Replanning in domains with partial information and sensing actions. J. Artif. Intell. Res. (JAIR), 45:565\u2013600","year":"2012","author":"Brafman R. I.","key":"e_1_3_2_1_11_1","unstructured":"R. I. Brafman and G. Shani . Replanning in domains with partial information and sensing actions. J. Artif. Intell. Res. (JAIR), 45:565\u2013600 , 2012 . R. I. Brafman and G. Shani. Replanning in domains with partial information and sensing actions. J. Artif. Intell. Res. (JAIR), 45:565\u2013600, 2012."},{"first-page":"791","volume-title":"Proceedings of the 2013 International Conference on Software Engineering","author":"Carzaniga A.","key":"e_1_3_2_1_12_1","unstructured":"A. Carzaniga , A. Gorla , A. Mattavelli , N. Perino , and M. Pezze . Automatic recovery from runtime failures . In Proceedings of the 2013 International Conference on Software Engineering , pages 782\u2013 791 . IEEE Press, 2013. A. Carzaniga, A. Gorla, A. Mattavelli, N. Perino, and M. Pezze. Automatic recovery from runtime failures. In Proceedings of the 2013 International Conference on Software Engineering, pages 782\u2013791. IEEE Press, 2013."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/SACI.2011.5873012"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02161-9_1"},{"volume-title":"IBM White Paper","year":"2006","author":"Computing A.","key":"e_1_3_2_1_15_1","unstructured":"A. Computing An architectural blueprint for autonomic computing . IBM White Paper , 2006 . A. Computing et al. An architectural blueprint for autonomic computing. IBM White Paper, 2006."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEAMS.2009.5069077"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/503209.503226"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1882291.1882305"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1882291.1882296"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070513"},{"key":"e_1_3_2_1_21_1","series-title":"Lecture Notes in Computer Science","first-page":"238","volume-title":"Software Engineering for Self-Adaptive Systems","author":"Esfahani N.","unstructured":"N. Esfahani and S. Malek . Uncertainty in self-adaptive software systems . In R. de Lemos, H. Giese, H. A. M\u00fcller, and M. Shaw, editors, Software Engineering for Self-Adaptive Systems , volume 7475 of Lecture Notes in Computer Science , pages 214\u2013 238 . Springer, 2010. N. Esfahani and S. Malek. Uncertainty in self-adaptive software systems. In R. de Lemos, H. Giese, H. A. M\u00fcller, and M. Shaw, editors, Software Engineering for Self-Adaptive Systems, volume 7475 of Lecture Notes in Computer Science, pages 214\u2013238. Springer, 2010."},{"volume-title":"Artificial Intelligence and Mobile Robots","year":"1997","author":"Gat E.","key":"e_1_3_2_1_22_1","unstructured":"E. Gat . Three-layer Architectures , Artificial Intelligence and Mobile Robots . MIT\/AAAI Press , 1997 . E. Gat. Three-layer Architectures, Artificial Intelligence and Mobile Robots. MIT\/AAAI Press, 1997."},{"first-page":"42","volume-title":"Proceedings of the 2013 International Conference on Software Engineering","author":"Ghezzi C.","key":"e_1_3_2_1_23_1","unstructured":"C. Ghezzi , L. S. Pinto , P. Spoletini , and G. Tamburrelli . Managing non-functional uncertainty via model-driven adaptivity . In Proceedings of the 2013 International Conference on Software Engineering , pages 33\u2013 42 . IEEE Press, 2013. C. Ghezzi, L. S. Pinto, P. Spoletini, and G. Tamburrelli. Managing non-functional uncertainty via model-driven adaptivity. In Proceedings of the 2013 International Conference on Software Engineering, pages 33\u201342. IEEE Press, 2013."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/940071.940106"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"crossref","unstructured":"J. H.\n Gillula H.\n Huang M. P.\n Vitus and \n C. J.\n Tomlin\n . \n Design and analysis of hybrid systems with applications to robotic aerial vehicles\n . In C. Pradalier R. Siegwart and G. Hirzinger editors ISRR volume \n 70\n of \n Springer Tracts in Advanced Robotics pages 139\u2013\n 149\n . Springer 2009. J. H. Gillula H. Huang M. P. Vitus and C. J. Tomlin. Design and analysis of hybrid systems with applications to robotic aerial vehicles. In C. Pradalier R. Siegwart and G. Hirzinger editors ISRR volume 70 of Springer Tracts in Advanced Robotics pages 139\u2013149. Springer 2009.","DOI":"10.1007\/978-3-642-19457-3_9"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.2008.22"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.5555\/938135"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.58775"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/FOSE.2007.19"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/M-RA.2007.914921"},{"first-page":"601","volume-title":"ICSE","author":"Letier E.","key":"e_1_3_2_1_32_1","unstructured":"E. Letier and W. Heaven . Requirements modelling by synthesis of deontic input-output automata. In D. Notkin, B. H. C. Cheng, and K. Pohl, editors , ICSE , pages 592\u2013 601 . IEEE \/ ACM, 2013. E. Letier and W. Heaven. Requirements modelling by synthesis of deontic input-output automata. In D. Notkin, B. H. C. Cheng, and K. Pohl, editors, ICSE, pages 592\u2013601. IEEE \/ ACM, 2013."},{"volume-title":"Concurrency: state models & Java programs","year":"2006","author":"Magee J.","key":"e_1_3_2_1_33_1","unstructured":"J. Magee and J. Kramer . Concurrency: state models & Java programs . Wiley New York , 2006 . J. Magee and J. Kramer. Concurrency: state models & Java programs. Wiley New York, 2006."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/357084.357090"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEAMS.2013.6595500"},{"first-page":"72","volume-title":"Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems","author":"Panzica La Manna V.","key":"e_1_3_2_1_36_1","unstructured":"V. Panzica La Manna , J. Greenyer , C. Ghezzi , and C. Brenner . Formalizing correctness criteria of dynamic updates derived from specification changes . In Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems , pages 63\u2013 72 . IEEE Press, 2013. V. Panzica La Manna, J. Greenyer, C. Ghezzi, and C. Brenner. Formalizing correctness criteria of dynamic updates derived from specification changes. In Proceedings of the 8th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, pages 63\u201372. IEEE Press, 2013."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/11609773_24"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33666-9_5"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1975.6312842"},{"volume-title":"New Jersey","year":"1995","author":"Russell S.","key":"e_1_3_2_1_41_1","unstructured":"S. Russell and P. Norvig . Artificial intelligence: a modern approach . New Jersey , 1995 . S. Russell and P. Norvig. Artificial intelligence: a modern approach. New Jersey, 1995."},{"key":"e_1_3_2_1_42_1","first-page":"1046","volume-title":"IJCAI","volume":"87","author":"Schoppers M.","unstructured":"M. Schoppers . Universal plans for reactive robots in unpredictable environments . In IJCAI , volume 87 , pages 1039\u2013 1046 . Citeseer, 1987. M. Schoppers. Universal plans for reactive robots in unpredictable environments. In IJCAI, volume 87, pages 1039\u20131046. Citeseer, 1987."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.5555\/2486788.2486797"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/1370018.1370020"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859092"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.5555\/1121596"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.879820"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100125"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2009.36"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134337"}],"event":{"name":"ICSE '14: 36th International Conference on Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","TCSE IEEE Computer Society's Tech. Council on Software Engin."],"location":"Hyderabad India","acronym":"ICSE '14"},"container-title":["Proceedings of the 36th International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2568225.2568264","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,9]],"date-time":"2023-01-09T12:03:57Z","timestamp":1673265837000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2568225.2568264"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,5,31]]},"references-count":49,"alternative-id":["10.1145\/2568225.2568264","10.1145\/2568225"],"URL":"http:\/\/dx.doi.org\/10.1145\/2568225.2568264","relation":{},"subject":[],"published":{"date-parts":[[2014,5,31]]},"assertion":[{"value":"2014-05-31","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}
