{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,18]],"date-time":"2026-05-18T10:49:10Z","timestamp":1779101350685,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":96,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,6,27]],"date-time":"2012-06-27T00:00:00Z","timestamp":1340755200000},"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":[[2012,6,27]]},"DOI":"10.1145\/2347583.2347592","type":"proceedings-article","created":{"date-parts":[[2012,8,14]],"date-time":"2012-08-14T12:18:56Z","timestamp":1344946736000},"page":"67-79","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":128,"title":["A survey of formal methods in self-adaptive systems"],"prefix":"10.1145","author":[{"given":"Danny","family":"Weyns","sequence":"first","affiliation":[{"name":"Linnaeus University, V\u00e4xj\u00f6, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M. Usman","family":"Iftikhar","sequence":"additional","affiliation":[{"name":"Linnaeus University, V\u00e4xj\u00f6, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Didac Gil","family":"de la Iglesia","sequence":"additional","affiliation":[{"name":"Linnaeus University, V\u00e4xj\u00f6, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tanvir","family":"Ahmad","sequence":"additional","affiliation":[{"name":"Linnaeus University, V\u00e4xj\u00f6, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2012,6,27]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICAC.2008.25"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICAC.2006.1662385"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICAC.2008.21"},{"key":"e_1_3_2_1_4_1","volume-title":"Principles of Model Checking","author":"Baier C.","year":"2008","unstructured":"C. Baier and J. P. Katoen . Principles of Model Checking . MIT Press , 2008 . C. Baier and J. P. Katoen. Principles of Model Checking. MIT Press, 2008."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1075405.1075409"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1808984.1808997"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1988008.1988030"},{"key":"e_1_3_2_1_8_1","volume-title":"Encyclopedia of Soft. Engineering.","author":"Basili V.","year":"1994","unstructured":"V. Basili , G. Caldiera , and D. Rombach . Goal question metric approach . In Encyclopedia of Soft. Engineering. 1994 . V. Basili, G. Caldiera, and D. Rombach. Goal question metric approach. In Encyclopedia of Soft. Engineering. 1994."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134297"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2007.03.002"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1075405.1075410"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEAMS.2007.12"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1858996.1859060"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2003.05.007"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1075405.1075411"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICAC.2005.11"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2006.07.009"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1137677.1137682"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2008.04.028"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/WICSA.2009.5290804"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.92"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070512"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEAMS.2009.5069071"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEAMS.2012.6224391"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2008.31"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1237173"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.68"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1808984.1808996"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1370018.1370041"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2007.03.010"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02161-9_1"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2008.44"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.24"},{"key":"e_1_3_2_1_34_1","volume-title":"Software Engineering for Self-Adaptive Systems II. LNCS","author":"de Lemos R.","year":"2012","unstructured":"R. de Lemos , H. Giese , H. M\u00fcller , M. Shaw , J. Andersson , M. Litoiu , B. Schmerl , G. Tamura , N. Villegas , T. Vogel , D. Weyns , L. Baresi , B. Becker , N. Bencomo , Y. Brun , B. Cukic , R. Desmarais , S. Dustdar , G. Engels , K. Geihs , K. Goeschka , A. Gorla , V. Grassi , P. Inverardi , G. Karsai , J. Kramer , A. Lopes , J. Magee , S. Malek , S. Mankovskii , R. Mirandola , J. Mylopoulos , O. Nierstrasz , M. Pezz\u00e8 , C. Prehofer , W. Sch\u00e4fer , R. Schlichting , D. B. Smith , J. P. Sousa , L. Tahvildari , K. Wong , and J. Wuttke . Software engineering for self-adaptive systems: A second research roadmap . In Software Engineering for Self-Adaptive Systems II. LNCS , Springer , 2012 . R. de Lemos, H. Giese, H. M\u00fcller, M. Shaw, J. Andersson, M. Litoiu, B. Schmerl, G. Tamura, N. Villegas, T. Vogel, D. Weyns, L. Baresi, B. Becker, N. Bencomo, Y. Brun, B. Cukic, R. Desmarais, S. Dustdar, G. Engels, K. Geihs, K. Goeschka, A. Gorla, V. Grassi, P. Inverardi, G. Karsai, J. Kramer, A. Lopes, J. Magee, S. Malek, S. Mankovskii, R. Mirandola, J. Mylopoulos, O. Nierstrasz, M. Pezz\u00e8, C. Prehofer, W. Sch\u00e4fer, R. Schlichting, D. B. Smith, J. P. Sousa, L. Tahvildari, K. Wong, and J. Wuttke. Software engineering for self-adaptive systems: A second research roadmap. In Software Engineering for Self-Adaptive Systems II. LNCS, Springer, 2012."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1186778.1186782"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEAMS.2007.5"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070513"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025147"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100064"},{"key":"e_1_3_2_1_40_1","volume-title":"International Conference on Adaptive and Self-Adaptive Systems and Applications","author":"Fox J.","year":"2011","unstructured":"J. Fox . A formal orchestration model for dynamically adaptable services with cows . In International Conference on Adaptive and Self-Adaptive Systems and Applications , 2011 . J. Fox. A formal orchestration model for dynamically adaptable services with cows. In International Conference on Adaptive and Self-Adaptive Systems and Applications, 2011."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1145\/582128.582134"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2004.175"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/1552297.1552300"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/SASO.2008.66"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICAC.2006.1662399"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEAMS.2009.5069080"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1109\/SASO.2008.59"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02161-9_6"},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1145\/1278460.1278462"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1145\/1380584.1380585"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1109\/WICSA.2005.42"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICAC.2005.26"},{"key":"e_1_3_2_1_53_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2003.1160055"},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1145\/1083063.1083078"},{"key":"e_1_3_2_1_55_1","volume-title":"Guidelines for performing systematic literature reviews in software engineering. (EBSE 2007--001","author":"Kitchenham B.","year":"2007","unstructured":"B. Kitchenham and S. Charters . Guidelines for performing systematic literature reviews in software engineering. (EBSE 2007--001 , Keele and Durham University) , 2007 . B. Kitchenham and S. Charters. Guidelines for performing systematic literature reviews in software engineering. (EBSE 2007--001, Keele and Durham University), 2007."},{"key":"e_1_3_2_1_56_1","doi-asserted-by":"publisher","DOI":"10.1145\/1380422.1380426"},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.1109\/SASO.2009.20"},{"key":"e_1_3_2_1_58_1","doi-asserted-by":"publisher","DOI":"10.1109\/FOSE.2007.19"},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/1988008.1988018"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2003.09.029"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1145\/1137677.1137684"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2003.09.031"},{"key":"e_1_3_2_1_63_1","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321690"},{"key":"e_1_3_2_1_64_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.62"},{"key":"e_1_3_2_1_65_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070514"},{"key":"e_1_3_2_1_66_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2008.07.048"},{"key":"e_1_3_2_1_67_1","doi-asserted-by":"publisher","DOI":"10.5555\/302163.302181"},{"key":"e_1_3_2_1_68_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2008.05.030"},{"key":"e_1_3_2_1_69_1","volume-title":"International Conference on Adaptive and Self-Adaptive Systems and Applications","author":"Raja H.","year":"2011","unstructured":"H. Raja and O. Scholz . A case study on self-sufficiency of individual robotic modules in an arena with limited energy resources . In International Conference on Adaptive and Self-Adaptive Systems and Applications , 2011 . H. Raja and O. Scholz. A case study on self-sufficiency of individual robotic modules in an arena with limited energy resources. In International Conference on Adaptive and Self-Adaptive Systems and Applications, 2011."},{"key":"e_1_3_2_1_70_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICAC.2005.34"},{"key":"e_1_3_2_1_71_1","doi-asserted-by":"publisher","DOI":"10.1145\/1516533.1516538"},{"key":"e_1_3_2_1_72_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.35"},{"key":"e_1_3_2_1_73_1","doi-asserted-by":"publisher","DOI":"10.1145\/1453101.1453136"},{"key":"e_1_3_2_1_74_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2006.03.047"},{"key":"e_1_3_2_1_75_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICAC.2007.10"},{"key":"e_1_3_2_1_76_1","doi-asserted-by":"publisher","DOI":"10.1109\/SASO.2010.17"},{"key":"e_1_3_2_1_77_1","doi-asserted-by":"publisher","DOI":"10.1145\/1808984.1808995"},{"key":"e_1_3_2_1_78_1","doi-asserted-by":"publisher","DOI":"10.1109\/SASO.2007.40"},{"key":"e_1_3_2_1_79_1","doi-asserted-by":"publisher","DOI":"10.1145\/1370018.1370020"},{"key":"e_1_3_2_1_80_1","doi-asserted-by":"publisher","DOI":"10.1145\/2019583.2019587"},{"key":"e_1_3_2_1_81_1","volume-title":"Towards practical runtime verification and validation of self-adaptive software systems. Software Engineering for Self-Adaptive Systems II","author":"Tamura G.","year":"2012","unstructured":"G. Tamura , N. M. Villegas , H. Muller , J. P. Sousa , B. Becker , G. Karsai , S. Mankovskii , M. Pezze , W. Schafer , L. Tahvildari , and K. Wong . Towards practical runtime verification and validation of self-adaptive software systems. Software Engineering for Self-Adaptive Systems II , Springer , 2012 . G. Tamura, N. M. Villegas, H. Muller, J. P. Sousa, B. Becker, G. Karsai, S. Mankovskii, M. Pezze, W. Schafer, L. Tahvildari, and K. Wong. Towards practical runtime verification and validation of self-adaptive software systems. Software Engineering for Self-Adaptive Systems II, Springer, 2012."},{"key":"e_1_3_2_1_82_1","doi-asserted-by":"publisher","DOI":"10.1145\/1101908.1101975"},{"key":"e_1_3_2_1_83_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2009.174"},{"key":"e_1_3_2_1_84_1","doi-asserted-by":"publisher","DOI":"10.1145\/1988008.1988020"},{"key":"e_1_3_2_1_85_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2007.11.719"},{"key":"e_1_3_2_1_86_1","volume-title":"An automated formal approach to managing dynamic reconfiguration","author":"Warren I.","year":"2006","unstructured":"I. Warren , J. Sun , S. Krishnamohan , and T. Weerasinghe . An automated formal approach to managing dynamic reconfiguration . 2006 . I. Warren, J. Sun, S. Krishnamohan, and T. Weerasinghe. An automated formal approach to managing dynamic reconfiguration. 2006."},{"key":"e_1_3_2_1_87_1","doi-asserted-by":"publisher","DOI":"10.1145\/503209.503213"},{"key":"e_1_3_2_1_88_1","doi-asserted-by":"publisher","DOI":"10.1145\/2338966.2336803"},{"key":"e_1_3_2_1_89_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEAMS.2012.6224395"},{"key":"e_1_3_2_1_90_1","doi-asserted-by":"publisher","DOI":"10.1145\/1809049.1809078"},{"key":"e_1_3_2_1_91_1","doi-asserted-by":"publisher","DOI":"10.1145\/2168260.2168268"},{"key":"e_1_3_2_1_92_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEAMS.2007.14"},{"key":"e_1_3_2_1_93_1","doi-asserted-by":"publisher","DOI":"10.1145\/1380422.1380425"},{"key":"e_1_3_2_1_94_1","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134337"},{"key":"e_1_3_2_1_95_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2006.02.062"},{"key":"e_1_3_2_1_96_1","doi-asserted-by":"publisher","DOI":"10.1145\/1636665.1636670"}],"event":{"name":"C3S2E '12: Fifth International C* Conference on Computer Science & Software Engineering","location":"Montreal Quebec Canada","acronym":"C3S2E '12","sponsor":["University of Limerick University of Limerick","BytePress","Concordia University Concordia University"]},"container-title":["Proceedings of the Fifth International C* Conference on Computer Science and Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2347583.2347592","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2347583.2347592","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:34:37Z","timestamp":1750239277000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2347583.2347592"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,6,27]]},"references-count":96,"alternative-id":["10.1145\/2347583.2347592","10.1145\/2347583"],"URL":"https:\/\/doi.org\/10.1145\/2347583.2347592","relation":{},"subject":[],"published":{"date-parts":[[2012,6,27]]},"assertion":[{"value":"2012-06-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}