{"id":"https://openalex.org/W3217513678","doi":"https://doi.org/10.46298/lmcs-19(3:2)2023","title":"A framework to measure the robustness of programs in the unpredictable environment","display_name":"A framework to measure the robustness of programs in the unpredictable environment","publication_year":2023,"publication_date":"2023-07-07","ids":{"openalex":"https://openalex.org/W3217513678","doi":"https://doi.org/10.46298/lmcs-19(3:2)2023","mag":"3217513678"},"language":"en","primary_location":{"id":"doi:10.46298/lmcs-19(3:2)2023","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-19(3:2)2023","pdf_url":"https://lmcs.episciences.org/11554/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://lmcs.episciences.org/11554/pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5065420986","display_name":"Valentina Castiglioni","orcid":"https://orcid.org/0000-0002-8112-6523"},"institutions":[{"id":"https://openalex.org/I123185442","display_name":"Reykjav\u00edk University","ror":"https://ror.org/05d2kyx68","country_code":"IS","type":"education","lineage":["https://openalex.org/I123185442"]}],"countries":["IS"],"is_corresponding":false,"raw_author_name":"Valentina Castiglioni","raw_affiliation_strings":["Reykjavik University, Iceland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Reykjavik University, Iceland","institution_ids":["https://openalex.org/I123185442"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5069085203","display_name":"Michele Loreti","orcid":"https://orcid.org/0000-0003-3061-863X"},"institutions":[{"id":"https://openalex.org/I112859197","display_name":"Universit\u00e0 di Camerino","ror":"https://ror.org/0005w8d69","country_code":"IT","type":"education","lineage":["https://openalex.org/I112859197"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Michele Loreti","raw_affiliation_strings":["University of Camerino, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Camerino, Italy","institution_ids":["https://openalex.org/I112859197"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5060188970","display_name":"Simone Tini","orcid":"https://orcid.org/0000-0002-3991-5123"},"institutions":[{"id":"https://openalex.org/I115752224","display_name":"University of Insubria","ror":"https://ror.org/00s409261","country_code":"IT","type":"education","lineage":["https://openalex.org/I115752224"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Simone Tini","raw_affiliation_strings":["University of Insubria, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Insubria, Italy","institution_ids":["https://openalex.org/I115752224"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.4304,"has_fulltext":true,"cited_by_count":8,"citation_normalized_percentile":{"value":0.87198795,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":98},"biblio":{"volume":"Volume 19, Issue 3","issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9990000128746033,"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"}},"topics":[{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9990000128746033,"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"}},{"id":"https://openalex.org/T10260","display_name":"Software Engineering Research","score":0.9922999739646912,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9805999994277954,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7966699600219727},{"id":"https://openalex.org/keywords/robustness","display_name":"Robustness (evolution)","score":0.6432967185974121},{"id":"https://openalex.org/keywords/adaptability","display_name":"Adaptability","score":0.6108001470565796},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.4658447504043579},{"id":"https://openalex.org/keywords/measure","display_name":"Measure (data warehouse)","score":0.4241224527359009},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.34518635272979736},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.2559559643268585},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.19357264041900635}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7966699600219727},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.6432967185974121},{"id":"https://openalex.org/C177606310","wikidata":"https://www.wikidata.org/wiki/Q5674297","display_name":"Adaptability","level":2,"score":0.6108001470565796},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.4658447504043579},{"id":"https://openalex.org/C2780009758","wikidata":"https://www.wikidata.org/wiki/Q6804172","display_name":"Measure (data warehouse)","level":2,"score":0.4241224527359009},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.34518635272979736},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.2559559643268585},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.19357264041900635},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.46298/lmcs-19(3:2)2023","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-19(3:2)2023","pdf_url":"https://lmcs.episciences.org/11554/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2111.15319","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2111.15319","pdf_url":"https://arxiv.org/pdf/2111.15319","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:irinsubria.uninsubria.it:11383/2164254","is_oa":true,"landing_page_url":"https://hdl.handle.net/11383/2164254","pdf_url":"https://irinsubria.uninsubria.it/bitstream/11383/2164254/2/A-Framework-To-Measure-The-Robustness-Of-Programs-In-The-Unpredictable-EnvironmentLogical-Methods-in-Computer-Science.pdf","source":{"id":"https://openalex.org/S4377196351","display_name":"IrInSubria (University of Insubria)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I115752224","host_organization_name":"University of Insubria","host_organization_lineage":["https://openalex.org/I115752224"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:doaj.org/article:9e3d0f7ba31e481bac024a4109c5aaf2","is_oa":true,"landing_page_url":"https://doaj.org/article/9e3d0f7ba31e481bac024a4109c5aaf2","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","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":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Logical Methods in Computer Science, Vol Volume 19, Issue 3 (2023)","raw_type":"article"},{"id":"pmh:oai:pubblicazioni.unicam.it:11581/475643","is_oa":true,"landing_page_url":"https://lmcs.episciences.org/11554","pdf_url":null,"source":{"id":"https://openalex.org/S4306400819","display_name":"Unicam Scientific Publications (University of Camerino)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I112859197","host_organization_name":"Universit\u00e0 di Camerino","host_organization_lineage":["https://openalex.org/I112859197"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.46298/lmcs-19(3:2)2023","is_oa":true,"landing_page_url":"https://doi.org/10.46298/lmcs-19(3:2)2023","pdf_url":"https://lmcs.episciences.org/11554/pdf","source":{"id":"https://openalex.org/S114379355","display_name":"Logical Methods in Computer Science","issn_l":"1860-5974","issn":["1860-5974"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310313916","host_organization_name":"Logical Methods in Computer Science e.V.","host_organization_lineage":["https://openalex.org/P4310313916"],"host_organization_lineage_names":["Logical Methods in Computer Science e.V."],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Logical Methods in Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[{"display_name":"Life in Land","score":0.47999998927116394,"id":"https://metadata.un.org/sdg/15"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3217513678.pdf"},"referenced_works_count":67,"referenced_works":["https://openalex.org/W50401203","https://openalex.org/W61126615","https://openalex.org/W173641204","https://openalex.org/W385466589","https://openalex.org/W611617050","https://openalex.org/W1479674952","https://openalex.org/W1508592466","https://openalex.org/W1533557569","https://openalex.org/W1540641342","https://openalex.org/W1547304883","https://openalex.org/W1551877760","https://openalex.org/W1588998206","https://openalex.org/W1757114815","https://openalex.org/W1850900101","https://openalex.org/W1979833590","https://openalex.org/W1993112505","https://openalex.org/W1999941908","https://openalex.org/W2000992741","https://openalex.org/W2010923515","https://openalex.org/W2015172530","https://openalex.org/W2035537281","https://openalex.org/W2038192316","https://openalex.org/W2049399166","https://openalex.org/W2066338765","https://openalex.org/W2086234878","https://openalex.org/W2103931555","https://openalex.org/W2117706501","https://openalex.org/W2119567691","https://openalex.org/W2125678250","https://openalex.org/W2126634848","https://openalex.org/W2131029465","https://openalex.org/W2131263964","https://openalex.org/W2135657750","https://openalex.org/W2146187895","https://openalex.org/W2149713648","https://openalex.org/W2150436340","https://openalex.org/W2154553818","https://openalex.org/W2335842638","https://openalex.org/W2407991977","https://openalex.org/W2536060102","https://openalex.org/W2547168016","https://openalex.org/W2585330569","https://openalex.org/W2607424191","https://openalex.org/W2739748921","https://openalex.org/W2760914093","https://openalex.org/W2766717610","https://openalex.org/W2807330903","https://openalex.org/W2894682923","https://openalex.org/W2901915715","https://openalex.org/W2904957212","https://openalex.org/W2913545290","https://openalex.org/W2934891176","https://openalex.org/W2962879692","https://openalex.org/W2963746531","https://openalex.org/W2973264323","https://openalex.org/W2996270380","https://openalex.org/W3096444646","https://openalex.org/W3105461229","https://openalex.org/W3121327281","https://openalex.org/W3124278028","https://openalex.org/W3167774394","https://openalex.org/W3168806575","https://openalex.org/W4237190028","https://openalex.org/W4253577938","https://openalex.org/W4295521014","https://openalex.org/W4312108543","https://openalex.org/W4380634831"],"related_works":["https://openalex.org/W2357124094","https://openalex.org/W2387399993","https://openalex.org/W2389739210","https://openalex.org/W2348924972","https://openalex.org/W2365736347","https://openalex.org/W2047454415","https://openalex.org/W2070040999","https://openalex.org/W2387293848","https://openalex.org/W3121791438","https://openalex.org/W2250140200"],"abstract_inverted_index":{"Due":[0],"to":[1,12,20,26,48,55,73,86,146,162,182,208,222],"the":[2,75,81,90,95,99,102,127,148,157,177,192,197,210,214,223,227],"diffusion":[3],"of":[4,33,77,83,104,115,136,150,159,172,179,194],"IoT,":[5],"modern":[6],"software":[7],"systems":[8],"are":[9],"often":[10],"thought":[11],"control":[13],"and":[14,23,25,40,58,93,152,213,225],"coordinate":[15],"smart":[16],"devices":[17],"in":[18,53,89,122,196],"order":[19,54],"manage":[21],"assets":[22],"resources,":[24],"guarantee":[27,49],"efficient":[28],"behaviours.":[29],"For":[30,124],"this":[31,63,125],"class":[32],"systems,":[34],"which":[35],"interact":[36],"extensively":[37],"with":[38,41,107],"humans":[39],"their":[42,50],"environment,":[43],"it":[44],"is":[45,80,110,206],"thus":[46],"crucial":[47],"correct":[51],"behaviour":[52,186],"avoid":[56],"unexpected":[57],"possibly":[59],"dangerous":[60],"situations.":[61],"In":[62,98],"paper":[64],"we":[65],"will":[66,130,142],"present":[67],"a":[68,84,105,113,160,169,180],"framework":[69,141],"that":[70],"allows":[71],"us":[72],"measure":[74],"robustness":[76],"systems.":[78],"This":[79],"ability":[82,158,178],"program":[85,106,161,181],"tolerate":[87],"changes":[88],"environmental":[91,166],"conditions":[92,167],"preserving":[94],"original":[96],"behaviour.":[97],"proposed":[100,140,207,211,228],"framework,":[101],"interaction":[103],"its":[108,184],"environment":[109],"represented":[111],"as":[112],"sequence":[114],"random":[116],"variables":[117],"describing":[118],"how":[119],"both":[120],"evolve":[121],"time.":[123,173],"reason,":[126],"considered":[128],"measures":[129],"be":[131,143],"defined":[132],"among":[133],"probability":[134],"distributions":[135],"observed":[137],"data.":[138],"The":[139,154,174],"then":[144],"used":[145],"define":[147],"notions":[149],"adaptability":[151],"reliability.":[153],"former":[155],"indicates":[156],"absorb":[163],"perturbation":[164],"on":[165,203],"after":[168],"given":[170],"amount":[171],"latter":[175],"expresses":[176],"maintain":[183],"intended":[185],"(up-to":[187],"some":[188],"reasonable":[189],"tolerance)":[190],"despite":[191],"presence":[193],"perturbations":[195],"environment.":[198],"Moreover,":[199],"an":[200],"algorithm,":[201],"based":[202],"statistical":[204],"inference,":[205],"evaluate":[209,226],"metric":[212],"aforementioned":[215],"properties.":[216],"We":[217],"use":[218],"two":[219],"case":[220],"studies":[221],"describe":[224],"approach.":[229]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":4}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}