{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,10]],"date-time":"2026-06-10T22:54:48Z","timestamp":1781132088471,"version":"3.54.1"},"publisher-location":"New York, NY, USA","reference-count":31,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,10,23]],"date-time":"2022-10-23T00:00:00Z","timestamp":1666483200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100006602","name":"Air Force Research Laboratory","doi-asserted-by":"publisher","award":["FA8750-16-2-0284, FA8750- 19-2-0002"],"award-info":[{"award-number":["FA8750-16-2-0284, FA8750- 19-2-0002"]}],"id":[{"id":"10.13039\/100006602","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100017642","name":"Spanish National Plan for Scientific and Technical Research and Innovation","doi-asserted-by":"publisher","award":["PGC2018-094905-B-I00"],"award-info":[{"award-number":["PGC2018-094905-B-I00"]}],"id":[{"id":"10.13039\/501100017642","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100000780","name":"European Commission","doi-asserted-by":"publisher","award":["P20-00067-FR, P18-FR-2895"],"award-info":[{"award-number":["P20-00067-FR, P18-FR-2895"]}],"id":[{"id":"10.13039\/501100000780","id-type":"DOI","asserted-by":"publisher"}]},{"name":"EPSRC","award":["EP\/V026747\/1"],"award-info":[{"award-number":["EP\/V026747\/1"]}]},{"name":"FCT","award":["POCI-01-0247- FEDER-045915, POCI-01-0247-FEDER-045907"],"award-info":[{"award-number":["POCI-01-0247- FEDER-045915, POCI-01-0247-FEDER-045907"]}]},{"name":"NASA","award":["80NSSC20K1720"],"award-info":[{"award-number":["80NSSC20K1720"]}]},{"DOI":"10.13039\/100000001","name":"NSF (National Science Foundation)","doi-asserted-by":"publisher","award":["DBI-0939454"],"award-info":[{"award-number":["DBI-0939454"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2022,10,23]]},"DOI":"10.1145\/3550355.3552438","type":"proceedings-article","created":{"date-parts":[[2022,10,24]],"date-time":"2022-10-24T22:44:57Z","timestamp":1666651497000},"page":"24-30","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":9,"title":["Addressing the uncertainty interaction problem in software-intensive systems"],"prefix":"10.1145","author":[{"given":"Javier","family":"C\u00e1mara","sequence":"first","affiliation":[{"name":"University of M\u00e1laga, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Radu","family":"Calinescu","sequence":"additional","affiliation":[{"name":"University of York, United Kingdom"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Betty H. C.","family":"Cheng","sequence":"additional","affiliation":[{"name":"Michigan State University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"David","family":"Garlan","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bradley","family":"Schmerl","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Javier","family":"Troya","sequence":"additional","affiliation":[{"name":"University of M\u00e1laga, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Antonio","family":"Vallecillo","sequence":"additional","affiliation":[{"name":"University of M\u00e1laga, Spain"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2022,10,24]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Quantitative verification with adaptive uncertainty reduction. J. Syst. Softw. 188","author":"Alasmari Naif","year":"2022","unstructured":"Naif Alasmari , Radu Calinescu , Colin Paterson , and Raffaela Mirandola . 2022. Quantitative verification with adaptive uncertainty reduction. J. Syst. Softw. 188 ( 2022 ). Naif Alasmari, Radu Calinescu, Colin Paterson, and Raffaela Mirandola. 2022. Quantitative verification with adaptive uncertainty reduction. J. Syst. Softw. 188 (2022)."},{"key":"e_1_3_2_1_2_1","volume-title":"Probabilistic Complex Event Recognition: A Survey. ACM Comput. Surv. 50, 5","author":"Alevizos Elias","year":"2017","unstructured":"Elias Alevizos , Anastasios Skarlatidis , Alexander Artikis , and Georgios Paliouras . 2017. Probabilistic Complex Event Recognition: A Survey. ACM Comput. Surv. 50, 5 ( 2017 ), 71:1--71:31. Elias Alevizos, Anastasios Skarlatidis, Alexander Artikis, and Georgios Paliouras. 2017. Probabilistic Complex Event Recognition: A Survey. ACM Comput. Surv. 50, 5 (2017), 71:1--71:31."},{"key":"e_1_3_2_1_3_1","volume-title":"Multi-Fidelity Digital Twins: a Means for Better Cyber-Physical Systems Testing? CoRR abs\/2101.05697","author":"Arrieta Aitor","year":"2021","unstructured":"Aitor Arrieta . 2021. Multi-Fidelity Digital Twins: a Means for Better Cyber-Physical Systems Testing? CoRR abs\/2101.05697 ( 2021 ). arXiv:2101.05697 Aitor Arrieta. 2021. Multi-Fidelity Digital Twins: a Means for Better Cyber-Physical Systems Testing? CoRR abs\/2101.05697 (2021). arXiv:2101.05697"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2018.05.013"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/TR.2015.2452931"},{"key":"e_1_3_2_1_6_1","volume-title":"FACT: A probabilistic model checker for formal verification with confidence intervals. In Proc. of TACAS (LNCS)","author":"Calinescu Radu","year":"2016","unstructured":"Radu Calinescu , Kenneth Johnson , and Colin Paterson . 2016 . FACT: A probabilistic model checker for formal verification with confidence intervals. In Proc. of TACAS (LNCS) . Springer , 540--546. Radu Calinescu, Kenneth Johnson, and Colin Paterson. 2016. FACT: A probabilistic model checker for formal verification with confidence intervals. In Proc. of TACAS (LNCS). Springer, 540--546."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACSOS49614.2020.00047"},{"key":"e_1_3_2_1_8_1","volume-title":"Wenxin Peng, and Bradley R. Schmerl.","author":"C\u00e1mara Javier","year":"2017","unstructured":"Javier C\u00e1mara , David Garlan , Won Gu Kang , Wenxin Peng, and Bradley R. Schmerl. 2017 . Uncertainty in Self-Adaptive Systems: Categories, Management, and Perspectives. Technical Report CMU-ISR-17-110. Carnegie Mellon University . http:\/\/reports-archive.adm.cs.cmu.edu\/anon\/isr2017\/CMU-ISR-17-110.pdf Javier C\u00e1mara, David Garlan, Won Gu Kang, Wenxin Peng, and Bradley R. Schmerl. 2017. Uncertainty in Self-Adaptive Systems: Categories, Management, and Perspectives. Technical Report CMU-ISR-17-110. Carnegie Mellon University. http:\/\/reports-archive.adm.cs.cmu.edu\/anon\/isr2017\/CMU-ISR-17-110.pdf"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2018.07.002"},{"key":"e_1_3_2_1_10_1","volume-title":"The Uncertainty Interaction Problem in Self-Adaptive Systems. Softw. Syst. Model. 21, 4","author":"C\u00e1mara Javier","year":"2022","unstructured":"Javier C\u00e1mara , Javier Troya , Antonio Vallecillo , Nelly Bencomo , Radu Calinescu , Betty H.C. Cheng , David Garlan , and Bradley Schmerl . 2022. The Uncertainty Interaction Problem in Self-Adaptive Systems. Softw. Syst. Model. 21, 4 ( 2022 ). Javier C\u00e1mara, Javier Troya, Antonio Vallecillo, Nelly Bencomo, Radu Calinescu, Betty H.C. Cheng, David Garlan, and Bradley Schmerl. 2022. The Uncertainty Interaction Problem in Self-Adaptive Systems. Softw. Syst. Model. 21, 4 (2022)."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2020.2995125"},{"key":"e_1_3_2_1_12_1","volume-title":"SEfSAS II (LNCS)","author":"Esfahani Naeem","unstructured":"Naeem Esfahani and Sam Malek . 2013. Uncertainty in self-adaptive software systems . In SEfSAS II (LNCS) , Vol. 7475 . Springer , 214--238. Naeem Esfahani and Sam Malek. 2013. Uncertainty in self-adaptive software systems. In SEfSAS II (LNCS), Vol. 7475. Springer, 214--238."},{"key":"e_1_3_2_1_13_1","unstructured":"Erich Gamma Richard Helm Ralph Johnson Ralph E Johnson John Vlissides etal 1995. Design patterns: elements of reusable object-oriented software. Pearson.  Erich Gamma Richard Helm Ralph Johnson Ralph E Johnson John Vlissides et al. 1995. Design patterns: elements of reusable object-oriented software. Pearson."},{"key":"e_1_3_2_1_14_1","volume-title":"Models@run.time (LNCS)","author":"Giese Holger","unstructured":"Holger Giese , Nelly Bencomo , Liliana Pasquale , Andres J. Ramirez , Paola Inverardi , Sebastian W\u00e4tzoldt , and Siobh\u00e1n Clarke . 2014. Living with Uncertainty in the Age of Runtime Models . In Models@run.time (LNCS) , Vol. 8378 . Springer , 47--100. Holger Giese, Nelly Bencomo, Liliana Pasquale, Andres J. Ramirez, Paola Inverardi, Sebastian W\u00e4tzoldt, and Siobh\u00e1n Clarke. 2014. Living with Uncertainty in the Age of Runtime Models. In Models@run.time (LNCS), Vol. 8378. Springer, 47--100."},{"key":"e_1_3_2_1_15_1","article-title":"Uncertainty in Self-Adaptive Systems: A Research Community Perspective","volume":"15","author":"Hezavehi Sara M.","year":"2021","unstructured":"Sara M. Hezavehi , Danny Weyns , Paris Avgeriou , Radu Calinescu , Raffaela Mirandola , and Diego Perez-Palacin . 2021 . Uncertainty in Self-Adaptive Systems: A Research Community Perspective . ACM Trans. Auton. Adapt. Syst. 15 , 4 (2021). Sara M. Hezavehi, Danny Weyns, Paris Avgeriou, Radu Calinescu, Raffaela Mirandola, and Diego Perez-Palacin. 2021. Uncertainty in Self-Adaptive Systems: A Research Community Perspective. ACM Trans. Auton. Adapt. Syst. 15, 4 (2021).","journal-title":"ACM Trans. Auton. Adapt. Syst."},{"key":"e_1_3_2_1_16_1","volume-title":"Chess","author":"Kephart Jeffrey O.","year":"2003","unstructured":"Jeffrey O. Kephart and David M . Chess . 2003 . The Vision of Autonomic Computing. Computer 36 (2003). Issue 1. Jeffrey O. Kephart and David M. Chess. 2003. The Vision of Autonomic Computing. Computer 36 (2003). Issue 1."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-22110-1_47"},{"key":"e_1_3_2_1_18_1","first-page":"45","article-title":"A Classification Framework of Uncertainty in Architecture-Based Self-Adaptive Systems With Multiple Quality Requirements. Morgan Kaufmann","volume":"3","author":"Mahdavi-Hezavehi Sara","year":"2017","unstructured":"Sara Mahdavi-Hezavehi , Paris Avgeriou , and Danny Weyns . 2017 . A Classification Framework of Uncertainty in Architecture-Based Self-Adaptive Systems With Multiple Quality Requirements. Morgan Kaufmann , Chapter 3 , 45 -- 77 . Sara Mahdavi-Hezavehi, Paris Avgeriou, and Danny Weyns. 2017. A Classification Framework of Uncertainty in Architecture-Based Self-Adaptive Systems With Multiple Quality Requirements. Morgan Kaufmann, Chapter 3, 45 -- 77.","journal-title":"Chapter"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/3194133.3194144"},{"key":"e_1_3_2_1_20_1","volume-title":"Proactive Self-Adaptation under Uncertainty: A Probabilistic Model Checking Approach (ESEC\/FSE","author":"Moreno Gabriel A.","year":"2015","unstructured":"Gabriel A. Moreno , Javier C\u00e1mara , David Garlan , and Bradley Schmerl . 2015. Proactive Self-Adaptation under Uncertainty: A Probabilistic Model Checking Approach (ESEC\/FSE 2015 ). ACM , 1--12. Gabriel A. Moreno, Javier C\u00e1mara, David Garlan, and Bradley Schmerl. 2015. Proactive Self-Adaptation under Uncertainty: A Probabilistic Model Checking Approach (ESEC\/FSE 2015). ACM, 1--12."},{"key":"e_1_3_2_1_21_1","unstructured":"Object Management Group. 2014. Object Constraint Language (OCL) Specification. Version 2.4. OMG Document formal\/2014-02-03.  Object Management Group. 2014. Object Constraint Language (OCL) Specification. Version 2.4. OMG Document formal\/2014-02-03."},{"key":"e_1_3_2_1_22_1","unstructured":"Object Management Group. 2017. Precise Semantics for Uncertainty Modeling (PSUM) RFP. OMG Document ad\/2017-12-1.  Object Management Group. 2017. Precise Semantics for Uncertainty Modeling (PSUM) RFP. OMG Document ad\/2017-12-1."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2568088.2568095"},{"key":"e_1_3_2_1_24_1","volume-title":"Proc. of SEAMS'12","author":"Ramirez Andres J.","unstructured":"Andres J. Ramirez , Adam C. Jensen , and Betty H. C. Cheng . 2012. A taxonomy of uncertainty for dynamically adaptive systems . In Proc. of SEAMS'12 . IEEE, 99--108. Andres J. Ramirez, Adam C. Jensen, and Betty H. C. Cheng. 2012. A taxonomy of uncertainty for dynamically adaptive systems. In Proc. of SEAMS'12. IEEE, 99--108."},{"key":"e_1_3_2_1_25_1","volume-title":"Proc. of APRES'17","volume":"809","author":"Salih Ahmad M.","year":"2017","unstructured":"Ahmad M. Salih , Mazni Omar , and Azman Yasin . 2017 . Understanding Uncertainty of Software Requirements Engineering: A Systematic Literature Review Protocol . In Proc. of APRES'17 , Vol. 809 . Springer, 164--171. Ahmad M. Salih, Mazni Omar, and Azman Yasin. 2017. Understanding Uncertainty of Software Requirements Engineering: A Systematic Literature Review Protocol. In Proc. of APRES'17, Vol. 809. Springer, 164--171."},{"key":"e_1_3_2_1_26_1","volume-title":"Barnes","author":"Schmerl Bradley R.","year":"2014","unstructured":"Bradley R. Schmerl , Javier C\u00e1mara , Jeffrey Gennari , David Garlan , Paulo Casanova , Gabriel A. Moreno , Thomas J. Glazier , and Jeffrey M . Barnes . 2014 . Architecture-based self-protection: composing and reasoning about denial-of-service mitigations. In Proc. of HotSoS'14. ACM , 2. Bradley R. Schmerl, Javier C\u00e1mara, Jeffrey Gennari, David Garlan, Paulo Casanova, Gabriel A. Moreno, Thomas J. Glazier, and Jeffrey M. Barnes. 2014. Architecture-based self-protection: composing and reasoning about denial-of-service mitigations. In Proc. of HotSoS'14. ACM, 2."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-020-00842-1"},{"key":"e_1_3_2_1_28_1","volume-title":"Proc. of ECMFA'10 (LNCS)","author":"Vallecillo Antonio","unstructured":"Antonio Vallecillo . 2010. On the Combination of Domain Specific Modeling Languages . In Proc. of ECMFA'10 (LNCS) , Vol. 6138 . Springer , 305--320. Antonio Vallecillo. 2010. On the Combination of Domain Specific Modeling Languages. In Proc. of ECMFA'10 (LNCS), Vol. 6138. Springer, 305--320."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1076\/iaij.4.1.5.16466"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-017-0609-6"},{"key":"e_1_3_2_1_31_1","volume-title":"Proc. of ECMFA'16 (LNCS)","author":"Zhang Man","unstructured":"Man Zhang , Bran Selic , Shaukat Ali , Tao Yue , Oscar Okariz , and Roland Norgren . 2016. Understanding Uncertainty in Cyber-Physical Systems: A Conceptual Model . In Proc. of ECMFA'16 (LNCS) , Vol. 9764 . Springer , 247--264. Man Zhang, Bran Selic, Shaukat Ali, Tao Yue, Oscar Okariz, and Roland Norgren. 2016. Understanding Uncertainty in Cyber-Physical Systems: A Conceptual Model. In Proc. of ECMFA'16 (LNCS), Vol. 9764. Springer, 247--264."}],"event":{"name":"MODELS '22: ACM\/IEEE 25th International Conference on Model Driven Engineering Languages and Systems","location":"Montreal Quebec Canada","acronym":"MODELS '22","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","Univ. of Montreal University of Montreal","IEEE CS"]},"container-title":["Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3550355.3552438","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3550355.3552438","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3550355.3552438","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:08:07Z","timestamp":1750183687000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3550355.3552438"}},"subtitle":["challenges and desiderata"],"short-title":[],"issued":{"date-parts":[[2022,10,23]]},"references-count":31,"alternative-id":["10.1145\/3550355.3552438","10.1145\/3550355"],"URL":"https:\/\/doi.org\/10.1145\/3550355.3552438","relation":{},"subject":[],"published":{"date-parts":[[2022,10,23]]},"assertion":[{"value":"2022-10-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}