{"id":"https://openalex.org/W2155691344","doi":"https://doi.org/10.1145/2568225.2568272","title":"Automated design of self-adaptive software with control-theoretical formal guarantees","display_name":"Automated design of self-adaptive software with control-theoretical formal guarantees","publication_year":2014,"publication_date":"2014-05-20","ids":{"openalex":"https://openalex.org/W2155691344","doi":"https://doi.org/10.1145/2568225.2568272","mag":"2155691344"},"language":"en","primary_location":{"id":"doi:10.1145/2568225.2568272","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2568225.2568272","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 36th International Conference on Software Engineering","raw_type":"proceedings-article"},"type":"article","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/A5083739081","display_name":"Antonio Filieri","orcid":"https://orcid.org/0000-0001-9646-646X"},"institutions":[{"id":"https://openalex.org/I100066346","display_name":"University of Stuttgart","ror":"https://ror.org/04vnq7t77","country_code":"DE","type":"education","lineage":["https://openalex.org/I100066346"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Antonio Filieri","raw_affiliation_strings":["University of Stuttgart, Germany"],"affiliations":[{"raw_affiliation_string":"University of Stuttgart, Germany","institution_ids":["https://openalex.org/I100066346"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080833704","display_name":"Henry Hoffmann","orcid":"https://orcid.org/0000-0003-0816-8150"},"institutions":[{"id":"https://openalex.org/I40347166","display_name":"University of Chicago","ror":"https://ror.org/024mw5h28","country_code":"US","type":"education","lineage":["https://openalex.org/I40347166"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Henry Hoffmann","raw_affiliation_strings":["University of Chicago, USA"],"affiliations":[{"raw_affiliation_string":"University of Chicago, USA","institution_ids":["https://openalex.org/I40347166"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5007294890","display_name":"Martina Maggio","orcid":"https://orcid.org/0000-0002-1143-1127"},"institutions":[{"id":"https://openalex.org/I187531555","display_name":"Lund University","ror":"https://ror.org/012a77v79","country_code":"SE","type":"education","lineage":["https://openalex.org/I187531555"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Martina Maggio","raw_affiliation_strings":["Lund University, Sweden"],"affiliations":[{"raw_affiliation_string":"Lund University, Sweden","institution_ids":["https://openalex.org/I187531555"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5083739081"],"corresponding_institution_ids":["https://openalex.org/I100066346"],"apc_list":null,"apc_paid":null,"fwci":28.2219,"has_fulltext":false,"cited_by_count":143,"citation_normalized_percentile":{"value":0.996756,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":95,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"299","last_page":"310"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9991999864578247,"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.9991999864578247,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9965000152587891,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.9926999807357788,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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.7310722470283508},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.5281774401664734},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.4948095679283142},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.4825119972229004},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.4507196545600891},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.4135035276412964},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.37724781036376953},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.13997811079025269}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7310722470283508},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.5281774401664734},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.4948095679283142},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.4825119972229004},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.4507196545600891},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4135035276412964},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.37724781036376953},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.13997811079025269}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/2568225.2568272","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2568225.2568272","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 36th International Conference on Software Engineering","raw_type":"proceedings-article"},{"id":"pmh:oai:spiral.imperial.ac.uk:10044/1/33302","is_oa":false,"landing_page_url":"http://hdl.handle.net/10044/1/33302","pdf_url":null,"source":{"id":"https://openalex.org/S4306401396","display_name":"Spiral (Imperial College London)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I47508984","host_organization_name":"Imperial College London","host_organization_lineage":["https://openalex.org/I47508984"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"36th International Conference on Software Engineering","raw_type":"Conference Paper"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":78,"referenced_works":["https://openalex.org/W65153156","https://openalex.org/W71879696","https://openalex.org/W161073879","https://openalex.org/W1508258104","https://openalex.org/W1522319528","https://openalex.org/W1539705164","https://openalex.org/W1544439962","https://openalex.org/W1749805632","https://openalex.org/W1842268893","https://openalex.org/W1887324470","https://openalex.org/W1964137226","https://openalex.org/W1965810726","https://openalex.org/W1970909024","https://openalex.org/W1974641445","https://openalex.org/W1975914334","https://openalex.org/W1978109360","https://openalex.org/W1981116189","https://openalex.org/W1983613557","https://openalex.org/W1990911977","https://openalex.org/W1991591392","https://openalex.org/W1999392360","https://openalex.org/W2000873501","https://openalex.org/W2004199045","https://openalex.org/W2015244008","https://openalex.org/W2023331046","https://openalex.org/W2028244216","https://openalex.org/W2033406822","https://openalex.org/W2037789857","https://openalex.org/W2037948924","https://openalex.org/W2044304528","https://openalex.org/W2054636385","https://openalex.org/W2061501014","https://openalex.org/W2067723946","https://openalex.org/W2070275376","https://openalex.org/W2083272082","https://openalex.org/W2084245483","https://openalex.org/W2086024829","https://openalex.org/W2089642850","https://openalex.org/W2099842045","https://openalex.org/W2101187023","https://openalex.org/W2105876415","https://openalex.org/W2111444234","https://openalex.org/W2111765806","https://openalex.org/W2114703523","https://openalex.org/W2115583696","https://openalex.org/W2122950698","https://openalex.org/W2123137040","https://openalex.org/W2125754912","https://openalex.org/W2133665775","https://openalex.org/W2138124284","https://openalex.org/W2141880113","https://openalex.org/W2144530326","https://openalex.org/W2145437328","https://openalex.org/W2145938889","https://openalex.org/W2157189715","https://openalex.org/W2158261096","https://openalex.org/W2163784380","https://openalex.org/W2166161564","https://openalex.org/W2166359847","https://openalex.org/W2166736260","https://openalex.org/W2167556016","https://openalex.org/W2167786944","https://openalex.org/W2169051536","https://openalex.org/W2172105112","https://openalex.org/W2173213060","https://openalex.org/W2231381440","https://openalex.org/W2294316975","https://openalex.org/W2623785075","https://openalex.org/W3140693901","https://openalex.org/W4211171019","https://openalex.org/W4230278603","https://openalex.org/W4231204432","https://openalex.org/W4237877708","https://openalex.org/W4243710896","https://openalex.org/W6606403671","https://openalex.org/W6645544351","https://openalex.org/W6649944687","https://openalex.org/W6738947393"],"related_works":["https://openalex.org/W161255303","https://openalex.org/W1544097700","https://openalex.org/W1488573418","https://openalex.org/W2152752131","https://openalex.org/W1922520186","https://openalex.org/W1946493810","https://openalex.org/W2145025660","https://openalex.org/W2534958226","https://openalex.org/W2981877881","https://openalex.org/W61995002"],"abstract_inverted_index":{"Self-adaptation":[0],"enables":[1],"software":[2,36,77,107,199],"to":[3,34,43,48,53,75,137,155],"execute":[4],"successfully":[5],"in":[6,141],"dynamic,":[7],"unpredictable,":[8],"and":[9,69,109,145,177],"uncertain":[10],"environments.":[11],"Control":[12],"theory":[13],"provides":[14,123],"a":[15,79,93,106,110,195],"broad":[16,94],"set":[17],"of":[18,26,85,105,147,186,198],"mathematically":[19],"grounded":[20],"techniques":[21,52],"for":[22,97,113,139,194],"adapting":[23],"the":[24,127,142,148,153,171,184],"behavior":[25,130],"dynamic":[27,80,103,129],"systems.":[28],"While":[29],"it":[30,39,73],"has":[31,40],"been":[32],"applied":[33],"specific":[35],"control":[37,51,187],"problems,":[38],"proved":[41],"difficult":[42,74],"define":[44],"methodologies":[45],"allowing":[46],"non-experts":[47],"systematically":[49],"apply":[50,152],"create":[54],"adaptive":[55],"software.":[56],"These":[57],"difficulties":[58],"arise":[59],"because":[60],"computer":[61],"systems":[62],"are":[63],"usually":[64],"non-linear,":[65],"with":[66,170],"varying":[67],"workloads":[68],"heterogeneous":[70],"components,":[71],"making":[72],"model":[76,104,134],"as":[78],"system;":[81],"i.e.,":[82],"by":[83,131,162],"means":[84],"differential":[86],"or":[87],"difference":[88],"equations.":[89],"This":[90],"paper":[91],"proposes":[92],"scope":[95],"methodology":[96,122,154,181],"automatically":[98],"constructing":[99],"both":[100],"an":[101],"approximate":[102],"system":[108],"suitable":[111],"controller":[112],"managing":[114],"its":[115,119,133,160],"non-functional":[116,168],"requirements.":[117],"Despite":[118],"generality,":[120],"this":[121,180],"formal":[124,192],"guarantees":[125],"concerning":[126],"system's":[128],"keeping":[132],"continuously":[135],"updated":[136],"compensate":[138],"changes":[140],"execution":[143],"environment":[144],"effects":[146],"initial":[149],"approximation.":[150],"We":[151],"three":[156],"case":[157],"studies,":[158],"demonstrating":[159],"generality":[161],"tackling":[163],"different":[164,167],"domains":[165],"(and":[166,190],"requirements)":[169],"same":[172],"approach.":[173],"Being":[174],"broadly":[175],"applicable":[176],"fully":[178],"automated,":[179],"may":[182],"allow":[183],"adoption":[185],"theoretical":[188],"solutions":[189],"their":[191],"properties)":[193],"wide":[196],"range":[197],"adaptation":[200],"problems.":[201]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":5},{"year":2023,"cited_by_count":4},{"year":2022,"cited_by_count":6},{"year":2021,"cited_by_count":9},{"year":2020,"cited_by_count":12},{"year":2019,"cited_by_count":13},{"year":2018,"cited_by_count":23},{"year":2017,"cited_by_count":25},{"year":2016,"cited_by_count":24},{"year":2015,"cited_by_count":17},{"year":2014,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}