{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:11:16Z","timestamp":1750306276144,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":47,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,5,14]],"date-time":"2016-05-14T00:00:00Z","timestamp":1463184000000},"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":[[2016,5,14]]},"DOI":"10.1145\/2897053.2897060","type":"proceedings-article","created":{"date-parts":[[2016,5,22]],"date-time":"2016-05-22T02:39:36Z","timestamp":1463884776000},"page":"140-150","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":10,"title":["Symbolic performance adaptation"],"prefix":"10.1145","author":[{"given":"Emilio","family":"Incerto","sequence":"first","affiliation":[{"name":"Gran Sasso Science Institute, L'Aquila, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mirco","family":"Tribastone","sequence":"additional","affiliation":[{"name":"IMT School for Advanced Studies, Lucca, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Catia","family":"Trubiani","sequence":"additional","affiliation":[{"name":"Gran Sasso Science Institute, L'Aquila, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2016,5,14]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-10885-8_7"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/1768017.1768019"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1071021.1071025"},{"key":"e_1_3_2_1_4_1","first-page":"83","volume-title":"SEAMS","author":"Barna C.","year":"2015","unstructured":"C. Barna , H. Ghanbari , M. Litoiu , and M. Shtern . Hogna: A Platform for Self-Adaptive Applications in Cloud Environments . In SEAMS , pages 83 -- 87 , 2015 . C. Barna, H. Ghanbari, M. Litoiu, and M. Shtern. Hogna: A Platform for Self-Adaptive Applications in Cloud Environments. In SEAMS, pages 83--87, 2015."},{"key":"e_1_3_2_1_5_1","volume-title":"Roberto Sebastiani, and C. Tinelli. Handbook of Satisfiability","author":"Barrett C.","year":"2009","unstructured":"C. Barrett , R. Sebastiani , S. A. Seshia , S. A. S. Cesare Tinelli Clark Barrett , Roberto Sebastiani, and C. Tinelli. Handbook of Satisfiability : Volume 185 Frontiers in Artificial Intelligence and Applications, chapter Satisfiability Modulo Theories . 2009 . C. Barrett, R. Sebastiani, S. A. Seshia, S. A. S. Cesare Tinelli Clark Barrett, Roberto Sebastiani, and C. Tinelli. Handbook of Satisfiability: Volume 185 Frontiers in Artificial Intelligence and Applications, chapter Satisfiability Modulo Theories. 2009."},{"key":"e_1_3_2_1_6_1","volume-title":"Queueing networks and Markov chains: modeling and performance evaluation with computer science applications","author":"Bolch G.","year":"2005","unstructured":"G. Bolch , S. Greiner , H. de Meer , and K. Trivedi . Queueing networks and Markov chains: modeling and performance evaluation with computer science applications . Wiley , 2005 . G. Bolch, S. Greiner, H. de Meer, and K. Trivedi. Queueing networks and Markov chains: modeling and performance evaluation with computer science applications. Wiley, 2005."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-005-9004-z"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.4108\/icst.Valuetools.2014.258214"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2008.4605924"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36742-7_7"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/1999250"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/350391.350406"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(02)00033-3"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/0026-2714(82)90033-6"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35813-5_1"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/1792734.1792766"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-10452-7_3"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/998676.999525"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070513"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2602576.2602585"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100064"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/2818754.2818781"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2015.2421318"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2593929.2593932"},{"key":"e_1_3_2_1_25_1","first-page":"46","volume-title":"SEAMS","author":"Herbst N.","year":"2015","unstructured":"N. Herbst , S. Kounev , A. Weber , and H. Groenda . BUNGEE: An Elasticity Benchmark for Self-Adaptive IaaS Cloud Environments . In SEAMS , pages 46 -- 56 , 2015 . N. Herbst, S. Kounev, A. Weber, and H. Groenda. BUNGEE: An Elasticity Benchmark for Self-Adaptive IaaS Cloud Environments. In SEAMS, pages 46--56, 2015."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2593929.2593944"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2804371.2804375"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2593929.2593940"},{"key":"e_1_3_2_1_29_1","first-page":"33","volume-title":"Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems, number 6662 in Lecture Notes in Computer Science","author":"Kang E.","year":"2010","unstructured":"E. Kang , E. Jackson , and W. Schulte . An Approach for Effective Design Space Exploration . In Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems, number 6662 in Lecture Notes in Computer Science , pages 33 -- 54 . Springer Berlin Heidelberg , Mar. 2010 . E. Kang, E. Jackson, and W. Schulte. An Approach for Effective Design Space Exploration. In Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems, number 6662 in Lecture Notes in Computer Science, pages 33--54. Springer Berlin Heidelberg, Mar. 2010."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-54804-8_7"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2015.16"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.2307\/3212147"},{"key":"e_1_3_2_1_33_1","first-page":"241","volume-title":"International Computer Measurement Group Conference","author":"Menasc\u00e9 D. A.","year":"2008","unstructured":"D. A. Menasc\u00e9 . Computing missing service demand parameters for performance models . In International Computer Measurement Group Conference , pages 241 -- 248 , 2008 . D. A. Menasc\u00e9. Computing missing service demand parameters for performance models. In International Computer Measurement Group Conference, pages 241--248, 2008."},{"issue":"12","key":"e_1_3_2_1_34_1","first-page":"40","article-title":"Quality flaws: Issues and challenges in software development","volume":"3","author":"Mohan P.","year":"2012","unstructured":"P. Mohan , A. U. Shankar , and K. JayaSriDevi . Quality flaws: Issues and challenges in software development . Computer Engineering and Intelligent Systems , 3 ( 12 ): 40 -- 48 , 2012 . P. Mohan, A. U. Shankar, and K. JayaSriDevi. Quality flaws: Issues and challenges in software development. Computer Engineering and Intelligent Systems, 3(12):40--48, 2012.","journal-title":"Computer Engineering and Intelligent Systems"},{"key":"e_1_3_2_1_35_1","first-page":"89","volume-title":"International Symposium on Formal Aspects of Component Software","author":"Moreno J. C.","year":"2014","unstructured":"J. C. Moreno , A. Lopes , D. Garlan , and B. R. Schmerl . Impact models for architecture-based self-adaptive systems . In International Symposium on Formal Aspects of Component Software , pages 89 -- 107 , 2014 . J. C. Moreno, A. Lopes, D. Garlan, and B. R. Schmerl. Impact models for architecture-based self-adaptive systems. In International Symposium on Formal Aspects of Component Software, pages 89--107, 2014."},{"key":"e_1_3_2_1_36_1","first-page":"35","volume-title":"SEAMS","author":"Nikravesh A.","year":"2015","unstructured":"A. Nikravesh , S. Ajila , and C.-H. Lung . Towards an Autonomic Auto-scaling Prediction System for Cloud Resource Provisioning . In SEAMS , pages 35 -- 45 , 2015 . A. Nikravesh, S. Ajila, and C.-H. Lung. Towards an Autonomic Auto-scaling Prediction System for Cloud Resource Provisioning. In SEAMS, pages 35--45, 2015."},{"key":"e_1_3_2_1_37_1","first-page":"2","volume-title":"SEAMS","author":"Sabatucci L.","year":"2015","unstructured":"L. Sabatucci and M. Cossentino . From Means-End Analysis to Proactive Means-End Reasoning . In SEAMS , pages 2 -- 12 , 2015 . L. Sabatucci and M. Cossentino. From Means-End Analysis to Proactive Means-End Reasoning. In SEAMS, pages 2--12, 2015."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.peva.2010.01.006"},{"key":"e_1_3_2_1_39_1","volume-title":"Markov chains, queues, and simulation: the mathematical basis of performance modeling","author":"Stewart W. J.","year":"2009","unstructured":"W. J. Stewart . Probability , Markov chains, queues, and simulation: the mathematical basis of performance modeling . Princeton University Press , 2009 . W. J. Stewart. Probability, Markov chains, queues, and simulation: the mathematical basis of performance modeling. Princeton University Press, 2009."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/3149.3156"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/2580950"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/2465478.2465487"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/1071690.1064252"},{"key":"e_1_3_2_1_44_1","first-page":"109","volume-title":"SEAMS","author":"Von Kistowski J.","year":"2015","unstructured":"J. Von Kistowski , N. Herbst , D. Zoller , S. Kounev , and A. Hotho . Modeling and extracting load intensity profiles . In SEAMS , pages 109 -- 119 , 2015 . J. Von Kistowski, N. Herbst, D. Zoller, S. Kounev, and A. Hotho. Modeling and extracting load intensity profiles. In SEAMS, pages 109--119, 2015."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.71"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/QEST.2005.40"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1145\/237432.237434"}],"event":{"name":"ICSE '16: 38th International Conference on Software Engineering","sponsor":["ACM Association for Computing Machinery","SIGSOFT ACM Special Interest Group on Software Engineering","IEEE-CS\\DATC IEEE Computer Society","TCSE IEEE Computer Society's Tech. Council on Software Engin."],"location":"Austin Texas","acronym":"ICSE '16"},"container-title":["Proceedings of the 11th International Symposium on Software Engineering for Adaptive and Self-Managing Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2897053.2897060","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2897053.2897060","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:38:47Z","timestamp":1750221527000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2897053.2897060"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,5,14]]},"references-count":47,"alternative-id":["10.1145\/2897053.2897060","10.1145\/2897053"],"URL":"https:\/\/doi.org\/10.1145\/2897053.2897060","relation":{},"subject":[],"published":{"date-parts":[[2016,5,14]]},"assertion":[{"value":"2016-05-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}