{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,1]],"date-time":"2026-05-01T11:55:25Z","timestamp":1777636525046,"version":"3.51.4"},"reference-count":66,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,10]]},"DOI":"10.1109\/ase.2017.8115660","type":"proceedings-article","created":{"date-parts":[[2017,11,23]],"date-time":"2017-11-23T22:03:57Z","timestamp":1511474637000},"page":"485-496","source":"Crossref","is-referenced-by-count":21,"title":["Software performance self-adaptation through efficient model predictive control"],"prefix":"10.1109","author":[{"given":"Emilio","family":"Incerto","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mirco","family":"Tribastone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Catia","family":"Trubiani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1016\/j.peva.2010.01.006"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/1071021.1071025"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/CCGrid.2013.73"},{"key":"ref32","first-page":"1980","article-title":"Design and evaluation of load control in web server systems","volume":"3","author":"robertsson","year":"2004","journal-title":"American Control Conference"},{"key":"ref31","first-page":"81","article-title":"Queueing model based network server performance control","author":"sha","year":"2002","journal-title":"Real-time Systems Symposium (RTSS)"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-38189-8_18"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(02)00033-3"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786853"},{"key":"ref35","doi-asserted-by":"crossref","first-page":"585","DOI":"10.1007\/978-3-642-22110-1_47","article-title":"PRISM 4.0: Verification of probabilistic real-time systems","author":"kwiatkowska","year":"2011","journal-title":"International Conference on Computer-Aided Verification (CAV)"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1109\/CLOUD.2014.21"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1109\/FOSE.2007.19"},{"key":"ref62","first-page":"51","article-title":"Software engineering processes for self-adaptive systems","author":"andersson","year":"2010","journal-title":"Software Engineering for Self-Adaptive Systems II - Dagstuhl Seminar"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02161-9_1"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1109\/CLOUD.2011.42"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/0005-1098(89)90002-2"},{"key":"ref64","doi-asserted-by":"publisher","DOI":"10.1145\/2371536.2371562"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1145\/2737182.2737187"},{"key":"ref65","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950328"},{"key":"ref66","doi-asserted-by":"publisher","DOI":"10.1504\/IJCAET.2010.035389"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/TNSM.2009.04.090402"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2009.327"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2009.326"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/2020976.1958784"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-13621-4"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/FOSE.2007.32"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.2307\/3212147"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1145\/2693561.2693567"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568272"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1016\/j.peva.2013.01.001"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-13861-4_19"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1109\/WETICE.2013.63"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1145\/2602576.2602585"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1145\/2465478.2465487"},{"key":"ref57","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10885-8_7"},{"key":"ref56","first-page":"241","article-title":"Computing missing service demand parameters for performance models","author":"menasc\u00e9","year":"2008","journal-title":"Computer Measurement Group International Conference"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070513"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2015.41"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1145\/1958746.1958772"},{"key":"ref52","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2008.30"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786845"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35813-5"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-87875-9_35"},{"key":"ref12","first-page":"73","article-title":"Reliability of runtime quality-of-service evaluation using parametric model checking","author":"su","year":"2016","journal-title":"International Conference on Software Engineering (ICSE)"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54804-8_7"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2015.16"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2015.40"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/2897053.2897060"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/1071690.1064252"},{"key":"ref18","first-page":"106","article-title":"Adaptive control of multi-tiered web applications using queueing predictor","author":"liu","year":"2006","journal-title":"IEEE\/IFIP Network Operations and Management Symposium (NOMS)"},{"key":"ref19","first-page":"25","article-title":"Con-trolling quality of service in multi-tier web applications","author":"diao","year":"2006","journal-title":"International Conference on Distributed Computing Systems (ICDCS)"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606550"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606549"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2013.6606552"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/2330667.2330686"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568264"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568310"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1007\/s10107-008-0223-z"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2015.39"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1160055"},{"key":"ref45","author":"bolch","year":"2005","journal-title":"Queueing Networks and Markov Chains Modeling and Performance Evaluation with Computer Science Applications"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1016\/j.sorms.2012.08.001"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1137\/141000671"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.66"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1109\/SPLC.2011.27"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1145\/3149.3156"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1145\/2804371.2804375"}],"event":{"name":"2017 32nd IEEE\/ACM International Conference on Automated Software Engineering (ASE)","location":"Urbana, IL","start":{"date-parts":[[2017,10,30]]},"end":{"date-parts":[[2017,11,3]]}},"container-title":["2017 32nd IEEE\/ACM International Conference on Automated Software Engineering (ASE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8106906\/8115603\/08115660.pdf?arnumber=8115660","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,6]],"date-time":"2019-10-06T18:31:02Z","timestamp":1570386662000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8115660\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10]]},"references-count":66,"URL":"https:\/\/doi.org\/10.1109\/ase.2017.8115660","relation":{},"subject":[],"published":{"date-parts":[[2017,10]]}}}