{"id":"https://openalex.org/W1971139410","doi":"https://doi.org/10.1109/tse.2015.2421318","title":"Supporting Self-Adaptation via Quantitative Verification and Sensitivity Analysis at Run Time","display_name":"Supporting Self-Adaptation via Quantitative Verification and Sensitivity Analysis at Run Time","publication_year":2015,"publication_date":"2015-04-09","ids":{"openalex":"https://openalex.org/W1971139410","doi":"https://doi.org/10.1109/tse.2015.2421318","mag":"1971139410"},"language":"en","primary_location":{"id":"doi:10.1109/tse.2015.2421318","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2015.2421318","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-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":false,"raw_author_name":"Antonio Filieri","raw_affiliation_strings":["Reliable Software Systems Group, University of Stuttgart, Stuttgart, Germany","[Reliable Software Systems Group, University of Stuttgart, Stuttgart, Germany]"],"raw_orcid":"https://orcid.org/0000-0001-9646-646X","affiliations":[{"raw_affiliation_string":"Reliable Software Systems Group, University of Stuttgart, Stuttgart, Germany","institution_ids":["https://openalex.org/I100066346"]},{"raw_affiliation_string":"[Reliable Software Systems Group, University of Stuttgart, Stuttgart, Germany]","institution_ids":["https://openalex.org/I100066346"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031168005","display_name":"Giordano Tamburrelli","orcid":null},"institutions":[{"id":"https://openalex.org/I865915315","display_name":"Vrije Universiteit Amsterdam","ror":"https://ror.org/008xxew50","country_code":"NL","type":"education","lineage":["https://openalex.org/I865915315"]},{"id":"https://openalex.org/I887064364","display_name":"University of Amsterdam","ror":"https://ror.org/04dkp9463","country_code":"NL","type":"education","lineage":["https://openalex.org/I887064364"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Giordano Tamburrelli","raw_affiliation_strings":["Vrije University of Amsterdam, Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Vrije University of Amsterdam, Netherlands","institution_ids":["https://openalex.org/I865915315","https://openalex.org/I887064364"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5024976868","display_name":"Carlo Ghezzi","orcid":"https://orcid.org/0000-0002-7234-5011"},"institutions":[{"id":"https://openalex.org/I93860229","display_name":"Politecnico di Milano","ror":"https://ror.org/01nffqt88","country_code":"IT","type":"education","lineage":["https://openalex.org/I93860229"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Carlo Ghezzi","raw_affiliation_strings":["Dipartimento di Elettronica, Informazione e Bioingegneria at Politecnico di Milano, Milan, Italy","[Dipartimento di Elettronica, Informazione e Bioingegneria at Politecnico di Milano, Milan, Italy]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dipartimento di Elettronica, Informazione e Bioingegneria at Politecnico di Milano, Milan, Italy","institution_ids":["https://openalex.org/I93860229"]},{"raw_affiliation_string":"[Dipartimento di Elettronica, Informazione e Bioingegneria at Politecnico di Milano, Milan, Italy]","institution_ids":["https://openalex.org/I93860229"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":15.7152,"has_fulltext":false,"cited_by_count":115,"citation_normalized_percentile":{"value":0.98994013,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":100},"biblio":{"volume":"42","issue":"1","first_page":"75","last_page":"99"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.7856000065803528,"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.7856000065803528,"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/T12127","display_name":"Software System Performance and Reliability","score":0.04650000110268593,"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/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.028300000354647636,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"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.8869285583496094},{"id":"https://openalex.org/keywords/adaptation","display_name":"Adaptation (eye)","score":0.6666122674942017},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5800930261611938},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5294902920722961},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.49105000495910645},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.49078211188316345},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.46994927525520325},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.43666428327560425},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.4358220398426056},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.41684210300445557},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2280001938343048},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.13322272896766663}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8869285583496094},{"id":"https://openalex.org/C139807058","wikidata":"https://www.wikidata.org/wiki/Q352374","display_name":"Adaptation (eye)","level":2,"score":0.6666122674942017},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5800930261611938},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5294902920722961},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.49105000495910645},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.49078211188316345},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.46994927525520325},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.43666428327560425},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.4358220398426056},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.41684210300445557},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2280001938343048},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.13322272896766663},{"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/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"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/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/tse.2015.2421318","is_oa":false,"landing_page_url":"https://doi.org/10.1109/tse.2015.2421318","pdf_url":null,"source":{"id":"https://openalex.org/S8351582","display_name":"IEEE Transactions on Software Engineering","issn_l":"0098-5589","issn":["0098-5589","1939-3520","2326-3881"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320439","host_organization_name":"IEEE Computer Society","host_organization_lineage":["https://openalex.org/P4310320439","https://openalex.org/P4310319808"],"host_organization_lineage_names":["IEEE Computer Society","Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Transactions on Software Engineering","raw_type":"journal-article"},{"id":"pmh:oai:spiral.imperial.ac.uk:10044/1/33672","is_oa":false,"landing_page_url":"http://hdl.handle.net/10044/1/33672","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":"99","raw_type":"Journal Article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Affordable and clean energy","score":0.9100000262260437,"id":"https://metadata.un.org/sdg/7"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":120,"referenced_works":["https://openalex.org/W194224636","https://openalex.org/W629000019","https://openalex.org/W1498432697","https://openalex.org/W1501881008","https://openalex.org/W1506342804","https://openalex.org/W1507834464","https://openalex.org/W1511105469","https://openalex.org/W1516256348","https://openalex.org/W1520511539","https://openalex.org/W1532041863","https://openalex.org/W1553574558","https://openalex.org/W1553940723","https://openalex.org/W1556604985","https://openalex.org/W1559540003","https://openalex.org/W1561415812","https://openalex.org/W1584568876","https://openalex.org/W1585020894","https://openalex.org/W1600556058","https://openalex.org/W1603153151","https://openalex.org/W1859458367","https://openalex.org/W1862398452","https://openalex.org/W1898469110","https://openalex.org/W1912605153","https://openalex.org/W1939897735","https://openalex.org/W1947095868","https://openalex.org/W1972203711","https://openalex.org/W1974641445","https://openalex.org/W1977832770","https://openalex.org/W1977905705","https://openalex.org/W1990911977","https://openalex.org/W1994840943","https://openalex.org/W2002089154","https://openalex.org/W2005998857","https://openalex.org/W2010798306","https://openalex.org/W2015699956","https://openalex.org/W2022106311","https://openalex.org/W2025529701","https://openalex.org/W2028622255","https://openalex.org/W2033406822","https://openalex.org/W2043253283","https://openalex.org/W2044358720","https://openalex.org/W2054636385","https://openalex.org/W2061501014","https://openalex.org/W2063019338","https://openalex.org/W2071427291","https://openalex.org/W2075465263","https://openalex.org/W2075636906","https://openalex.org/W2075807120","https://openalex.org/W2075813176","https://openalex.org/W2076449438","https://openalex.org/W2092954887","https://openalex.org/W2096210507","https://openalex.org/W2101267836","https://openalex.org/W2103057263","https://openalex.org/W2103778230","https://openalex.org/W2104851058","https://openalex.org/W2106174613","https://openalex.org/W2107701089","https://openalex.org/W2111765806","https://openalex.org/W2112347632","https://openalex.org/W2113097871","https://openalex.org/W2114879646","https://openalex.org/W2128978199","https://openalex.org/W2132680304","https://openalex.org/W2133859873","https://openalex.org/W2135366134","https://openalex.org/W2138969934","https://openalex.org/W2141738327","https://openalex.org/W2142486130","https://openalex.org/W2144780749","https://openalex.org/W2146044140","https://openalex.org/W2146971820","https://openalex.org/W2148839232","https://openalex.org/W2148918736","https://openalex.org/W2149614712","https://openalex.org/W2152863619","https://openalex.org/W2154796631","https://openalex.org/W2155691344","https://openalex.org/W2155791623","https://openalex.org/W2159753366","https://openalex.org/W2160960583","https://openalex.org/W2164096878","https://openalex.org/W2182546124","https://openalex.org/W2736887555","https://openalex.org/W2798307973","https://openalex.org/W2799087070","https://openalex.org/W2914956942","https://openalex.org/W3022498886","https://openalex.org/W3108494467","https://openalex.org/W3131074427","https://openalex.org/W3149068867","https://openalex.org/W3150983323","https://openalex.org/W4230388127","https://openalex.org/W4233554390","https://openalex.org/W4233784018","https://openalex.org/W4240596267","https://openalex.org/W4243710896","https://openalex.org/W4255298020","https://openalex.org/W4302339081","https://openalex.org/W4385971629","https://openalex.org/W6607098415","https://openalex.org/W6630299180","https://openalex.org/W6630642437","https://openalex.org/W6633101925","https://openalex.org/W6633290494","https://openalex.org/W6633612584","https://openalex.org/W6635295228","https://openalex.org/W6636055779","https://openalex.org/W6636109449","https://openalex.org/W6638944184","https://openalex.org/W6639642169","https://openalex.org/W6639736545","https://openalex.org/W6640688393","https://openalex.org/W6669931583","https://openalex.org/W6674219858","https://openalex.org/W6675406700","https://openalex.org/W6679554830","https://openalex.org/W6681833188","https://openalex.org/W6682057402","https://openalex.org/W6786611028"],"related_works":["https://openalex.org/W2997567050","https://openalex.org/W1538854713","https://openalex.org/W2494523064","https://openalex.org/W1484021165","https://openalex.org/W2943623134","https://openalex.org/W4235160909","https://openalex.org/W1483272040","https://openalex.org/W4283377908","https://openalex.org/W2215759665","https://openalex.org/W3021865842"],"abstract_inverted_index":{"Modern":[0],"software-intensive":[1],"systems":[2],"often":[3,13],"interact":[4],"with":[5,47],"an":[6],"environment":[7],"whose":[8],"behavior":[9],"changes":[10,18,46,181,197],"over":[11],"time,":[12,67],"unpredictably.":[14],"The":[15,183],"occurrence":[16,44],"of":[17,45,120,136,151,167,196],"may":[19,88],"jeopardize":[20],"their":[21],"ability":[22],"to":[23,32,42,65,68],"meet":[24,111],"the":[25,43,80,112,149,194],"desired":[26],"requirements.":[27],"It":[28],"is":[29,78,148],"therefore":[30],"desirable":[31],"design":[33],"software":[34,60],"in":[35,118],"a":[36,76,152,165],"way":[37],"that":[38,170],"it":[39],"can":[40,55,83,171,199],"self-adapt":[41],"limited,":[48],"or":[49,142],"even":[50],"without,":[51],"human":[52],"intervention.":[53],"Self-adaptation":[54],"be":[56,172],"achieved":[57],"by":[58,115],"bringing":[59],"models":[61],"and":[62,90,100,123,131,198],"model":[63,97,159],"checking":[64,98],"run":[66,176],"support":[69],"perpetual":[70,134],"automatic":[71],"reasoning":[72,192],"about":[73,193],"changes.":[74],"Once":[75],"change":[77],"detected,":[79],"system":[81],"itself":[82],"predict":[84],"if":[85],"requirements":[86],"violations":[87],"occur":[89],"enable":[91],"appropriate":[92],"counter-actions.":[93],"However,":[94],"existing":[95],"mainstream":[96],"techniques":[99],"tools":[101],"were":[102],"not":[103],"conceived":[104],"for":[105,155],"run-time":[106,156],"usage;":[107],"hence":[108],"they":[109],"hardly":[110],"constraints":[113],"imposed":[114],"on-the-fly":[116],"analysis":[117],"terms":[119],"execution":[121],"time":[122,177],"memory":[124],"usage.":[125],"This":[126],"paper":[127],"addresses":[128],"this":[129],"issue":[130],"focuses":[132],"on":[133],"satisfaction":[135],"non-functional":[137],"requirements,":[138],"such":[139],"as":[140,178,180],"reliability":[141],"energy":[143],"consumption.":[144],"Its":[145],"main":[146],"contribution":[147],"description":[150],"mathematical":[153],"framework":[154],"efficient":[157],"probabilistic":[158],"checking.":[160],"Our":[161],"approach":[162,185],"statically":[163],"generates":[164],"set":[166],"verification":[168],"conditions":[169],"efficiently":[173],"evaluated":[174],"at":[175],"soon":[179],"occur.":[182],"proposed":[184],"also":[186],"supports":[187],"sensitivity":[188],"analysis,":[189],"which":[190],"enables":[191],"effects":[195],"drive":[200],"effective":[201],"adaptation":[202],"strategies.":[203]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":11},{"year":2022,"cited_by_count":11},{"year":2021,"cited_by_count":14},{"year":2020,"cited_by_count":13},{"year":2019,"cited_by_count":21},{"year":2018,"cited_by_count":14},{"year":2017,"cited_by_count":15},{"year":2016,"cited_by_count":5},{"year":2015,"cited_by_count":2}],"updated_date":"2026-03-27T05:58:40.876381","created_date":"2025-10-10T00:00:00"}