{"id":"https://openalex.org/W1955224005","doi":"https://doi.org/10.1109/sasow.2015.14","title":"Analyzing Resilience Properties of Different Topologies of Collective Adaptive Systems","display_name":"Analyzing Resilience Properties of Different Topologies of Collective Adaptive Systems","publication_year":2015,"publication_date":"2015-09-01","ids":{"openalex":"https://openalex.org/W1955224005","doi":"https://doi.org/10.1109/sasow.2015.14","mag":"1955224005"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/sasow.2015.14","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"proceedings-article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://figshare.com/articles/journal_contribution/Analyzing_Resilience_Properties_of_Different_Topologies_of_Collective_Adaptive_Systems/6621107/1/files/12117518.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5088820358","display_name":"Thomas J. Glazier","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":"Thomas J. Glazier","raw_affiliation_strings":["[Sch. of Comput. Sci., Carnegie, Mellon Univ., Pittsburgh, PA, USA]"],"affiliations":[{"raw_affiliation_string":"[Sch. of Comput. Sci., Carnegie, Mellon Univ., Pittsburgh, PA, USA]","institution_ids":["https://openalex.org/I74973139"]}]},{"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 Camara","raw_affiliation_strings":["[Sch. of Comput. Sci., Carnegie, Mellon Univ., Pittsburgh, PA, USA]"],"affiliations":[{"raw_affiliation_string":"[Sch. of Comput. Sci., Carnegie, Mellon Univ., Pittsburgh, PA, USA]","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"middle","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":["[Sch. of Comput. Sci., Carnegie, Mellon Univ., Pittsburgh, PA, USA]"],"affiliations":[{"raw_affiliation_string":"[Sch. of Comput. Sci., Carnegie, Mellon Univ., Pittsburgh, PA, USA]","institution_ids":["https://openalex.org/I74973139"]}]},{"author_position":"last","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":["[Sch. of Comput. Sci., Carnegie, Mellon Univ., Pittsburgh, PA, USA]"],"affiliations":[{"raw_affiliation_string":"[Sch. of Comput. Sci., Carnegie, Mellon Univ., Pittsburgh, PA, USA]","institution_ids":["https://openalex.org/I74973139"]}]}],"institution_assertions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.542,"has_fulltext":true,"fulltext_origin":"ngrams","cited_by_count":11,"citation_normalized_percentile":{"value":0.732489,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":86,"max":87},"biblio":{"volume":null,"issue":null,"first_page":"55","last_page":"60"},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.999,"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.999,"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/T10142","display_name":"Formal Methods in Verification","score":0.999,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9957,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/nondeterministic-algorithm","display_name":"Nondeterministic algorithm","score":0.91502845},{"id":"https://openalex.org/keywords/resilience","display_name":"Resilience","score":0.66894317},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.55938995},{"id":"https://openalex.org/keywords/adaptive-system","display_name":"Adaptive system","score":0.43242592}],"concepts":[{"id":"https://openalex.org/C176181172","wikidata":"https://www.wikidata.org/wiki/Q3490301","display_name":"Nondeterministic algorithm","level":2,"score":0.91502845},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.78268147},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.7684928},{"id":"https://openalex.org/C2779585090","wikidata":"https://www.wikidata.org/wiki/Q3457762","display_name":"Resilience (materials science)","level":2,"score":0.66894317},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.55938995},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.53722465},{"id":"https://openalex.org/C199845137","wikidata":"https://www.wikidata.org/wiki/Q145490","display_name":"Network topology","level":2,"score":0.5224663},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.5021522},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.44268662},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.43278056},{"id":"https://openalex.org/C52970973","wikidata":"https://www.wikidata.org/wiki/Q2497134","display_name":"Adaptive system","level":2,"score":0.43242592},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.38375428},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.25070888},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.11162022},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1109/sasow.2015.14","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false},{"is_oa":true,"landing_page_url":"https://figshare.com/articles/journal_contribution/Analyzing_Resilience_Properties_of_Different_Topologies_of_Collective_Adaptive_Systems/6621107","pdf_url":"https://figshare.com/articles/journal_contribution/Analyzing_Resilience_Properties_of_Different_Topologies_of_Collective_Adaptive_Systems/6621107/1/files/12117518.pdf","source":{"id":"https://openalex.org/S4306402621","display_name":"INDIGO (University of Illinois at Chicago)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I39422238","host_organization_name":"University of Illinois Chicago","host_organization_lineage":["https://openalex.org/I39422238"],"host_organization_lineage_names":["University of Illinois Chicago"],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false}],"best_oa_location":{"is_oa":true,"landing_page_url":"https://figshare.com/articles/journal_contribution/Analyzing_Resilience_Properties_of_Different_Topologies_of_Collective_Adaptive_Systems/6621107","pdf_url":"https://figshare.com/articles/journal_contribution/Analyzing_Resilience_Properties_of_Different_Topologies_of_Collective_Adaptive_Systems/6621107/1/files/12117518.pdf","source":{"id":"https://openalex.org/S4306402621","display_name":"INDIGO (University of Illinois at Chicago)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I39422238","host_organization_name":"University of Illinois Chicago","host_organization_lineage":["https://openalex.org/I39422238"],"host_organization_lineage_names":["University of Illinois Chicago"],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false},"sustainable_development_goals":[],"grants":[],"datasets":[],"versions":[],"referenced_works_count":18,"referenced_works":["https://openalex.org/W1601373402","https://openalex.org/W1809182522","https://openalex.org/W1862398452","https://openalex.org/W1976103537","https://openalex.org/W1977695253","https://openalex.org/W1999766763","https://openalex.org/W2048905609","https://openalex.org/W2106272197","https://openalex.org/W2113113866","https://openalex.org/W2134222382","https://openalex.org/W2138707849","https://openalex.org/W2206317714","https://openalex.org/W2476694358","https://openalex.org/W2546438959","https://openalex.org/W2899043600","https://openalex.org/W4232718097","https://openalex.org/W4242441073","https://openalex.org/W572144844"],"related_works":["https://openalex.org/W431757482","https://openalex.org/W3161879573","https://openalex.org/W3132573772","https://openalex.org/W2497444493","https://openalex.org/W2167793921","https://openalex.org/W2115166264","https://openalex.org/W2102187481","https://openalex.org/W2099809377","https://openalex.org/W184826316","https://openalex.org/W1576777252"],"abstract_inverted_index":{"Modern":[0],"software":[1,85],"systems":[2,66,144,198,252],"are":[3,67],"often":[4],"compositions":[5],"of":[6,64,83,91,103,123,142,149,182,192,199,203,231,244,249],"entities":[7],"that":[8,57,119],"increasingly":[9],"use":[10,230],"self-adaptive":[11,65],"capabilities":[12],"to":[13,17,30,48,72,107,132,156,172,207,221,233],"improve":[14],"their":[15,42],"behavior":[16],"achieve":[18],"systemic":[19],"quality":[20],"goals.":[21],"Self":[22],"adaptive":[23,143],"managers":[24],"for":[25,247],"each":[26],"component":[27],"system":[28],"attempt":[29],"provide":[31],"locally":[32],"optimal":[33,52],"results,":[34],"but":[35],"if":[36],"they":[37,236],"cooperated":[38],"and":[39,62,75,94,135,169,175,184,187],"potentially":[40],"coordinated":[41],"efforts":[43],"it":[44],"might":[45],"be":[46,108,238],"possible":[47],"obtain":[49],"more":[50],"globally":[51],"results.":[53],"The":[54],"emergent":[55,97,138,158,223],"properties":[56,139,159,224],"result":[58],"from":[59],"such":[60,99],"composition":[61],"cooperation":[63],"not":[68],"well":[69],"understood,":[70],"difficult":[71],"reason":[73,136,208],"about,":[74],"present":[76],"a":[77,129,152,173,218],"key":[78],"challenge":[79],"in":[80,140,160,179,225,240],"the":[81,89,101,104,167,180,189,193,196,200,212,229,242],"evolution":[82],"modern":[84],"systems.":[86,113],"For":[87],"example,":[88],"effects":[90],"coordination":[92],"patterns":[93],"protocols":[95],"on":[96],"properties,":[98],"as":[100],"resiliency":[102],"collectives,":[105],"need":[106],"understood":[109],"when":[110],"designing":[111],"these":[112],"In":[114],"this":[115],"paper":[116],"we":[117],"propose":[118],"probabilistic":[120,183],"model":[121],"checking":[122],"stochastic":[124],"multiplayer":[125],"games":[126],"(SMG)":[127],"provides":[128],"promising":[130],"approach":[131],"analyze,":[133],"understand,":[134],"about":[137,209],"collectives":[141],"(CAS).":[145],"Probabilistic":[146],"Model":[147],"Checking":[148],"SMGs":[150,204,232],"is":[151],"technique":[153],"particularly":[154],"suited":[155],"analyzing":[157,241],"CAS":[161,174],"since":[162],"SMG":[163],"models":[164],"capture:":[165],"(i)":[166],"uncertainty":[168],"variability":[170],"intrinsic":[171],"its":[176],"execution":[177],"environment":[178],"form":[181],"nondeterministic":[185],"choices,":[186],"(ii)":[188],"competitive/cooperative":[190],"aspects":[191],"interplay":[194],"among":[195],"constituent":[197],"CAS.":[201,226],"Analysis":[202],"allows":[205],"us":[206],"things":[210],"like":[211],"worst":[213],"case":[214],"scenarios,":[215],"which":[216],"constitutes":[217],"new":[219],"contribution":[220],"understanding":[222],"We":[227],"investigate":[228],"show":[234],"how":[235],"can":[237],"useful":[239],"impact":[243],"communication":[245],"topology":[246],"collections":[248],"fully":[250],"cooperative":[251],"defending":[253],"against":[254],"an":[255],"external":[256],"attack.":[257]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W1955224005","counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":2},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":2}],"updated_date":"2024-12-10T22:14:55.860412","created_date":"2016-06-24"}