{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,1]],"date-time":"2026-06-01T20:44:44Z","timestamp":1780346684506,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":72,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,5,31]],"date-time":"2014-05-31T00:00:00Z","timestamp":1401494400000},"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":[[2014,5,31]]},"DOI":"10.1145\/2568225.2568272","type":"proceedings-article","created":{"date-parts":[[2014,5,20]],"date-time":"2014-05-20T13:48:00Z","timestamp":1400593680000},"page":"299-310","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":108,"title":["Automated design of self-adaptive software with control-theoretical formal guarantees"],"prefix":"10.1145","author":[{"given":"Antonio","family":"Filieri","sequence":"first","affiliation":[{"name":"University of Stuttgart, Germany"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Henry","family":"Hoffmann","sequence":"additional","affiliation":[{"name":"University of Chicago, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Martina","family":"Maggio","sequence":"additional","affiliation":[{"name":"Lund University, Sweden"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2014,5,31]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.64"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1542476.1542481"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2010.03.045"},{"key":"e_1_3_2_1_4_1","volume-title":"2nd.","author":"Astrom K. J.","year":"1994","unstructured":"K. J. Astrom and B. Wittenmark . Adaptive Control . 2nd. 1994 . isbn: 0201558661. K. J. Astrom and B. Wittenmark. Adaptive Control. 2nd. 1994. isbn: 0201558661."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1807128.1807150"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806596.1806620"},{"key":"e_1_3_2_1_7_1","first-page":"142","volume-title":"Middleware.","author":"Ben Mabrouk N.","year":"2009","unstructured":"N. Ben Mabrouk \u201c QoS-Aware Service Composition in Dynamic Service Oriented Environments \u201d. In: Middleware. Vol. 5896 . Lecture Notes in Computer Science . 2009 , pp. 123\u2013 142 . N. Ben Mabrouk et al. \u201cQoS-Aware Service Composition in Dynamic Service Oriented Environments\u201d. In: Middleware. Vol. 5896. Lecture Notes in Computer Science. 2009, pp. 123\u2013142."},{"issue":"6","key":"e_1_3_2_1_8_1","first-page":"272","article-title":"Identification of nonlinear systems: a survey","volume":"127","author":"Billings S.","year":"1980","unstructured":"S. Billings . \u201c Identification of nonlinear systems: a survey \u201d. In: CTA 127 . 6 ( 1980 ), pp. 272 \u2013 285 . S. Billings. \u201cIdentification of nonlinear systems: a survey\u201d. In: CTA 127.6 (1980), pp. 272\u2013285.","journal-title":"CTA"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/MICRO.2008.4771801"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02161-9_3"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2330667.2330686"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1068009.1068189"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1147\/rd.502.0239"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02161-9_1"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1327452.1327492"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.2005.60"},{"key":"e_1_3_2_1_17_1","volume-title":"Modern control systems","author":"Dorf R.","year":"2008","unstructured":"R. Dorf and R. Bishop . Modern control systems . Prentice Hall , 2008 . isbn: 0132270285. R. Dorf and R. Bishop. Modern control systems. Prentice Hall, 2008. isbn: 0132270285."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1941553.1941589"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/CLOUD.2010.55"},{"key":"e_1_3_2_1_20_1","first-page":"5","article-title":"Quantifying the Impact of Input Data Sets on Program Behavior and its Applications","author":"Eeckhout L.","year":"2003","unstructured":"L. Eeckhout \u201c Quantifying the Impact of Input Data Sets on Program Behavior and its Applications \u201d. In: J. Instruction-Level Parallelism 5 ( 2003 ). L. Eeckhout et al. \u201cQuantifying the Impact of Input Data Sets on Program Behavior and its Applications\u201d. In: J. Instruction-Level Parallelism 5 (2003).","journal-title":"J. Instruction-Level Parallelism"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03711-5"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985840"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100064"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEAMS.2012.6224390"},{"key":"e_1_3_2_1_25_1","volume-title":"Feedback Control of Dynamic Systems","author":"Franklin G. F.","year":"2009","unstructured":"G. F. Franklin Feedback Control of Dynamic Systems . 2009 . G. F. Franklin et al. Feedback Control of Dynamic Systems. 2009."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/DEXA.2005.173"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/975344"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.2005.60"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1710115.1710123"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.14778\/3402707.3402746"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2228360.2228409"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2525526.2525854"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1950365.1950390"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.5555\/2555754.2555773"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1380584.1380585"},{"key":"e_1_3_2_1_36_1","volume-title":"IBM Autonomic Computing website. http: \/\/www.research.ibm.com\/autonomic\/","author":"IBM Inc.","year":"2009","unstructured":"IBM Inc. IBM Autonomic Computing website. http: \/\/www.research.ibm.com\/autonomic\/ . 2009 . IBM Inc. IBM Autonomic Computing website. http: \/\/www.research.ibm.com\/autonomic\/. 2009."},{"key":"e_1_3_2_1_37_1","volume-title":"www. intel. com \/ assets\/pdf\/whitepaper\/ras.pdf","author":"Intel Inc. Reliability, Availability, and Serviceability for the Always-on Enterprise.","year":"2005","unstructured":"Intel Inc. Reliability, Availability, and Serviceability for the Always-on Enterprise. www. intel. com \/ assets\/pdf\/whitepaper\/ras.pdf . 2005 . Intel Inc. Reliability, Availability, and Serviceability for the Always-on Enterprise. www. intel. com \/ assets\/pdf\/whitepaper\/ras.pdf. 2005."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/1273440.1250686"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/11575771_41"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.5555\/1036763"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/PDCAT.2012.125"},{"key":"e_1_3_2_1_42_1","first-page":"15","volume-title":"Designing controllable computer systems","author":"Karamanolis C.","year":"2005","unstructured":"C. Karamanolis \u201c Designing controllable computer systems \u201d. In : HotOS. 2005 , pp. 9\u2013 15 . C. Karamanolis et al. \u201cDesigning controllable computer systems\u201d. In: HotOS. 2005, pp. 9\u201315."},{"key":"e_1_3_2_1_43_1","first-page":"14","volume-title":"Run-time automatic performance tuning for multicore applications","author":"Karcher T.","year":"2011","unstructured":"T. Karcher and V. Pankratius . \u201c Run-time automatic performance tuning for multicore applications \u201d. In : EUROPAR. 2011 , pp. 3\u2013 14 . T. Karcher and V. Pankratius. \u201cRun-time automatic performance tuning for multicore applications\u201d. In: EUROPAR. 2011, pp. 3\u201314."},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1160055"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1007\/s11280-007-0030-0"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/FOSE.2007.19"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/1217935.1217949"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1109\/L-CA.2003.6"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10586-007-0022-y"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/2259016.2259022"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2006.123"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2011.2177499"},{"key":"e_1_3_2_1_53_1","first-page":"2013","article-title":"ARPE: A Tool To Build Equation Models of Computing Systems","author":"Maggio M.","year":"2013","unstructured":"M. Maggio and H. Hoffmann . \u201c ARPE: A Tool To Build Equation Models of Computing Systems \u201d. In: Feedback Computing 2013 . 2013 . M. Maggio and H. Hoffmann. \u201cARPE: A Tool To Build Equation Models of Computing Systems\u201d. In: Feedback Computing 2013. 2013.","journal-title":"Feedback Computing"},{"key":"e_1_3_2_1_54_1","first-page":"3741","volume-title":"Controlling software applications via resource allocation within the heartbeats framework","author":"Maggio M.","year":"2010","unstructured":"M. Maggio \u201c Controlling software applications via resource allocation within the heartbeats framework \u201d. In : CDC. 2010 , pp. 3736\u2013 3741 . M. Maggio et al. \u201cControlling software applications via resource allocation within the heartbeats framework\u201d. In: CDC. 2010, pp. 3736\u20133741."},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086228.1086288"},{"key":"e_1_3_2_1_56_1","unstructured":"Oracle Corp. Automatic Workload Repository (AWR) in Oracle Database 10g. http : \/ \/ www. oracle - base. com \/ articles \/ 10g \/ AutomaticWorkloadRepository10g.php.  Oracle Corp. Automatic Workload Repository (AWR) in Oracle Database 10g. http : \/ \/ www. oracle - base. com \/ articles \/ 10g \/ AutomaticWorkloadRepository10g.php."},{"key":"e_1_3_2_1_57_1","first-page":"42","volume-title":"A systematic survey on the design of self-adaptive software systems using control engineering approaches","author":"Patikirikorala T.","year":"2012","unstructured":"T. Patikirikorala \u201c A systematic survey on the design of self-adaptive software systems using control engineering approaches \u201d. In : SEAMS. 2012 , pp. 33\u2013 42 . T. Patikirikorala et al. \u201cA systematic survey on the design of self-adaptive software systems using control engineering approaches\u201d. In: SEAMS. 2012, pp. 33\u201342."},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1145\/1944862.1944880"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISPA.2011.24"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-33078-0_30"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/1516533.1516538"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1145\/1322263.1322279"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/1508244.1508274"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1109\/CSSE.2008.1219"},{"key":"e_1_3_2_1_65_1","first-page":"1176","volume-title":"LPV model identification for Power Management of Web service Systems","author":"Tanelli M.","year":"2008","unstructured":"M. Tanelli \u201c LPV model identification for Power Management of Web service Systems \u201d. In : MSC. 2008 , pp. 1171\u2013 1176 . M. Tanelli et al. \u201cLPV model identification for Power Management of Web service Systems\u201d. In: MSC. 2008, pp. 1171\u20131176."},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065944.1065981"},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-29740-3_21"},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIP.2003.819861"},{"key":"e_1_3_2_1_69_1","doi-asserted-by":"publisher","DOI":"10.5555\/897831"},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1145\/1232722.1232728"},{"key":"e_1_3_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.11"},{"key":"e_1_3_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1145\/1496909.1496922"}],"event":{"name":"ICSE '14: 36th International Conference on Software Engineering","location":"Hyderabad India","acronym":"ICSE '14","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","TCSE IEEE Computer Society's Tech. Council on Software Engin."]},"container-title":["Proceedings of the 36th International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2568225.2568272","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2568225.2568272","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:10:30Z","timestamp":1750234230000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2568225.2568272"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,5,31]]},"references-count":72,"alternative-id":["10.1145\/2568225.2568272","10.1145\/2568225"],"URL":"https:\/\/doi.org\/10.1145\/2568225.2568272","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"}}]}}