{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,10]],"date-time":"2025-10-10T07:19:07Z","timestamp":1760080747077,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":46,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,5,18]],"date-time":"2022-05-18T00:00:00Z","timestamp":1652832000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/"}],"funder":[{"DOI":"10.13039\/501100011075","name":"Wallenberg AI, Autonomous Systems and Software Program (WASP)","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100011075","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Linz Institute of Technology"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,5,18]]},"DOI":"10.1145\/3524844.3528063","type":"proceedings-article","created":{"date-parts":[[2022,8,15]],"date-time":"2022-08-15T22:07:50Z","timestamp":1660601270000},"page":"98-105","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Run-time adaptation of quality attributes for automated planning"],"prefix":"10.1145","author":[{"given":"Rebekka","family":"Wohlrab","sequence":"first","affiliation":[{"name":"Carnegie Mellon University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"R\u00f4mulo","family":"Meira-G\u00f3es","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Vierhauser","sequence":"additional","affiliation":[{"name":"Johannes Kepler University Linz, Linz, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2022,8,15]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2018.2885058"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2010.25"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-00560-7_27"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1810295.1810329"},{"volume-title":"Foundations of Software Technology and Theoretical Computer Science","author":"Bianco Andrea","key":"e_1_3_2_1_5_1","unstructured":"Andrea Bianco and Luca de Alfaro . 1995. Model checking of probabilistic and nondeterministic systems . In Foundations of Software Technology and Theoretical Computer Science , P. S. Thiagarajan (Ed.). Springer Berlin Heidelberg , Berlin, Heidelberg , 499--513. Andrea Bianco and Luca de Alfaro. 1995. Model checking of probabilistic and nondeterministic systems. In Foundations of Software Technology and Theoretical Computer Science, P. S. Thiagarajan (Ed.). Springer Berlin Heidelberg, Berlin, Heidelberg, 499--513."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3204459"},{"volume-title":"A Goal-Based Modeling Approach to Develop Requirements of an Adaptive System with Environmental Uncertainty","author":"Cheng Betty H. C.","key":"e_1_3_2_1_7_1","unstructured":"Betty H. C. Cheng , Pete Sawyer , Nelly Bencomo , and Jon Whittle . 2009. A Goal-Based Modeling Approach to Develop Requirements of an Adaptive System with Environmental Uncertainty . In Model Driven Engineering Languages and Systems, Andy Sch\u00fcrr and Bran Selic (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 468--483. Betty H. C. Cheng, Pete Sawyer, Nelly Bencomo, and Jon Whittle. 2009. A Goal-Based Modeling Approach to Develop Requirements of an Adaptive System with Environmental Uncertainty. In Model Driven Engineering Languages and Systems, Andy Sch\u00fcrr and Bran Selic (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 468--483."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1137677.1137679"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2015.12.006"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2013.37"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/WICSA.2014.18"},{"volume-title":"International school on formal methods for the design of computer, communication and software systems","author":"Forejt Vojt\u011bch","key":"e_1_3_2_1_12_1","unstructured":"Vojt\u011bch Forejt , Marta Kwiatkowska , Gethin Norman , and David Parker . 2011. Automated verification techniques for probabilistic systems . In International school on formal methods for the design of computer, communication and software systems . Springer , 53--113. Vojt\u011bch Forejt, Marta Kwiatkowska, Gethin Norman, and David Parker. 2011. Automated verification techniques for probabilistic systems. In International school on formal methods for the design of computer, communication and software systems. Springer, 53--113."},{"volume-title":"Proc. of the 17th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'11)","author":"Forejt V.","key":"e_1_3_2_1_13_1","unstructured":"V. Forejt , M. Kwiatkowska , G. Norman , D. Parker , and H. Qu . 2011. Quantitative Multi-Objective Verification for Probabilistic Systems . In Proc. of the 17th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'11) . Springer, 112--127. V. Forejt, M. Kwiatkowska, G. Norman, D. Parker, and H. Qu. 2011. Quantitative Multi-Objective Verification for Probabilistic Systems. In Proc. of the 17th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'11). Springer, 112--127."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2016.02.028"},{"volume-title":"Dealing with Non-Functional Requirements for Adaptive Systems via Dynamic Software Product-Lines","author":"Ghezzi Carlo","key":"e_1_3_2_1_15_1","unstructured":"Carlo Ghezzi and Amir Molzam Sharifloo . 2013. Dealing with Non-Functional Requirements for Adaptive Systems via Dynamic Software Product-Lines . Springer Berlin Heidelberg , 191--213. Carlo Ghezzi and Amir Molzam Sharifloo. 2013. Dealing with Non-Functional Requirements for Adaptive Systems via Dynamic Software Product-Lines. Springer Berlin Heidelberg, 191--213."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEAMS.2015.13"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02161-9_6"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2593929.2593944"},{"volume-title":"A software lifecycle process to support consistent evolutions","author":"Inverardi Paola","key":"e_1_3_2_1_19_1","unstructured":"Paola Inverardi and Marco Mori . 2013. A software lifecycle process to support consistent evolutions . In Self-Adaptive Systems, R. de Lemos (Ed.). Vol. 7475 LNCS. Springer Berlin Heidelberg , 239--264. Paola Inverardi and Marco Mori. 2013. A software lifecycle process to support consistent evolutions. In Self-Adaptive Systems, R. de Lemos (Ed.). Vol. 7475 LNCS. Springer Berlin Heidelberg, 239--264."},{"key":"e_1_3_2_1_20_1","volume-title":"Planning and acting in partially observable stochastic domains. Artificial intelligence 101, 1--2","author":"Kaelbling Leslie Pack","year":"1998","unstructured":"Leslie Pack Kaelbling , Michael L Littman , and Anthony R Cassandra . 1998. Planning and acting in partially observable stochastic domains. Artificial intelligence 101, 1--2 ( 1998 ), 99--134. Leslie Pack Kaelbling, Michael L Littman, and Anthony R Cassandra. 1998. Planning and acting in partially observable stochastic domains. Artificial intelligence 101, 1--2 (1998), 99--134."},{"key":"e_1_3_2_1_21_1","volume-title":"Optimizing the Utility Function-Based Self-adaptive Behavior of Context-Aware Systems Using User Feedback. In OTM","author":"Kakousis Konstantinos","year":"2008","unstructured":"Konstantinos Kakousis , Nearchos Paspallis , and George Papadopoulos . 2008 . Optimizing the Utility Function-Based Self-adaptive Behavior of Context-Aware Systems Using User Feedback. In OTM 2008. 657--674. Konstantinos Kakousis, Nearchos Paspallis, and George Papadopoulos. 2008. Optimizing the Utility Function-Based Self-adaptive Behavior of Context-Aware Systems Using User Feedback. In OTM 2008. 657--674."},{"key":"e_1_3_2_1_22_1","volume-title":"Viewing Autonomic Computing through the Lens of Embodied Artificial Intelligence: A Self-Debate. Keynote at the 16th Symp. on Soft. Eng. for Adaptive and Self-Managing Syst. (SEAMS","author":"Kephart Jeffrey","year":"2021","unstructured":"Jeffrey Kephart . 2021. Viewing Autonomic Computing through the Lens of Embodied Artificial Intelligence: A Self-Debate. Keynote at the 16th Symp. on Soft. Eng. for Adaptive and Self-Managing Syst. (SEAMS 2021 ). Jeffrey Kephart. 2021. Viewing Autonomic Computing through the Lens of Embodied Artificial Intelligence: A Self-Debate. Keynote at the 16th Symp. on Soft. Eng. for Adaptive and Self-Managing Syst. (SEAMS 2021)."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3194133.3194145"},{"key":"e_1_3_2_1_24_1","unstructured":"H.S. Kushner. 1971. Introduction to Stochastic Control. Holt Rinehart and Winston.  H.S. Kushner. 1971. Introduction to Stochastic Control. Holt Rinehart and Winston."},{"key":"e_1_3_2_1_25_1","volume-title":"Proc. 23rd Int. Conf. on Computer Aided Verification (CAV'11)","volume":"591","author":"Kwiatkowska M.","unstructured":"M. Kwiatkowska , G. Norman , and D. Parker . 2011. PRISM 4.0: Verification of Probabilistic Real-time Systems . In Proc. 23rd Int. Conf. on Computer Aided Verification (CAV'11) (LNCS, Vol. 6806), G. Gopalakrishnan and S. Qadeer (Eds.). Springer, 585-- 591 . M. Kwiatkowska, G. Norman, and D. Parker. 2011. PRISM 4.0: Verification of Probabilistic Real-time Systems. In Proc. 23rd Int. Conf. on Computer Aided Verification (CAV'11) (LNCS, Vol. 6806), G. Gopalakrishnan and S. Qadeer (Eds.). Springer, 585--591."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1977.229904"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/PerComWorkshops51409.2021.9431066"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS.2018.00014"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2017\/776"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-015-0236-0"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/SASO.2016.19"},{"key":"e_1_3_2_1_32_1","volume-title":"Proc. of the 22nd Int. Conf. on Automated Planning and Scheduling.","author":"Parkinson Simon","year":"2012","unstructured":"Simon Parkinson , Andrew Longstaff , Andrew Crampton , and Peter Gregory . 2012 . The application of automated planning to machine tool calibration . In Proc. of the 22nd Int. Conf. on Automated Planning and Scheduling. Simon Parkinson, Andrew Longstaff, Andrew Crampton, and Peter Gregory. 2012. The application of automated planning to machine tool calibration. In Proc. of the 22nd Int. Conf. on Automated Planning and Scheduling."},{"key":"e_1_3_2_1_33_1","volume-title":"Proc. of the Int. Symp. on Applications of Graph Transformations with Industrial Relevance. Springer, 2--2.","author":"Proctor Mark","year":"2011","unstructured":"Mark Proctor . 2011 . Drools: a rule engine for complex event processing . In Proc. of the Int. Symp. on Applications of Graph Transformations with Industrial Relevance. Springer, 2--2. Mark Proctor. 2011. Drools: a rule engine for complex event processing. In Proc. of the Int. Symp. on Applications of Graph Transformations with Industrial Relevance. Springer, 2--2."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICRE.1994.292383"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/3167132.3167143"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/RE51729.2021.00065"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2010.21"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1009717525330"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-41533-3_34"},{"key":"e_1_3_2_1_40_1","volume-title":"Proc. of the 3rd Int. Conf. on Software and Data Technologies. 36--44","author":"Sousa Jo\u00e3o Pedro","year":"2008","unstructured":"Jo\u00e3o Pedro Sousa , Rajesh Krishna Balan , Vahe Poladian , David Garlan , and Mahadev Satyanarayanan . 2008 . User guidance of resource-adaptive systems . In Proc. of the 3rd Int. Conf. on Software and Data Technologies. 36--44 . Jo\u00e3o Pedro Sousa, Rajesh Krishna Balan, Vahe Poladian, David Garlan, and Mahadev Satyanarayanan. 2008. User guidance of resource-adaptive systems. In Proc. of the 3rd Int. Conf. on Software and Data Technologies. 36--44."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/3196478.3196488"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-3157-6_2"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.730542"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEAMS.2015.27"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00766-010-0101-0"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"crossref","unstructured":"Rebekka Wohlrab and David Garlan. 2021. A Negotiation Support System for Defining Utility Functions for Multi-Stakeholder Self-Adaptive Systems. Requirements Eng. (2021).  Rebekka Wohlrab and David Garlan. 2021. A Negotiation Support System for Defining Utility Functions for Multi-Stakeholder Self-Adaptive Systems. Requirements Eng. (2021).","DOI":"10.1007\/s00766-021-00368-y"}],"event":{"name":"SEAMS '22: 17th International Symposium on Software Engineering for Adaptive and Self-Managing Systems","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"],"location":"Pittsburgh Pennsylvania","acronym":"SEAMS '22"},"container-title":["Proceedings of the 17th Symposium on Software Engineering for Adaptive and Self-Managing Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3524844.3528063","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3524844.3528063","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:09:36Z","timestamp":1750183776000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3524844.3528063"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,5,18]]},"references-count":46,"alternative-id":["10.1145\/3524844.3528063","10.1145\/3524844"],"URL":"https:\/\/doi.org\/10.1145\/3524844.3528063","relation":{},"subject":[],"published":{"date-parts":[[2022,5,18]]},"assertion":[{"value":"2022-08-15","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}