{"id":"https://openalex.org/W2086502833","doi":"https://doi.org/10.1145/2786805.2786853","title":"Proactive self-adaptation under uncertainty: a probabilistic model checking approach","display_name":"Proactive self-adaptation under uncertainty: a probabilistic model checking approach","publication_year":2015,"publication_date":"2015-08-26","ids":{"openalex":"https://openalex.org/W2086502833","doi":"https://doi.org/10.1145/2786805.2786853","mag":"2086502833"},"language":"en","primary_location":{"id":"doi:10.1145/2786805.2786853","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2786805.2786853","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2015 10th Joint Meeting on Foundations of 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/A5103073442","display_name":"Gabriel A. Moreno","orcid":"https://orcid.org/0000-0002-1976-8699"},"institutions":[{"id":"https://openalex.org/I37426187","display_name":"Stockholm Environment Institute","ror":"https://ror.org/03kke0n21","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I37426187","https://openalex.org/I4210154877"]},{"id":"https://openalex.org/I4210141289","display_name":"Save Ellis Island","ror":"https://ror.org/05077g455","country_code":"US","type":"other","lineage":["https://openalex.org/I4210141289"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Gabriel A. Moreno","raw_affiliation_strings":["SEI, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"SEI, USA","institution_ids":["https://openalex.org/I37426187","https://openalex.org/I4210141289"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5091731762","display_name":"Javier C\u00e1mara","orcid":"https://orcid.org/0000-0001-6717-4775"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Javier C\u00e1mara","raw_affiliation_strings":["Carnegie Mellon University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University, USA","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5108485872","display_name":"David Garlan","orcid":null},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"David Garlan","raw_affiliation_strings":["Carnegie Mellon University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University, USA","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5057348711","display_name":"Bradley Schmerl","orcid":"https://orcid.org/0000-0001-7828-622X"},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Bradley Schmerl","raw_affiliation_strings":["Carnegie Mellon University, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Carnegie Mellon University, USA","institution_ids":["https://openalex.org/I74973139"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":12.5381,"has_fulltext":false,"cited_by_count":176,"citation_normalized_percentile":{"value":0.99108952,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"12"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9991000294685364,"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.9991000294685364,"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.9685999751091003,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.9581999778747559,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/adaptation","display_name":"Adaptation (eye)","score":0.7912293672561646},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7870679497718811},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.6317920088768005},{"id":"https://openalex.org/keywords/time-horizon","display_name":"Time horizon","score":0.5881133675575256},{"id":"https://openalex.org/keywords/factoring","display_name":"Factoring","score":0.5247440934181213},{"id":"https://openalex.org/keywords/nondeterministic-algorithm","display_name":"Nondeterministic algorithm","score":0.5186716318130493},{"id":"https://openalex.org/keywords/latency","display_name":"Latency (audio)","score":0.4598437547683716},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.291838675737381},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.15831142663955688},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.15688464045524597},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.06812754273414612}],"concepts":[{"id":"https://openalex.org/C139807058","wikidata":"https://www.wikidata.org/wiki/Q352374","display_name":"Adaptation (eye)","level":2,"score":0.7912293672561646},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7870679497718811},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6317920088768005},{"id":"https://openalex.org/C28761237","wikidata":"https://www.wikidata.org/wiki/Q7805321","display_name":"Time horizon","level":2,"score":0.5881133675575256},{"id":"https://openalex.org/C177225278","wikidata":"https://www.wikidata.org/wiki/Q192674","display_name":"Factoring","level":2,"score":0.5247440934181213},{"id":"https://openalex.org/C176181172","wikidata":"https://www.wikidata.org/wiki/Q3490301","display_name":"Nondeterministic algorithm","level":2,"score":0.5186716318130493},{"id":"https://openalex.org/C82876162","wikidata":"https://www.wikidata.org/wiki/Q17096504","display_name":"Latency (audio)","level":2,"score":0.4598437547683716},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.291838675737381},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.15831142663955688},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.15688464045524597},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.06812754273414612},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","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},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","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},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2786805.2786853","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2786805.2786853","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2015 10th Joint Meeting on Foundations of Software Engineering","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320306078","display_name":"U.S. Department of Defense","ror":"https://ror.org/0447fe631"},{"id":"https://openalex.org/F4320310207","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33"},{"id":"https://openalex.org/F4320311089","display_name":"National Security Agency","ror":"https://ror.org/0047bvr32"},{"id":"https://openalex.org/F4320337345","display_name":"Office of Naval Research","ror":"https://ror.org/00rk2pe57"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":52,"referenced_works":["https://openalex.org/W12688243","https://openalex.org/W111205182","https://openalex.org/W117911312","https://openalex.org/W189762428","https://openalex.org/W1479758699","https://openalex.org/W1533889658","https://openalex.org/W1555496414","https://openalex.org/W1862398452","https://openalex.org/W1886563687","https://openalex.org/W1964137226","https://openalex.org/W1974641445","https://openalex.org/W1976103537","https://openalex.org/W1976242261","https://openalex.org/W1990911977","https://openalex.org/W1998284497","https://openalex.org/W2005325183","https://openalex.org/W2013298510","https://openalex.org/W2019345943","https://openalex.org/W2019472314","https://openalex.org/W2033406822","https://openalex.org/W2036700201","https://openalex.org/W2036747262","https://openalex.org/W2044546235","https://openalex.org/W2050085132","https://openalex.org/W2059423113","https://openalex.org/W2075233755","https://openalex.org/W2078953539","https://openalex.org/W2082831169","https://openalex.org/W2096210507","https://openalex.org/W2099564621","https://openalex.org/W2107240614","https://openalex.org/W2113113866","https://openalex.org/W2123604449","https://openalex.org/W2125262761","https://openalex.org/W2131126403","https://openalex.org/W2143650210","https://openalex.org/W2146044140","https://openalex.org/W2148005661","https://openalex.org/W2151351443","https://openalex.org/W2161635724","https://openalex.org/W2162943184","https://openalex.org/W2162983444","https://openalex.org/W2163731518","https://openalex.org/W2314066839","https://openalex.org/W2482265217","https://openalex.org/W2495388083","https://openalex.org/W2561675875","https://openalex.org/W2597923414","https://openalex.org/W2983611614","https://openalex.org/W3147107647","https://openalex.org/W4242441073","https://openalex.org/W4254621033"],"related_works":["https://openalex.org/W2377710379","https://openalex.org/W2947911821","https://openalex.org/W2393473966","https://openalex.org/W2278329956","https://openalex.org/W1996880246","https://openalex.org/W3008777928","https://openalex.org/W3149394920","https://openalex.org/W2950416039","https://openalex.org/W1517042805","https://openalex.org/W1597181838"],"abstract_inverted_index":{"Self-adaptive":[0],"systems":[1],"tend":[2],"to":[3,11,29,47,53,116],"be":[4,54],"reactive":[5],"and":[6,43,85,135,162,188,195],"myopic,":[7],"adapting":[8],"in":[9,26,125],"response":[10],"changes":[12],"without":[13],"anticipating":[14],"what":[15],"the":[16,30,65,122,127,137,141,146,150,160,166,170,181,189,200],"subsequent":[17],"adaptation":[18,73,79,87,101,110,128,155,203],"needs":[19],"will":[20],"be.":[21],"Adapting":[22],"reactively":[23],"can":[24],"result":[25],"inefficiencies":[27],"due":[28],"system":[31,124],"performing":[32],"a":[33,82,118,185],"suboptimal":[34],"sequence":[35],"of":[36,121,169,191,202],"adaptations.":[37],"Furthermore,":[38],"when":[39],"adaptations":[40],"have":[41,52,136],"latency,":[42],"take":[44],"some":[45],"time":[46,59,66],"produce":[48],"their":[49,67],"effect,":[50],"they":[51,62],"started":[55],"with":[56,81],"sufficient":[57],"lead":[58],"so":[60,144],"that":[61,104,145,180],"complete":[63],"by":[64,77],"effect":[68],"is":[69,115,130,152,157],"needed.":[70],"Proactive":[71],"latency-aware":[72,100],"addresses":[74],"these":[75],"issues":[76],"making":[78],"decisions":[80],"look-ahead":[83,186],"horizon":[84,151],"taking":[86],"latency":[88,194],"into":[89,164],"account.":[90],"In":[91],"this":[92],"paper":[93],"we":[94],"present":[95],"an":[96],"approach":[97],"for":[98,109,174],"proactive":[99],"under":[102],"uncertainty":[103,168],"uses":[105],"probabilistic":[106],"model":[107,120,138],"checking":[108],"decisions.":[111,204],"The":[112,154],"key":[113],"idea":[114],"use":[117],"formal":[119],"adaptive":[123],"which":[126],"decision":[129,156,182],"left":[131],"underspecified":[132],"through":[133],"nondeterminism,":[134],"checker":[139],"resolve":[140],"nondeterministic":[142],"choices":[143],"accumulated":[147],"utility":[148],"over":[149,159],"maximized.":[153],"optimal":[158],"horizon,":[161,187],"takes":[163],"account":[165],"inherent":[167],"environment":[171,196],"predictions":[172],"needed":[173],"looking":[175],"ahead.":[176],"Our":[177],"results":[178],"show":[179],"based":[183],"on":[184],"factoring":[190],"both":[192],"tactic":[193],"uncertainty,":[197],"considerably":[198],"improve":[199],"effectiveness":[201]},"counts_by_year":[{"year":2026,"cited_by_count":4},{"year":2025,"cited_by_count":4},{"year":2024,"cited_by_count":14},{"year":2023,"cited_by_count":8},{"year":2022,"cited_by_count":21},{"year":2021,"cited_by_count":19},{"year":2020,"cited_by_count":26},{"year":2019,"cited_by_count":19},{"year":2018,"cited_by_count":22},{"year":2017,"cited_by_count":28},{"year":2016,"cited_by_count":10},{"year":2015,"cited_by_count":1}],"updated_date":"2026-08-12T21:12:35.861297","created_date":"2025-10-10T00:00:00"}