{"id":"https://openalex.org/W2109257783","doi":"https://doi.org/10.2514/6.2012-2478","title":"Verification of Adaptive Systems","display_name":"Verification of Adaptive Systems","publication_year":2012,"publication_date":"2012-06-19","ids":{"openalex":"https://openalex.org/W2109257783","doi":"https://doi.org/10.2514/6.2012-2478","mag":"2109257783"},"language":"en","primary_location":{"id":"doi:10.2514/6.2012-2478","is_oa":false,"landing_page_url":"https://doi.org/10.2514/6.2012-2478","pdf_url":null,"source":{"id":"https://openalex.org/S4306513317","display_name":"Infotech@Aerospace 2012","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Infotech@Aerospace 2012","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/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":true,"raw_author_name":"Laura Pullum","raw_affiliation_strings":["Oak Ridge National Laboratory"],"affiliations":[{"raw_affiliation_string":"Oak Ridge National Laboratory","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"],"affiliations":[{"raw_affiliation_string":"Oak Ridge National Laboratory","institution_ids":["https://openalex.org/I1289243028"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088811095","display_name":"Emil Vassev","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Emil Vassev","raw_affiliation_strings":["Irish Software Engineering Research Centre"],"affiliations":[{"raw_affiliation_string":"Irish Software Engineering Research Centre","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5007119340","display_name":"Mike Hinchey","orcid":"https://orcid.org/0000-0001-5110-561X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Michael Hinchey","raw_affiliation_strings":["Irish Software Engineering Research Centre"],"affiliations":[{"raw_affiliation_string":"Irish Software Engineering Research Centre","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5024816208","display_name":"Christopher Rouff","orcid":"https://orcid.org/0000-0002-8975-3898"},"institutions":[{"id":"https://openalex.org/I183804699","display_name":"Lockheed Martin (Canada)","ror":"https://ror.org/00rs6n938","country_code":"CA","type":"company","lineage":["https://openalex.org/I1287521167","https://openalex.org/I183804699"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Christopher Rouff","raw_affiliation_strings":["Lockheed Martin Corporation","Lockheed-Martin Corporation"],"affiliations":[{"raw_affiliation_string":"Lockheed Martin Corporation","institution_ids":["https://openalex.org/I183804699"]},{"raw_affiliation_string":"Lockheed-Martin Corporation","institution_ids":["https://openalex.org/I183804699"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5113679999","display_name":"R.W. Buskens","orcid":null},"institutions":[{"id":"https://openalex.org/I183804699","display_name":"Lockheed Martin (Canada)","ror":"https://ror.org/00rs6n938","country_code":"CA","type":"company","lineage":["https://openalex.org/I1287521167","https://openalex.org/I183804699"]}],"countries":["CA"],"is_corresponding":false,"raw_author_name":"Richard Buskens","raw_affiliation_strings":["Lockheed Martin Corporation","Lockheed-Martin Corporation"],"affiliations":[{"raw_affiliation_string":"Lockheed Martin Corporation","institution_ids":["https://openalex.org/I183804699"]},{"raw_affiliation_string":"Lockheed-Martin Corporation","institution_ids":["https://openalex.org/I183804699"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5054449288"],"corresponding_institution_ids":["https://openalex.org/I1289243028"],"apc_list":null,"apc_paid":null,"fwci":0.828,"has_fulltext":false,"cited_by_count":14,"citation_normalized_percentile":{"value":0.77665395,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11195","display_name":"Simulation Techniques and Applications","score":0.9667999744415283,"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.9667999744415283,"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.9200000166893005,"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/computer-science","display_name":"Computer science","score":0.6949518322944641}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6949518322944641}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.2514/6.2012-2478","is_oa":false,"landing_page_url":"https://doi.org/10.2514/6.2012-2478","pdf_url":null,"source":{"id":"https://openalex.org/S4306513317","display_name":"Infotech@Aerospace 2012","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Infotech@Aerospace 2012","raw_type":"proceedings-article"},{"id":"pmh:http://www.rian.ie/74529/","is_oa":false,"landing_page_url":"http://hdl.handle.net/10344/3742","pdf_url":null,"source":{"id":"https://openalex.org/S4306400033","display_name":"Arrow@dit (Dublin Institute of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I115570527","host_organization_name":"Dublin Institute of Technology","host_organization_lineage":["https://openalex.org/I115570527"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"Infotech@Aerospace Conference 2012;","raw_type":"Conference item"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.681.6246","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.681.6246","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://cda.ornl.gov/publications_2012/Publication_36920.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":151,"referenced_works":["https://openalex.org/W12017001","https://openalex.org/W43803367","https://openalex.org/W45447653","https://openalex.org/W57398058","https://openalex.org/W65738273","https://openalex.org/W92454320","https://openalex.org/W141099830","https://openalex.org/W232575996","https://openalex.org/W278657775","https://openalex.org/W320974678","https://openalex.org/W354231941","https://openalex.org/W560245601","https://openalex.org/W601058986","https://openalex.org/W1485016818","https://openalex.org/W1498432697","https://openalex.org/W1525152008","https://openalex.org/W1527159878","https://openalex.org/W1530324465","https://openalex.org/W1534690748","https://openalex.org/W1534960914","https://openalex.org/W1535948464","https://openalex.org/W1539705164","https://openalex.org/W1546267836","https://openalex.org/W1585125602","https://openalex.org/W1586403407","https://openalex.org/W1608806326","https://openalex.org/W1625805266","https://openalex.org/W1680397247","https://openalex.org/W1684025215","https://openalex.org/W1734399083","https://openalex.org/W1813403264","https://openalex.org/W1861655968","https://openalex.org/W1888896835","https://openalex.org/W1896752934","https://openalex.org/W1908276098","https://openalex.org/W1937344979","https://openalex.org/W1963825016","https://openalex.org/W1967881621","https://openalex.org/W1971222350","https://openalex.org/W1975039615","https://openalex.org/W1975598496","https://openalex.org/W1980940628","https://openalex.org/W1981311312","https://openalex.org/W1995341919","https://openalex.org/W2000732522","https://openalex.org/W2004050084","https://openalex.org/W2009126184","https://openalex.org/W2018869705","https://openalex.org/W2033406822","https://openalex.org/W2039856277","https://openalex.org/W2046353767","https://openalex.org/W2047993072","https://openalex.org/W2049321516","https://openalex.org/W2050433053","https://openalex.org/W2051038424","https://openalex.org/W2056206500","https://openalex.org/W2060517418","https://openalex.org/W2063046703","https://openalex.org/W2067603665","https://openalex.org/W2068301929","https://openalex.org/W2071264748","https://openalex.org/W2072128103","https://openalex.org/W2072828524","https://openalex.org/W2075467386","https://openalex.org/W2076101747","https://openalex.org/W2076143961","https://openalex.org/W2077119119","https://openalex.org/W2078095851","https://openalex.org/W2082550596","https://openalex.org/W2083471814","https://openalex.org/W2087229864","https://openalex.org/W2090553749","https://openalex.org/W2093829413","https://openalex.org/W2096141928","https://openalex.org/W2099463861","https://openalex.org/W2100441403","https://openalex.org/W2102531244","https://openalex.org/W2103414666","https://openalex.org/W2103428675","https://openalex.org/W2103495418","https://openalex.org/W2103855539","https://openalex.org/W2105673014","https://openalex.org/W2107726111","https://openalex.org/W2108088797","https://openalex.org/W2108888143","https://openalex.org/W2110802808","https://openalex.org/W2112476646","https://openalex.org/W2113898569","https://openalex.org/W2114224327","https://openalex.org/W2118779850","https://openalex.org/W2119663227","https://openalex.org/W2119939946","https://openalex.org/W2121377725","https://openalex.org/W2122532513","https://openalex.org/W2122761370","https://openalex.org/W2123098109","https://openalex.org/W2128084896","https://openalex.org/W2129018774","https://openalex.org/W2129656237","https://openalex.org/W2132898512","https://openalex.org/W2134545201","https://openalex.org/W2135490626","https://openalex.org/W2135667755","https://openalex.org/W2139609292","https://openalex.org/W2141591112","https://openalex.org/W2141732562","https://openalex.org/W2145071552","https://openalex.org/W2145864990","https://openalex.org/W2148896300","https://openalex.org/W2149626391","https://openalex.org/W2151121581","https://openalex.org/W2154229703","https://openalex.org/W2155250432","https://openalex.org/W2158497123","https://openalex.org/W2160146978","https://openalex.org/W2161105924","https://openalex.org/W2162260114","https://openalex.org/W2164038583","https://openalex.org/W2167197841","https://openalex.org/W2168641437","https://openalex.org/W2170660316","https://openalex.org/W2171477248","https://openalex.org/W2184067325","https://openalex.org/W2202312251","https://openalex.org/W2216962153","https://openalex.org/W2226765944","https://openalex.org/W2235733132","https://openalex.org/W2264747045","https://openalex.org/W2271534996","https://openalex.org/W2272282002","https://openalex.org/W2320794500","https://openalex.org/W2323826946","https://openalex.org/W2325130517","https://openalex.org/W2329341119","https://openalex.org/W2332249232","https://openalex.org/W2333666936","https://openalex.org/W2334630592","https://openalex.org/W2334912520","https://openalex.org/W2475547828","https://openalex.org/W2599341145","https://openalex.org/W2613634265","https://openalex.org/W2623785075","https://openalex.org/W2735030455","https://openalex.org/W2895075561","https://openalex.org/W2911423894","https://openalex.org/W2954467785","https://openalex.org/W3029607011","https://openalex.org/W3101594143","https://openalex.org/W4236440261","https://openalex.org/W4285719527","https://openalex.org/W4318609486"],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2093578348","https://openalex.org/W2376932109","https://openalex.org/W2382290278","https://openalex.org/W2766271392","https://openalex.org/W2350741829","https://openalex.org/W3004735627"],"abstract_inverted_index":{"Adaptive":[0],"systems":[1,15,23,86],"are":[2],"critical":[3,18],"for":[4,19,45,59],"future":[5],"space":[6],"and":[7,10,38,82],"other":[8],"unmanned":[9],"intelligent\\nsystems.":[11],"Verification":[12],"of":[13,47,57,84,97],"these":[14],"is":[16],"also":[17],"their":[20,36],"use":[21],"in":[22],"with":[24,30],"potential\\nharm":[25],"to":[26,35,52,80],"human":[27],"life":[28],"or":[29],"large":[31,40],"financial":[32],"investments.":[33],"Due":[34],"nondeterministic\\nnature":[37],"extremely":[39],"state":[41],"space,":[42],"current":[43],"methods":[44],"verification":[46,72,81],"software":[48],"systems\\nare":[49],"not":[50,89],"adequate":[51],"provide":[53],"a":[54,78],"high":[55,65],"level":[56],"assurance":[58],"them.":[60],"The":[61],"combination":[62],"of\\nstabilization":[63],"science,":[64],"performance":[66],"computing":[67],"simulations,":[68],"compositional":[69],"verification\\nand":[70],"traditional":[71],"techniques,":[73],"plus":[74],"operational":[75],"monitors,":[76],"provides":[77],"complete\\napproach":[79],"deployment":[83],"adaptive":[85],"that":[87],"has":[88],"been":[90],"used":[91],"before.\\nThis":[92],"paper":[93],"gives":[94],"an":[95],"overview":[96],"this":[98],"approach.":[99]},"counts_by_year":[{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":4},{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}