{"id":"https://openalex.org/W2106417311","doi":"https://doi.org/10.1145/2347583.2347592","title":"A survey of formal methods in self-adaptive systems","display_name":"A survey of formal methods in self-adaptive systems","publication_year":2012,"publication_date":"2012-06-27","ids":{"openalex":"https://openalex.org/W2106417311","doi":"https://doi.org/10.1145/2347583.2347592","mag":"2106417311"},"language":"en","primary_location":{"id":"doi:10.1145/2347583.2347592","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2347583.2347592","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Fifth International C* Conference on Computer Science and Software Engineering","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5059882053","display_name":"Danny Weyns","orcid":"https://orcid.org/0000-0002-1162-0817"},"institutions":[{"id":"https://openalex.org/I223464139","display_name":"Linnaeus University","ror":"https://ror.org/00j9qag85","country_code":"SE","type":"education","lineage":["https://openalex.org/I223464139"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Danny Weyns","raw_affiliation_strings":["Linnaeus University, V\u00e4xj\u00f6, Sweden"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Linnaeus University, V\u00e4xj\u00f6, Sweden","institution_ids":["https://openalex.org/I223464139"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054246588","display_name":"M. Usman Iftikhar","orcid":"https://orcid.org/0000-0002-1343-5834"},"institutions":[{"id":"https://openalex.org/I223464139","display_name":"Linnaeus University","ror":"https://ror.org/00j9qag85","country_code":"SE","type":"education","lineage":["https://openalex.org/I223464139"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"M. Usman Iftikhar","raw_affiliation_strings":["Linnaeus University, V\u00e4xj\u00f6, Sweden"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Linnaeus University, V\u00e4xj\u00f6, Sweden","institution_ids":["https://openalex.org/I223464139"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5065746483","display_name":"D\u00eddac Gil de la Iglesia","orcid":null},"institutions":[{"id":"https://openalex.org/I223464139","display_name":"Linnaeus University","ror":"https://ror.org/00j9qag85","country_code":"SE","type":"education","lineage":["https://openalex.org/I223464139"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Didac Gil de la Iglesia","raw_affiliation_strings":["Linnaeus University, V\u00e4xj\u00f6, Sweden"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Linnaeus University, V\u00e4xj\u00f6, Sweden","institution_ids":["https://openalex.org/I223464139"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101591217","display_name":"Tanvir Ahmad","orcid":"https://orcid.org/0000-0002-0079-0415"},"institutions":[{"id":"https://openalex.org/I223464139","display_name":"Linnaeus University","ror":"https://ror.org/00j9qag85","country_code":"SE","type":"education","lineage":["https://openalex.org/I223464139"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Tanvir Ahmad","raw_affiliation_strings":["Linnaeus University, V\u00e4xj\u00f6, Sweden"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Linnaeus University, V\u00e4xj\u00f6, Sweden","institution_ids":["https://openalex.org/I223464139"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I223464139"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":168,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"67","last_page":"79"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9997000098228455,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.989300012588501,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9884999990463257,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8215669989585876},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.7503171563148499},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.608997642993927},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.5982236862182617},{"id":"https://openalex.org/keywords/adaptation","display_name":"Adaptation (eye)","score":0.5953363180160522},{"id":"https://openalex.org/keywords/runtime-verification","display_name":"Runtime verification","score":0.5286077857017517},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.4978914260864258},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4783063232898712},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.4411679208278656},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.4316118061542511},{"id":"https://openalex.org/keywords/adaptive-system","display_name":"Adaptive system","score":0.42807090282440186},{"id":"https://openalex.org/keywords/software-quality","display_name":"Software quality","score":0.414450466632843},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.4106159508228302},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.39433830976486206},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.33376994729042053},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.2278454601764679},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.18814590573310852},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.13136768341064453},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.09448134899139404}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8215669989585876},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.7503171563148499},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.608997642993927},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.5982236862182617},{"id":"https://openalex.org/C139807058","wikidata":"https://www.wikidata.org/wiki/Q352374","display_name":"Adaptation (eye)","level":2,"score":0.5953363180160522},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.5286077857017517},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.4978914260864258},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4783063232898712},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.4411679208278656},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.4316118061542511},{"id":"https://openalex.org/C52970973","wikidata":"https://www.wikidata.org/wiki/Q2497134","display_name":"Adaptive system","level":2,"score":0.42807090282440186},{"id":"https://openalex.org/C117447612","wikidata":"https://www.wikidata.org/wiki/Q1412670","display_name":"Software quality","level":4,"score":0.414450466632843},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4106159508228302},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.39433830976486206},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.33376994729042053},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.2278454601764679},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.18814590573310852},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.13136768341064453},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.09448134899139404},{"id":"https://openalex.org/C163258240","wikidata":"https://www.wikidata.org/wiki/Q25342","display_name":"Power (physics)","level":2,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/2347583.2347592","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2347583.2347592","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Fifth International C* Conference on Computer Science and Software Engineering","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.702.3251","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.702.3251","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://homepage.lnu.se/staff/daweaa/papers/2012FMSAS.pdf","raw_type":"text"},{"id":"pmh:oai:lirias2repo.kuleuven.be:123456789/531597","is_oa":false,"landing_page_url":"https://lirias.kuleuven.be/bitstream/123456789/531597/1/2012FMSAS.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S7407055369","display_name":"Lirias","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"International C* Conference on Computer Science & Software Engineering, Montreal, QC, Canada, 27-29 June 2012","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.7200000286102295}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":104,"referenced_works":["https://openalex.org/W125598877","https://openalex.org/W1498432697","https://openalex.org/W1587715758","https://openalex.org/W1589634400","https://openalex.org/W1686827875","https://openalex.org/W1771743772","https://openalex.org/W1819146036","https://openalex.org/W1875956924","https://openalex.org/W1964137226","https://openalex.org/W1964689461","https://openalex.org/W1966683859","https://openalex.org/W1967665258","https://openalex.org/W1967977479","https://openalex.org/W1982940587","https://openalex.org/W1983605568","https://openalex.org/W1986138743","https://openalex.org/W1986139229","https://openalex.org/W1990911977","https://openalex.org/W1999392360","https://openalex.org/W2002788987","https://openalex.org/W2003258198","https://openalex.org/W2003373522","https://openalex.org/W2004183066","https://openalex.org/W2005745412","https://openalex.org/W2006857389","https://openalex.org/W2013498034","https://openalex.org/W2015315132","https://openalex.org/W2018538061","https://openalex.org/W2032755292","https://openalex.org/W2033406822","https://openalex.org/W2034822942","https://openalex.org/W2035374283","https://openalex.org/W2039790310","https://openalex.org/W2041427073","https://openalex.org/W2044917725","https://openalex.org/W2045480369","https://openalex.org/W2045521911","https://openalex.org/W2045827319","https://openalex.org/W2051712055","https://openalex.org/W2053272589","https://openalex.org/W2053304989","https://openalex.org/W2054636385","https://openalex.org/W2064383595","https://openalex.org/W2065592974","https://openalex.org/W2067032582","https://openalex.org/W2071616717","https://openalex.org/W2071643761","https://openalex.org/W2075063780","https://openalex.org/W2078007853","https://openalex.org/W2084912848","https://openalex.org/W2089188398","https://openalex.org/W2095093755","https://openalex.org/W2097005301","https://openalex.org/W2103998655","https://openalex.org/W2104807732","https://openalex.org/W2107282504","https://openalex.org/W2107862100","https://openalex.org/W2108797700","https://openalex.org/W2113759648","https://openalex.org/W2118328848","https://openalex.org/W2120681761","https://openalex.org/W2120729378","https://openalex.org/W2120867850","https://openalex.org/W2120907130","https://openalex.org/W2123749493","https://openalex.org/W2124142758","https://openalex.org/W2126622671","https://openalex.org/W2128953931","https://openalex.org/W2130740136","https://openalex.org/W2131090112","https://openalex.org/W2132199590","https://openalex.org/W2133736764","https://openalex.org/W2133859873","https://openalex.org/W2134196660","https://openalex.org/W2134485500","https://openalex.org/W2134716336","https://openalex.org/W2135128114","https://openalex.org/W2137246658","https://openalex.org/W2139864917","https://openalex.org/W2142066798","https://openalex.org/W2142486130","https://openalex.org/W2144031487","https://openalex.org/W2144148994","https://openalex.org/W2146044140","https://openalex.org/W2148128686","https://openalex.org/W2149649594","https://openalex.org/W2149679864","https://openalex.org/W2154576917","https://openalex.org/W2154796631","https://openalex.org/W2156292800","https://openalex.org/W2158849671","https://openalex.org/W2163195480","https://openalex.org/W2163784380","https://openalex.org/W2166515197","https://openalex.org/W2168028588","https://openalex.org/W2237544177","https://openalex.org/W2482678392","https://openalex.org/W2610917815","https://openalex.org/W2736085496","https://openalex.org/W3141908281","https://openalex.org/W4230027996","https://openalex.org/W4235663651","https://openalex.org/W6629784141","https://openalex.org/W6635364829"],"related_works":["https://openalex.org/W2145025660","https://openalex.org/W2171674700","https://openalex.org/W1922520186","https://openalex.org/W1544097700","https://openalex.org/W1946493810","https://openalex.org/W161255303","https://openalex.org/W2898126919","https://openalex.org/W1495250406","https://openalex.org/W2981877881","https://openalex.org/W17088386"],"abstract_inverted_index":{"One":[0],"major":[1],"challenge":[2],"in":[3,53,108,163],"self-adaptive":[4,27,54,72,122],"systems":[5,124],"is":[6,60,86,125,144,217,236],"to":[7,18,70,80,219,228,242],"assure":[8],"the":[9,16,24,36,48,119,129,184,207,215],"re-quired":[10],"quality":[11],"properties.":[12],"Formal":[13,223],"methods":[14,52,66,78,136,211,224],"provide":[15],"means":[17],"rigorously":[19],"specify":[20],"and":[21,33,74,90,104,147,151,169,177,201,221,234],"reason":[22],"about":[23],"behaviors":[25],"of":[26,38,50,131,142,161,165,186,190,206,232],"systems,":[28],"both":[29],"at":[30,212],"design":[31],"time":[32],"runtime.":[34],"To":[35,182],"best":[37],"our":[39],"knowl-edge,":[40],"no":[41,61],"systematic":[42,95],"study":[43,116],"has":[44],"been":[45,68],"performed":[46,93],"on":[47,64,145],"use":[49,209,216],"formal":[51,135,210],"systems.":[55],"As":[56,83],"a":[57,94,188,237],"result,":[58],"there":[59,235],"clear":[62],"view":[63],"what":[65,75],"have":[67,154],"used":[69,111],"verify":[71,183],"sys-tems,":[73],"support":[76,243],"these":[77],"offer":[79],"software":[81,123],"develop-ers.":[82],"such":[84,174,195],"insight":[85],"important":[87],"for":[88,112,121,239],"researchers":[89],"engineers,":[91],"we":[92],"literature":[96],"review":[97],"covering":[98],"12":[99],"main":[100,140,159],"soft-ware":[101],"engineering":[102],"venues":[103],"4":[105],"journals,":[106],"resulting":[107],"75":[109],"papers":[110],"data":[113],"collection.":[114],"The":[115,139,158],"shows":[117],"that":[118,133],"attention":[120],"gradually":[126],"increasing,":[127],"but":[128,214],"number":[130],"studies":[132,208],"employ":[134],"remains":[137],"low.":[138],"fo-cus":[141],"formalization":[143,164],"modeling":[146,220],"reasoning.":[148],"Model":[149],"check-ing":[150],"theorem":[152],"proving":[153],"gained":[155],"limited":[156,218],"attention.":[157],"concerns":[160,185],"interest":[162],"self-adaptation":[166],"are":[167,179,193],"effi-ciency/performance":[168],"reliability.":[170],"Important":[171],"adaptation":[172],"concerns,":[173],"as":[175,196],"security":[176],"scalability,":[178],"hardly":[180],"considered.":[181],"interest,":[187],"set":[189],"new":[191],"properties":[192],"defined,":[194],"in-terference":[197],"freedom,":[198],"responsiveness,":[199],"mismatch,":[200],"loss-tolerance.":[202],"A":[203],"relevant":[204],"part":[205],"runtime,":[213],"analysis.":[222],"can":[225],"be":[226],"applied":[227],"other":[229],"runtime":[230,244],"activities":[231],"self-adaptation,":[233],"need":[238],"light-weight":[240],"tools":[241],"verification.":[245]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2025,"cited_by_count":7},{"year":2024,"cited_by_count":8},{"year":2023,"cited_by_count":16},{"year":2022,"cited_by_count":16},{"year":2021,"cited_by_count":12},{"year":2020,"cited_by_count":17},{"year":2019,"cited_by_count":9},{"year":2018,"cited_by_count":12},{"year":2017,"cited_by_count":18},{"year":2016,"cited_by_count":16},{"year":2015,"cited_by_count":12},{"year":2014,"cited_by_count":14},{"year":2013,"cited_by_count":6},{"year":2012,"cited_by_count":2}],"updated_date":"2026-07-15T18:14:33.161393","created_date":"2025-10-10T00:00:00"}