{"id":"https://openalex.org/W2011486833","doi":"https://doi.org/10.1145/2347583.2347600","title":"The <i>AdaptiV</i> approach to verification of adaptive systems","display_name":"The <i>AdaptiV</i> approach to verification of adaptive systems","publication_year":2012,"publication_date":"2012-06-27","ids":{"openalex":"https://openalex.org/W2011486833","doi":"https://doi.org/10.1145/2347583.2347600","mag":"2011486833"},"language":"en","primary_location":{"id":"doi:10.1145/2347583.2347600","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2347583.2347600","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Fifth International C* Conference on Computer Science and 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/A5024816208","display_name":"Christopher Rouff","orcid":"https://orcid.org/0000-0002-8975-3898"},"institutions":[{"id":"https://openalex.org/I1287521167","display_name":"Lockheed Martin (United States)","ror":"https://ror.org/026er9r08","country_code":"US","type":"company","lineage":["https://openalex.org/I1287521167"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Christopher Rouff","raw_affiliation_strings":["Lockheed Martin, Advanced Technology Laboratories, Cherry Hill, NJ","Lockheed Martin, Advanced Technology Laboratories, Cherry Hill, NJ#TAB#"],"affiliations":[{"raw_affiliation_string":"Lockheed Martin, Advanced Technology Laboratories, Cherry Hill, NJ","institution_ids":["https://openalex.org/I1287521167"]},{"raw_affiliation_string":"Lockheed Martin, Advanced Technology Laboratories, Cherry Hill, NJ#TAB#","institution_ids":["https://openalex.org/I1287521167"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5113679999","display_name":"R.W. Buskens","orcid":null},"institutions":[{"id":"https://openalex.org/I1287521167","display_name":"Lockheed Martin (United States)","ror":"https://ror.org/026er9r08","country_code":"US","type":"company","lineage":["https://openalex.org/I1287521167"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Richard Buskens","raw_affiliation_strings":["Lockheed Martin, Advanced Technology Laboratories, Cherry Hill, NJ","Lockheed Martin, Advanced Technology Laboratories, Cherry Hill, NJ#TAB#"],"affiliations":[{"raw_affiliation_string":"Lockheed Martin, Advanced Technology Laboratories, Cherry Hill, NJ","institution_ids":["https://openalex.org/I1287521167"]},{"raw_affiliation_string":"Lockheed Martin, Advanced Technology Laboratories, Cherry Hill, NJ#TAB#","institution_ids":["https://openalex.org/I1287521167"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5054449288","display_name":"Laura Pullum","orcid":"https://orcid.org/0000-0001-6045-7668"},"institutions":[{"id":"https://openalex.org/I1289243028","display_name":"Oak Ridge National Laboratory","ror":"https://ror.org/01qz5mb56","country_code":"US","type":"facility","lineage":["https://openalex.org/I1289243028","https://openalex.org/I1330989302","https://openalex.org/I39565521","https://openalex.org/I4210159294"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Laura Pullum","raw_affiliation_strings":["Oak Ridge National Laboratory, Oak Ridge, TN","Oak Ridge National Laboratory, Oak Ridge, TN#TAB#"],"affiliations":[{"raw_affiliation_string":"Oak Ridge National Laboratory, Oak Ridge, TN","institution_ids":["https://openalex.org/I1289243028"]},{"raw_affiliation_string":"Oak Ridge National Laboratory, Oak Ridge, TN#TAB#","institution_ids":["https://openalex.org/I1289243028"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041280931","display_name":"Xiaohui Cui","orcid":"https://orcid.org/0000-0001-6079-009X"},"institutions":[{"id":"https://openalex.org/I1289243028","display_name":"Oak Ridge National Laboratory","ror":"https://ror.org/01qz5mb56","country_code":"US","type":"facility","lineage":["https://openalex.org/I1289243028","https://openalex.org/I1330989302","https://openalex.org/I39565521","https://openalex.org/I4210159294"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Xiaohui Cui","raw_affiliation_strings":["Oak Ridge National Laboratory, Oak Ridge, TN","Oak Ridge National Laboratory, Oak Ridge, TN#TAB#"],"affiliations":[{"raw_affiliation_string":"Oak Ridge National Laboratory, Oak Ridge, TN","institution_ids":["https://openalex.org/I1289243028"]},{"raw_affiliation_string":"Oak Ridge National Laboratory, Oak Ridge, TN#TAB#","institution_ids":["https://openalex.org/I1289243028"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5007119340","display_name":"Mike Hinchey","orcid":"https://orcid.org/0000-0001-5110-561X"},"institutions":[{"id":"https://openalex.org/I230495080","display_name":"University of Limerick","ror":"https://ror.org/00a0n9e72","country_code":"IE","type":"education","lineage":["https://openalex.org/I230495080"]}],"countries":["IE"],"is_corresponding":false,"raw_author_name":"Mike Hinchey","raw_affiliation_strings":["Engineering Research Center, Limerick, Ireland"],"affiliations":[{"raw_affiliation_string":"Engineering Research Center, Limerick, Ireland","institution_ids":["https://openalex.org/I230495080"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5024816208"],"corresponding_institution_ids":["https://openalex.org/I1287521167"],"apc_list":null,"apc_paid":null,"fwci":0.7998,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.75217391,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"118","last_page":"122"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11195","display_name":"Simulation Techniques and Applications","score":0.9894999861717224,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T11195","display_name":"Simulation Techniques and Applications","score":0.9894999861717224,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9850999712944031,"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/T10876","display_name":"Fault Detection and Control Systems","score":0.9832000136375427,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"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/software-verification","display_name":"Software verification","score":0.7555534839630127},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7290564179420471},{"id":"https://openalex.org/keywords/runtime-verification","display_name":"Runtime verification","score":0.6941595077514648},{"id":"https://openalex.org/keywords/software-deployment","display_name":"Software deployment","score":0.6927666068077087},{"id":"https://openalex.org/keywords/nondeterministic-algorithm","display_name":"Nondeterministic algorithm","score":0.6520194411277771},{"id":"https://openalex.org/keywords/verification-and-validation","display_name":"Verification and validation","score":0.6082636713981628},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.5826011896133423},{"id":"https://openalex.org/keywords/functional-verification","display_name":"Functional verification","score":0.5652586817741394},{"id":"https://openalex.org/keywords/verification","display_name":"Verification","score":0.5466235280036926},{"id":"https://openalex.org/keywords/state-space","display_name":"State space","score":0.5258439183235168},{"id":"https://openalex.org/keywords/intelligent-verification","display_name":"Intelligent verification","score":0.47315654158592224},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.45591506361961365},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.3929859399795532},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.3893631100654602},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3627893030643463},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.31806325912475586},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.14677318930625916},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.14235526323318481},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.13047882914543152},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.12107580900192261}],"concepts":[{"id":"https://openalex.org/C33054407","wikidata":"https://www.wikidata.org/wiki/Q6504747","display_name":"Software verification","level":5,"score":0.7555534839630127},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7290564179420471},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.6941595077514648},{"id":"https://openalex.org/C105339364","wikidata":"https://www.wikidata.org/wiki/Q2297740","display_name":"Software deployment","level":2,"score":0.6927666068077087},{"id":"https://openalex.org/C176181172","wikidata":"https://www.wikidata.org/wiki/Q3490301","display_name":"Nondeterministic algorithm","level":2,"score":0.6520194411277771},{"id":"https://openalex.org/C48002344","wikidata":"https://www.wikidata.org/wiki/Q2919644","display_name":"Verification and validation","level":2,"score":0.6082636713981628},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.5826011896133423},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.5652586817741394},{"id":"https://openalex.org/C142284323","wikidata":"https://www.wikidata.org/wiki/Q7921323","display_name":"Verification","level":5,"score":0.5466235280036926},{"id":"https://openalex.org/C72434380","wikidata":"https://www.wikidata.org/wiki/Q230930","display_name":"State space","level":2,"score":0.5258439183235168},{"id":"https://openalex.org/C3406870","wikidata":"https://www.wikidata.org/wiki/Q6044160","display_name":"Intelligent verification","level":5,"score":0.47315654158592224},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.45591506361961365},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.3929859399795532},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.3893631100654602},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3627893030643463},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.31806325912475586},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.14677318930625916},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.14235526323318481},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.13047882914543152},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.12107580900192261},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2347583.2347600","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2347583.2347600","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the Fifth International C* Conference on Computer Science and Software Engineering","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4337877129","display_name":null,"funder_award_id":"03/CE2/I303_1","funder_id":"https://openalex.org/F4320320847","funder_display_name":"Science Foundation Ireland"}],"funders":[{"id":"https://openalex.org/F4320306084","display_name":"U.S. Department of Energy","ror":"https://ror.org/01bj3aw27"},{"id":"https://openalex.org/F4320320847","display_name":"Science Foundation Ireland","ror":"https://ror.org/0271asj38"},{"id":"https://openalex.org/F4320338287","display_name":"Oak Ridge National Laboratory","ror":"https://ror.org/01qz5mb56"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W125598877","https://openalex.org/W647045934","https://openalex.org/W1498432697","https://openalex.org/W1534960914","https://openalex.org/W1604877687","https://openalex.org/W1971222350","https://openalex.org/W2096069594","https://openalex.org/W2139609292","https://openalex.org/W2184067325","https://openalex.org/W2271534996","https://openalex.org/W2272282002","https://openalex.org/W4236440261"],"related_works":["https://openalex.org/W2361881307","https://openalex.org/W2392047570","https://openalex.org/W2035244079","https://openalex.org/W3036403349","https://openalex.org/W2962898432","https://openalex.org/W4205924073","https://openalex.org/W4301348901","https://openalex.org/W2059150015","https://openalex.org/W3120172095","https://openalex.org/W2350806125"],"abstract_inverted_index":{"Adaptive":[0],"systems":[1,16,24,52,91],"are":[2,53],"critical":[3,19],"for":[4,20,48],"future":[5],"space":[6],"and":[7,10,41,74,87],"other":[8],"unmanned":[9],"intelligent":[11],"systems.":[12],"Verification":[13],"of":[14,50,61,65,89,103],"these":[15],"is":[17],"also":[18],"their":[21,38],"use":[22],"in":[23],"with":[25,32],"potential":[26],"harm":[27],"to":[28,37,56,85],"human":[29],"life":[30],"or":[31],"large":[33,43],"financial":[34],"investments.":[35],"Due":[36],"nondeterministic":[39],"nature":[40],"extremely":[42],"state":[44],"space,":[45],"current":[46],"methods":[47],"verification":[49,73,76,86],"software":[51],"not":[54,94],"adequate":[55],"provide":[57],"a":[58,82],"high":[59,68],"level":[60],"assurance.":[62],"The":[63],"combination":[64],"stabilization":[66],"science,":[67],"performance":[69],"computing":[70],"simulations,":[71],"compositional":[72],"traditional":[75],"techniques,":[77],"plus":[78],"operational":[79],"monitors,":[80],"provides":[81],"complete":[83],"approach":[84],"deployment":[88],"adaptive":[90],"that":[92],"has":[93],"been":[95],"used":[96],"before.":[97],"This":[98],"paper":[99],"gives":[100],"an":[101],"overview":[102],"this":[104],"approach.":[105]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2014,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}