{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:26:29Z","timestamp":1750220789052,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,6,29]],"date-time":"2020-06-29T00:00:00Z","timestamp":1593388800000},"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":[[2020,6,29]]},"DOI":"10.1145\/3387939.3391568","type":"proceedings-article","created":{"date-parts":[[2020,9,19]],"date-time":"2020-09-19T02:13:13Z","timestamp":1600481593000},"page":"78-84","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["Towards bridging the gap between control and self-adaptive system properties"],"prefix":"10.1145","author":[{"given":"Javier","family":"C\u00e1mara","sequence":"first","affiliation":[{"name":"University of York, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandro V.","family":"Papadopoulos","sequence":"additional","affiliation":[{"name":"M\u00e4lardalen University, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"Vogel","sequence":"additional","affiliation":[{"name":"Humboldt University Berlin, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Danny","family":"Weyns","sequence":"additional","affiliation":[{"name":"KU Leuven, Belgium; Linnaeus, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Garlan","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shihong","family":"Huang","sequence":"additional","affiliation":[{"name":"Florida Atlantic University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kenji","family":"Tei","sequence":"additional","affiliation":[{"name":"Waseda University, Japan"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,9,18]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"[n.d.]. Rice University Bidding System. ([n.d.]). http:\/\/rubis.ow2.org."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/MCS.2003.1200252"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3105748"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.2307\/j.ctvcm4gdk"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEAMS.2012.6224391"},{"key":"e_1_3_2_1_6_1","volume-title":"Workshop","volume":"131","author":"Clarke E.","year":"1981","unstructured":"E. Clarke and E Emerson. 1981. Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic. In Logics of Programs, Workshop, Yorktown Heights, New York, USA, May 1981 (Lecture Notes in Computer Science), D. Kozen (Ed.), Vol. 131. Springer, 52--71."},{"key":"e_1_3_2_1_7_1","volume-title":"CAV 2017, Heidelberg, Germany, July 24--28, 2017, Proceedings, Part II (Lecture Notes in Computer Science), R. Majumdar and V. Kuncak (Eds.)","volume":"10427","author":"Dehnert C.","unstructured":"C. Dehnert, S. Junges, J.P. Katoen, and M. Volk. 2017. A Storm is Coming: A Modern Probabilistic Model Checker. In Computer Aided Verification - 29th International Conference, CAV 2017, Heidelberg, Germany, July 24--28, 2017, Proceedings, Part II (Lecture Notes in Computer Science), R. Majumdar and V. Kuncak (Eds.), Vol. 10427. Springer, 592--600."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-011-0207-2"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/3024188"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01211866"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","unstructured":"J. Hellerstein Y. Diao S. Parekh and D. Tilbury. 2004. Feedback Control of Computing Systems. John Wiley Sons Inc. USA.","DOI":"10.1002\/047166880X"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICAC.2019.00015"},{"key":"e_1_3_2_1_13_1","volume-title":"36th International Conference on Software Engineering, ICSE '14","author":"Klein C.","year":"2014","unstructured":"C. Klein, M. Maggio, K.E. \u00c5rz\u00e9n, and F. Hern\u00e1ndez-Rodriguez. 2014. Brownout: building more robust cloud applications. In 36th International Conference on Software Engineering, ICSE '14, Hyderabad, India - May 31 - June 07, 2014. 700--711."},{"key":"e_1_3_2_1_14_1","volume-title":"CAV","volume":"6806","author":"Kwiatkowska M.","unstructured":"M. Kwiatkowska, G. Norman, and D. Parker. 2011. PRISM 4.0: Verification of Probabilistic Real-Time Systems. In Computer Aided Verification - 23rd International Conference, CAV, Vol. 6806. Springer, 585--591."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/3106237.3106247"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/DCDS.2011.5970316"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","unstructured":"C. Raibulet F. Arcelli Fontana R. Capilla and C. Carrillo. 2017. Chapter 13 - An Overview on Quality Evaluation of Self-Adaptive Systems. In Managing Tradeoffs in Adaptable Software Architectures Ivan Mistrik Nour Ali Rick Kazman John Grundy and Bradley Schmerl (Eds.). Morgan Kaufmann Boston 325--352. 10.1016\/B978-0-12-802855-1.00013-7","DOI":"10.1016\/B978-0-12-802855-1.00013-7"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.peva.2009.12.001"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2017.2704579"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950301"},{"volume-title":"Self-Adaptation of Software Using Automatically Generated Control-Theoretical Solutions. In Engineering Adaptive Software Systems - Communications of NII Shonan Meetings. 35--55","author":"Shevtsov S.","key":"e_1_3_2_1_22_1","unstructured":"S. Shevtsov, D. Weyns, and M. Maggio. 2019. Self-Adaptation of Software Using Automatically Generated Control-Theoretical Solutions. In Engineering Adaptive Software Systems - Communications of NII Shonan Meetings. 35--55."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/MRA.2012.2192817"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1988008.1988020"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2007.1051"},{"volume-title":"Handbook of Software Engineering","author":"Weyns D.","key":"e_1_3_2_1_26_1","unstructured":"D. Weyns. 2018. Software Engineering of Self-Adaptive Systems. In Handbook of Software Engineering, Richard Taylor, Kyo Chul Kang, and Sungdeok Cha (Eds.). Springer. https:\/\/lirias.kuleuven.be\/handle\/123456789\/578653"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"crossref","unstructured":"D. Weyns and T. Ahmad. 2013. Claims and Evidence for Architecture-Based Self-adaptation: A Systematic Literature Review. In Software Architecture Khalil Drira (Ed.). Springer Berlin Heidelberg Berlin Heidelberg 249--265.","DOI":"10.1007\/978-3-642-39031-9_22"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-48989-6_43"}],"event":{"name":"SEAMS '20: IEEE\/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"],"location":"Seoul Republic of Korea","acronym":"SEAMS '20"},"container-title":["Proceedings of the IEEE\/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3387939.3391568","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3387939.3391568","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:41:42Z","timestamp":1750200102000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3387939.3391568"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6,29]]},"references-count":28,"alternative-id":["10.1145\/3387939.3391568","10.1145\/3387939"],"URL":"https:\/\/doi.org\/10.1145\/3387939.3391568","relation":{},"subject":[],"published":{"date-parts":[[2020,6,29]]},"assertion":[{"value":"2020-09-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}