{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,14]],"date-time":"2026-03-14T21:38:51Z","timestamp":1773524331549,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":67,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,6,27]],"date-time":"2020-06-27T00:00:00Z","timestamp":1593216000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100007515","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CCF-1755890,CCF-1618132"],"award-info":[{"award-number":["CCF-1755890,CCF-1618132"]}],"id":[{"id":"10.13039\/100007515","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,6,27]]},"DOI":"10.1145\/3377811.3380365","type":"proceedings-article","created":{"date-parts":[[2020,10,1]],"date-time":"2020-10-01T18:25:34Z","timestamp":1601576734000},"page":"1522-1534","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":12,"title":["Reducing run-time adaptation space via analysis of possible utility bounds"],"prefix":"10.1145","author":[{"given":"Clay","family":"Stevens","sequence":"first","affiliation":[{"name":"University of Nebraska-Lincoln"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hamid","family":"Bagheri","sequence":"additional","affiliation":[{"name":"University of Nebraska-Lincoln"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,10]]},"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.1145\/585265.585270"},{"key":"e_1_3_2_1_3_1","unstructured":"Martin Arlitt and Carey Williamson. 2004. Clark-Net HTTP. http:\/\/ita.ee.lbl.gov\/html\/contrib\/ClarkNet-HTTP.html"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2950290.2950337"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859026"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16129-2_27"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-016-0360-8"},{"key":"e_1_3_2_1_8_1","volume-title":"Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012)","author":"Bagheri Hamid","year":"2012","unstructured":"Hamid Bagheri, Kevin J. Sullivan, and Sang H. Son. 2012. Spacemaker: Practical Formal Synthesis of Tradeoff Spaces for Object-Relational Mapping. In Proceedings of the 24th International Conference on Software Engineering & Knowledge Engineering (SEKE'2012), Hotel Sofitel, Redwood City, San Francisco Bay, USA July 1-3, 2012. Knowledge Systems Institute Graduate School, 688--693."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568291"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2016.2587646"},{"key":"e_1_3_2_1_11_1","volume-title":"Dynamic Programming","author":"Bellman Richard","unstructured":"Richard Bellman. 2010. Dynamic Programming. Princeton University Press, Princeton, NJ, USA."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/2074094.2074098"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46675-9_16"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.92"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2593929.2593933"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2774222"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-013-0183-7"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3204459"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","unstructured":"Betty H. C. Cheng Rog\u00e9rio de Lemos Holger Giese Paola Inverardi and Jeff Magee (Eds.). 2009. Software Engineering for Self-Adaptive Systems: A Research Roadmap. Springer Berlin Heidelberg Berlin Heidelberg 1--26. 10.1007\/978-3-642-02161-9_1","DOI":"10.1007\/978-3-642-02161-9_1"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2012.02.060"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02161-9_4"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00165-017-0432-4"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEAMS.2015.16"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","unstructured":"Rog\u00e9rio de Lemos Holger Giese Hausi A. M\u00fcller and Mary Shaw (Eds.). 2013. Software Engineering for Self-Adaptive Systems: A Second Research Roadmap. Springer Berlin Heidelberg Berlin Heidelberg 1--32. 10.1007\/978-3-642-35813-5_1","DOI":"10.1007\/978-3-642-35813-5_1"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1882291.1882296"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2013.37"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025147"},{"key":"e_1_3_2_1_28_1","volume-title":"Bernardo and V. Issarny (Eds.)","volume":"6659","author":"Forejt V.","unstructured":"V. Forejt, M. Kwiatkowska, G. Norman, and D. Parker. 2011. Automated Verification Techniques for Probabilistic Systems. In Formal Methods for Eternal Networked Software Systems (SFM'11) (LNCS), M. Bernardo and V. Issarny (Eds.), Vol. 6659. Springer, 53--113."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2897053.2897059"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2004.175"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0004-3702(02)00376-4"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89897-9_11"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/2797433.2797439"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/505145.505149"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2010.01.049"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.pmcj.2014.09.009"},{"key":"e_1_3_2_1_37_1","volume-title":"Proc. 23rd International Conference on Computer Aided Verification (CAV'11)","volume":"6806","author":"Kwiatkowska M.","unstructured":"M. Kwiatkowska, G. Norman, and D. Parker. 2011. PRISM 4.0: Verification of Probabilistic Real-time Systems. In Proc. 23rd International Conference on Computer Aided Verification (CAV'11) (LNCS), G. Gopalakrishnan and S. Qadeer (Eds.), Vol. 6806. Springer, 585--591."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1016\/0165-0114(92)90318-X"},{"key":"e_1_3_2_1_39_1","volume-title":"Proceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS@ICSE 2019","author":"Litoiu Marin","year":"2019","unstructured":"Marin Litoiu, Siobh\u00e1n Clarke, and Kenji Tei (Eds.). 2019. Proceedings of the 14th International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS@ICSE 2019, Montreal, QC, Canada, May 25-31, 2019. ACM. https:\/\/dl.acm.org\/citation.cfm?id=3341527"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/CLOUD.2012.103"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-69035-3_25"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","unstructured":"Andreas Metzger Osama Sammodi and Klaus Pohl. 2013. Accurate Proactive Adaptation of Service-Oriented Systems. In Assurances for Self-Adaptive Systems - Principles Models and Techniques. 240--265. 10.1007\/978-3-642-36249-1_9","DOI":"10.1007\/978-3-642-36249-1_9"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1145\/2786805.2786853"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICAC.2016.59"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1145\/3149180"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"crossref","unstructured":"Gabriel A. Moreno Cody Kinneer Ashutosh Pandey and David Garlan. 2019. DARTSim: an exemplar for evaluation and comparison of self-adaptation approaches for smart cyber-physical systems See [39] 181--187. https:\/\/dl.acm.org\/citation.cfm?id=3341554","DOI":"10.1109\/SEAMS.2019.00031"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/3194133.3194163"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEAMS.2017.7"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2014.12.041"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1109\/SASO.2007.35"},{"key":"e_1_3_2_1_52_1","unstructured":"prism doc 2019. PRISM Documentation. https:\/\/www.prismmodelchecker.org\/doc\/."},{"key":"e_1_3_2_1_53_1","volume-title":"Markov Decision Processes: Discrete Stochastic Dynamic Programming","author":"Puterman Martin L.","unstructured":"Martin L. Puterman. 1994. Markov Decision Processes: Discrete Stochastic Dynamic Programming (1st ed.). John Wiley & Sons, Inc., New York, NY, USA.","edition":"1"},{"key":"e_1_3_2_1_54_1","volume-title":"Sarpreet Singh Buttar, and Sam Michiels","author":"Quin Federico","year":"2019","unstructured":"Federico Quin, Danny Weyns, Thomas Bamelis, Sarpreet Singh Buttar, and Sam Michiels. 2019. Efficient analysis of large adaptation spaces in self-adaptive systems using machine learning, See [39], 1--12. https:\/\/dl.acm.org\/citation.cfm?id=3341529"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10586-010-0122-y"},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1109\/WCICA.2010.5554307"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1145\/1516533.1516538"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1109\/IEEM.2013.6962383"},{"key":"e_1_3_2_1_59_1","volume-title":"Game Theory Based Co-evolutionary Algorithm (GCEA) for Solving Multiobjective Optimization Problems. IEICE Transactions 87-D, 10","author":"Sim Kwee-Bo","year":"2004","unstructured":"Kwee-Bo Sim, Ji-Yoon Kim, and Dong-Wook Lee. 2004. Game Theory Based Co-evolutionary Algorithm (GCEA) for Solving Multiobjective Optimization Problems. IEICE Transactions 87-D, 10 (2004), 2419--2425. http:\/\/search.ieice.org\/bin\/summary.php?id=e87-d_10_2419"},{"key":"e_1_3_2_1_60_1","unstructured":"Clay Stevens and Hamid Bagheri. 2019. Thallium Website. https:\/\/sites.google.com\/view\/thallium\/."},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/2635868.2635915"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-C.2017.106"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.4108\/ICST.SIMUTOOLS2008.3027"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1109\/SCC.2012.26"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1109\/FAS-W.2018.00012"},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14412-7"},{"key":"e_1_3_2_1_67_1","volume-title":"Fuzzy Sets As a Basis for a Theory of Possibility. Fuzzy Sets Syst. 100 (April","author":"Zadeh L. A.","year":"1999","unstructured":"L. A. Zadeh. 1999. Fuzzy Sets As a Basis for a Theory of Possibility. Fuzzy Sets Syst. 100 (April 1999), 9--34. http:\/\/dl.acm.org\/citation.cfm?id=310817.310820"},{"key":"e_1_3_2_1_68_1","volume-title":"Fuzzy Set Theory---and Its Applications","author":"Zimmermann H.-J.","unstructured":"H.-J. Zimmermann. 1996. Fuzzy Set Theory---and Its Applications (3rd Ed.). Kluwer Academic Publishers, Norwell, MA, USA.","edition":"3"}],"event":{"name":"ICSE '20: 42nd International Conference on Software Engineering","location":"Seoul South Korea","acronym":"ICSE '20","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","KIISE Korean Institute of Information Scientists and Engineers","IEEE CS"]},"container-title":["Proceedings of the ACM\/IEEE 42nd International Conference on Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3377811.3380365","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3377811.3380365","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:41:39Z","timestamp":1750200099000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3377811.3380365"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6,27]]},"references-count":67,"alternative-id":["10.1145\/3377811.3380365","10.1145\/3377811"],"URL":"https:\/\/doi.org\/10.1145\/3377811.3380365","relation":{},"subject":[],"published":{"date-parts":[[2020,6,27]]},"assertion":[{"value":"2020-10-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}