{"id":"https://openalex.org/W2884377853","doi":"https://doi.org/10.1145/3193992.3194001","title":"Self-adaptive automata","display_name":"Self-adaptive automata","publication_year":2018,"publication_date":"2018-06-02","ids":{"openalex":"https://openalex.org/W2884377853","doi":"https://doi.org/10.1145/3193992.3194001","mag":"2884377853"},"language":"en","primary_location":{"id":"doi:10.1145/3193992.3194001","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3193992.3194001","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 6th Conference on Formal Methods in 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/A5046377905","display_name":"Aimee Borda","orcid":null},"institutions":[{"id":"https://openalex.org/I205274468","display_name":"Trinity College Dublin","ror":"https://ror.org/02tyrky19","country_code":"IE","type":"education","lineage":["https://openalex.org/I205274468"]}],"countries":["IE"],"is_corresponding":true,"raw_author_name":"Aimee Borda","raw_affiliation_strings":["Trinity College Dublin, Dublin, Ireland"],"affiliations":[{"raw_affiliation_string":"Trinity College Dublin, Dublin, Ireland","institution_ids":["https://openalex.org/I205274468"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5012184818","display_name":"Vasileios Koutavas","orcid":"https://orcid.org/0000-0002-3970-2486"},"institutions":[{"id":"https://openalex.org/I205274468","display_name":"Trinity College Dublin","ror":"https://ror.org/02tyrky19","country_code":"IE","type":"education","lineage":["https://openalex.org/I205274468"]}],"countries":["IE"],"is_corresponding":false,"raw_author_name":"Vasileios Koutavas","raw_affiliation_strings":["Trinity College Dublin, Dublin, Ireland"],"affiliations":[{"raw_affiliation_string":"Trinity College Dublin, Dublin, Ireland","institution_ids":["https://openalex.org/I205274468"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5046377905"],"corresponding_institution_ids":["https://openalex.org/I205274468"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.07722762,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"64","last_page":"73"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9998000264167786,"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.9998000264167786,"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.9973000288009644,"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/T12127","display_name":"Software System Performance and Reliability","score":0.9970999956130981,"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.8100708723068237},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8092504739761353},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7116215229034424},{"id":"https://openalex.org/keywords/automaton","display_name":"Automaton","score":0.5525830984115601},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5088022351264954},{"id":"https://openalex.org/keywords/event","display_name":"Event (particle physics)","score":0.495578408241272},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.4745767116546631},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.46295884251594543},{"id":"https://openalex.org/keywords/adaptive-system","display_name":"Adaptive system","score":0.46101537346839905},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.23588654398918152},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.19530409574508667},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.11563056707382202}],"concepts":[{"id":"https://openalex.org/C139807058","wikidata":"https://www.wikidata.org/wiki/Q352374","display_name":"Adaptation (eye)","level":2,"score":0.8100708723068237},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8092504739761353},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7116215229034424},{"id":"https://openalex.org/C112505250","wikidata":"https://www.wikidata.org/wiki/Q787116","display_name":"Automaton","level":2,"score":0.5525830984115601},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5088022351264954},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.495578408241272},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.4745767116546631},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.46295884251594543},{"id":"https://openalex.org/C52970973","wikidata":"https://www.wikidata.org/wiki/Q2497134","display_name":"Adaptive system","level":2,"score":0.46101537346839905},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.23588654398918152},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.19530409574508667},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.11563056707382202},{"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},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3193992.3194001","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3193992.3194001","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 6th Conference on Formal Methods in Software Engineering","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.5699999928474426}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":41,"referenced_works":["https://openalex.org/W1166377735","https://openalex.org/W1497596634","https://openalex.org/W1574699459","https://openalex.org/W1588422495","https://openalex.org/W1599490280","https://openalex.org/W1800955772","https://openalex.org/W1819146036","https://openalex.org/W1882160752","https://openalex.org/W1970289470","https://openalex.org/W1988066482","https://openalex.org/W2003258198","https://openalex.org/W2011431674","https://openalex.org/W2013726498","https://openalex.org/W2036910349","https://openalex.org/W2053684693","https://openalex.org/W2056537003","https://openalex.org/W2057807303","https://openalex.org/W2071347688","https://openalex.org/W2071616717","https://openalex.org/W2103457658","https://openalex.org/W2106548308","https://openalex.org/W2110425399","https://openalex.org/W2113285347","https://openalex.org/W2115309705","https://openalex.org/W2121319037","https://openalex.org/W2133079113","https://openalex.org/W2134364383","https://openalex.org/W2139863023","https://openalex.org/W2166249092","https://openalex.org/W2249896101","https://openalex.org/W2315512848","https://openalex.org/W2482678392","https://openalex.org/W2516894032","https://openalex.org/W2586449206","https://openalex.org/W2593212269","https://openalex.org/W2604659713","https://openalex.org/W2761699733","https://openalex.org/W2912731517","https://openalex.org/W3099698644","https://openalex.org/W4211008702","https://openalex.org/W4253853238"],"related_works":["https://openalex.org/W2021474716","https://openalex.org/W4310517597","https://openalex.org/W3093159647","https://openalex.org/W2076610045","https://openalex.org/W1585236401","https://openalex.org/W1966273264","https://openalex.org/W2114015898","https://openalex.org/W2126134866","https://openalex.org/W2251138877","https://openalex.org/W2955663503"],"abstract_inverted_index":{"Self-adaptive":[0],"systems":[1,22,104,161,170],"aim":[2],"to":[3,6,86,193,222,280],"efficiently":[4],"respond":[5],"a":[7,27,57,62,293,297],"wide":[8],"range":[9],"of":[10,26,59,64,67,77,96,128,159,283,289,296,300],"changes":[11,136],"in":[12,49,122,137,202,258],"their":[13,19],"operational":[14],"environment":[15],"by":[16,248],"dynamically":[17],"altering":[18],"behaviour.":[20],"Such":[21],"are":[23,191],"typically":[24],"comprised":[25],"base":[28,42,111,160,169,224],"system,":[29],"implementing":[30],"core":[31],"functionality,":[32],"and":[33,93,125,162,231,234],"an":[34,147,250],"adaptation":[35,60,107,115,129,153,163,175,188,205,217,228],"decision":[36,116,164,189,229],"process,":[37,230],"which":[38,151,259],"determines":[39],"how":[40],"the":[41,68,71,83,110,114,138,157,178,203,223,227,287],"system":[43,85,97,112,120,186,204,211,225,299],"must":[44,206],"change":[45],"at":[46],"different":[47,216],"points":[48,66,173],"its":[50],"execution.":[51],"These":[52],"two":[53],"components":[54],"coordinate":[55],"through":[56,292],"set":[58,63],"events:":[61],"execution":[65,172],"former":[69],"where":[70,174],"latter":[72],"is":[73,80,242],"invoked.":[74],"The":[75],"pattern":[76],"these":[78,194],"events":[79,108],"crucial":[81],"for":[82,101],"overall":[84],"achieve":[87],"(a)":[88],"correctness":[89,260],"against":[90,261],"specific":[91],"requirements,":[92],"(b)":[94],"efficiency":[95],"resources.":[98],"Existing":[99],"techniques":[100],"modelling":[102,149],"self-adaptive":[103,298],"usually":[105],"hardcode":[106],"within":[109],"or":[113,226],"process.":[117],"This":[118],"limits":[119],"designers":[121,212],"discovering":[123],"correct":[124,233],"optimal":[126],"patterns":[127,155],"events,":[130],"as":[131],"changing":[132],"those":[133],"involves":[134],"significant":[135],"model.":[139],"In":[140,166],"this":[141,182,209],"work":[142],"we":[143],"present":[144],"Self-Adaptive":[145,254],"Automata,":[146],"abstract":[148],"framework":[150,210,241,273,291],"decouples":[152],"event":[154,218],"from":[156,253],"descriptions":[158],"processes.":[165],"our":[167,240,271,290],"framework,":[168],"expose":[171],"may":[176],"happen---in":[177],"most":[179],"general":[180],"case":[181,295],"can":[183,213,263],"include":[184],"all":[185],"states---and":[187],"processes":[190],"parametric":[192],"points.":[195],"A":[196],"distinct":[197],"automaton":[198],"then":[199],"pinpoints":[200],"when":[201],"happen.":[207],"Using":[208],"experiment":[214],"with":[215,244],"patterns,":[219],"without":[220],"modifications":[221],"discover":[232],"efficient":[235],"patterns.":[236],"We":[237,266,285],"show":[238],"that":[239],"compatible":[243],"traditional":[245],"verification":[246],"tools":[247],"providing":[249],"adequate":[251],"translation":[252],"Automata":[255],"into":[256],"FDR,":[257],"requirements":[262],"be":[264],"verified.":[265],"also":[267],"prove":[268],"that,":[269],"although":[270],"automata":[272],"includes":[274],"dynamic":[275],"self-modifying":[276],"features,":[277],"it":[278],"corresponds":[279],"standard":[281],"models":[282],"computation.":[284],"illustrate":[286],"use":[288,294],"autonomous":[301],"search-and-rescue":[302],"rovers.":[303]},"counts_by_year":[{"year":2022,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}