{"id":"https://openalex.org/W2095473904","doi":"https://doi.org/10.1007/s10472-014-9408-8","title":"Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning","display_name":"Establishing flight software reliability: testing, model checking, constraint-solving, monitoring and learning","publication_year":2014,"publication_date":"2014-03-18","ids":{"openalex":"https://openalex.org/W2095473904","doi":"https://doi.org/10.1007/s10472-014-9408-8","mag":"2095473904"},"language":"en","primary_location":{"id":"doi:10.1007/s10472-014-9408-8","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10472-014-9408-8","pdf_url":null,"source":{"id":"https://openalex.org/S90199469","display_name":"Annals of Mathematics and Artificial Intelligence","issn_l":"1012-2443","issn":["1012-2443","1573-7470"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annals of Mathematics and Artificial Intelligence","raw_type":"journal-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/A5026932942","display_name":"Alex Groce","orcid":"https://orcid.org/0000-0003-0273-4668"},"institutions":[{"id":"https://openalex.org/I131249849","display_name":"Oregon State University","ror":"https://ror.org/00ysfqy60","country_code":"US","type":"education","lineage":["https://openalex.org/I131249849"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Alex Groce","raw_affiliation_strings":["School of Electrical Engineering and Computer Science, Oregon State University, Corvallis, OR, 97331, USA","School of Electrical Engineering and Computer Science, Oregon State University, Corvallis, USA","School of Electrical Engineering and Computer Science, Oregon State University, Corvallis, USA, 97331"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Electrical Engineering and Computer Science, Oregon State University, Corvallis, OR, 97331, USA","institution_ids":["https://openalex.org/I131249849"]},{"raw_affiliation_string":"School of Electrical Engineering and Computer Science, Oregon State University, Corvallis, USA","institution_ids":["https://openalex.org/I131249849"]},{"raw_affiliation_string":"School of Electrical Engineering and Computer Science, Oregon State University, Corvallis, USA, 97331","institution_ids":["https://openalex.org/I131249849"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040778442","display_name":"Klaus Havelund","orcid":"https://orcid.org/0000-0001-7079-0472"},"institutions":[{"id":"https://openalex.org/I122411786","display_name":"California Institute of Technology","ror":"https://ror.org/05dxps055","country_code":"US","type":"education","lineage":["https://openalex.org/I122411786"]},{"id":"https://openalex.org/I1334627681","display_name":"Jet Propulsion Laboratory","ror":"https://ror.org/027k65916","country_code":"US","type":"facility","lineage":["https://openalex.org/I122411786","https://openalex.org/I1334627681","https://openalex.org/I4210124779"]},{"id":"https://openalex.org/I4210109270","display_name":"Reliable Software Resources (United States)","ror":"https://ror.org/01v5fm873","country_code":"US","type":"company","lineage":["https://openalex.org/I4210109270"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Klaus Havelund","raw_affiliation_strings":["Laboratory for Reliable Software, Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA, 91109, USA","Laboratory for Reliable Software, Jet Propulsion Laboratory, California Institute of Technology, Pasadena, USA","Laboratory for Reliable Software, Jet Propulsion Laboratory/California Institute of Technology, Pasadena, USA 91109#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Laboratory for Reliable Software, Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA, 91109, USA","institution_ids":["https://openalex.org/I1334627681","https://openalex.org/I4210109270"]},{"raw_affiliation_string":"Laboratory for Reliable Software, Jet Propulsion Laboratory, California Institute of Technology, Pasadena, USA","institution_ids":["https://openalex.org/I1334627681","https://openalex.org/I4210109270"]},{"raw_affiliation_string":"Laboratory for Reliable Software, Jet Propulsion Laboratory/California Institute of Technology, Pasadena, USA 91109#TAB#","institution_ids":["https://openalex.org/I122411786"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102743235","display_name":"Gerard J. Holzmann","orcid":"https://orcid.org/0000-0001-5229-3480"},"institutions":[{"id":"https://openalex.org/I122411786","display_name":"California Institute of Technology","ror":"https://ror.org/05dxps055","country_code":"US","type":"education","lineage":["https://openalex.org/I122411786"]},{"id":"https://openalex.org/I1334627681","display_name":"Jet Propulsion Laboratory","ror":"https://ror.org/027k65916","country_code":"US","type":"facility","lineage":["https://openalex.org/I122411786","https://openalex.org/I1334627681","https://openalex.org/I4210124779"]},{"id":"https://openalex.org/I4210109270","display_name":"Reliable Software Resources (United States)","ror":"https://ror.org/01v5fm873","country_code":"US","type":"company","lineage":["https://openalex.org/I4210109270"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Gerard Holzmann","raw_affiliation_strings":["Laboratory for Reliable Software, Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA, 91109, USA","Laboratory for Reliable Software, Jet Propulsion Laboratory, California Institute of Technology, Pasadena, USA","Laboratory for Reliable Software, Jet Propulsion Laboratory/California Institute of Technology, Pasadena, USA 91109#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Laboratory for Reliable Software, Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA, 91109, USA","institution_ids":["https://openalex.org/I1334627681","https://openalex.org/I4210109270"]},{"raw_affiliation_string":"Laboratory for Reliable Software, Jet Propulsion Laboratory, California Institute of Technology, Pasadena, USA","institution_ids":["https://openalex.org/I1334627681","https://openalex.org/I4210109270"]},{"raw_affiliation_string":"Laboratory for Reliable Software, Jet Propulsion Laboratory/California Institute of Technology, Pasadena, USA 91109#TAB#","institution_ids":["https://openalex.org/I122411786"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101563209","display_name":"Rajeev Joshi","orcid":"https://orcid.org/0000-0003-1413-0140"},"institutions":[{"id":"https://openalex.org/I122411786","display_name":"California Institute of Technology","ror":"https://ror.org/05dxps055","country_code":"US","type":"education","lineage":["https://openalex.org/I122411786"]},{"id":"https://openalex.org/I1334627681","display_name":"Jet Propulsion Laboratory","ror":"https://ror.org/027k65916","country_code":"US","type":"facility","lineage":["https://openalex.org/I122411786","https://openalex.org/I1334627681","https://openalex.org/I4210124779"]},{"id":"https://openalex.org/I4210109270","display_name":"Reliable Software Resources (United States)","ror":"https://ror.org/01v5fm873","country_code":"US","type":"company","lineage":["https://openalex.org/I4210109270"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Rajeev Joshi","raw_affiliation_strings":["Laboratory for Reliable Software, Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA, 91109, USA","Laboratory for Reliable Software, Jet Propulsion Laboratory, California Institute of Technology, Pasadena, USA","Laboratory for Reliable Software, Jet Propulsion Laboratory/California Institute of Technology, Pasadena, USA 91109#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Laboratory for Reliable Software, Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA, 91109, USA","institution_ids":["https://openalex.org/I1334627681","https://openalex.org/I4210109270"]},{"raw_affiliation_string":"Laboratory for Reliable Software, Jet Propulsion Laboratory, California Institute of Technology, Pasadena, USA","institution_ids":["https://openalex.org/I1334627681","https://openalex.org/I4210109270"]},{"raw_affiliation_string":"Laboratory for Reliable Software, Jet Propulsion Laboratory/California Institute of Technology, Pasadena, USA 91109#TAB#","institution_ids":["https://openalex.org/I122411786"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5019048794","display_name":"Ru-Gang Xu","orcid":null},"institutions":[{"id":"https://openalex.org/I161318765","display_name":"University of California, Los Angeles","ror":"https://ror.org/046rm7j60","country_code":"US","type":"education","lineage":["https://openalex.org/I161318765"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Ru-Gang Xu","raw_affiliation_strings":["Department of Computer Science, University of California, Los Angeles, CA, 90095, USA","Department of Computer Science, University of California, Los Angeles, USA","Department of Computer Science, University of California, Los Angeles, USA 90095"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of California, Los Angeles, CA, 90095, USA","institution_ids":["https://openalex.org/I161318765"]},{"raw_affiliation_string":"Department of Computer Science, University of California, Los Angeles, USA","institution_ids":["https://openalex.org/I161318765"]},{"raw_affiliation_string":"Department of Computer Science, University of California, Los Angeles, USA 90095","institution_ids":["https://openalex.org/I161318765"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5026932942"],"corresponding_institution_ids":["https://openalex.org/I131249849"],"apc_list":{"value":2990,"currency":"USD","value_usd":2990},"apc_paid":null,"fwci":8.0488,"has_fulltext":false,"cited_by_count":42,"citation_normalized_percentile":{"value":0.97273397,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":100},"biblio":{"volume":"70","issue":"4","first_page":"315","last_page":"349"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998999834060669,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9998999834060669,"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9995999932289124,"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/T10142","display_name":"Formal Methods in Verification","score":0.9994000196456909,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7967246770858765},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.5846014618873596},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.5685533881187439},{"id":"https://openalex.org/keywords/static-program-analysis","display_name":"Static program analysis","score":0.48105955123901367},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.47278308868408203},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4401531517505646},{"id":"https://openalex.org/keywords/software-verification","display_name":"Software verification","score":0.43266960978507996},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.43118301033973694},{"id":"https://openalex.org/keywords/constraint","display_name":"Constraint (computer-aided design)","score":0.4296562671661377},{"id":"https://openalex.org/keywords/software-system","display_name":"Software system","score":0.4063490927219391},{"id":"https://openalex.org/keywords/software-construction","display_name":"Software construction","score":0.22976398468017578},{"id":"https://openalex.org/keywords/software-development","display_name":"Software development","score":0.2225143015384674}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7967246770858765},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.5846014618873596},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.5685533881187439},{"id":"https://openalex.org/C137287247","wikidata":"https://www.wikidata.org/wiki/Q1329550","display_name":"Static program analysis","level":4,"score":0.48105955123901367},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.47278308868408203},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4401531517505646},{"id":"https://openalex.org/C33054407","wikidata":"https://www.wikidata.org/wiki/Q6504747","display_name":"Software verification","level":5,"score":0.43266960978507996},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.43118301033973694},{"id":"https://openalex.org/C2776036281","wikidata":"https://www.wikidata.org/wiki/Q48769818","display_name":"Constraint (computer-aided design)","level":2,"score":0.4296562671661377},{"id":"https://openalex.org/C149091818","wikidata":"https://www.wikidata.org/wiki/Q2429814","display_name":"Software system","level":3,"score":0.4063490927219391},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.22976398468017578},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.2225143015384674},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s10472-014-9408-8","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10472-014-9408-8","pdf_url":null,"source":{"id":"https://openalex.org/S90199469","display_name":"Annals of Mathematics and Artificial Intelligence","issn_l":"1012-2443","issn":["1012-2443","1573-7470"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annals of Mathematics and Artificial Intelligence","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":117,"referenced_works":["https://openalex.org/W20649036","https://openalex.org/W68069235","https://openalex.org/W109452506","https://openalex.org/W128817107","https://openalex.org/W146360823","https://openalex.org/W163074494","https://openalex.org/W192757576","https://openalex.org/W1480471513","https://openalex.org/W1480909796","https://openalex.org/W1483676884","https://openalex.org/W1486172410","https://openalex.org/W1493367105","https://openalex.org/W1494755801","https://openalex.org/W1497028280","https://openalex.org/W1512138220","https://openalex.org/W1518705996","https://openalex.org/W1552908270","https://openalex.org/W1559362703","https://openalex.org/W1568105243","https://openalex.org/W1582498514","https://openalex.org/W1587480419","https://openalex.org/W1590315663","https://openalex.org/W1597068544","https://openalex.org/W1710734607","https://openalex.org/W1750494731","https://openalex.org/W1787074469","https://openalex.org/W1910771831","https://openalex.org/W1943502734","https://openalex.org/W1975857401","https://openalex.org/W1980818933","https://openalex.org/W1989445634","https://openalex.org/W1995626000","https://openalex.org/W1995910633","https://openalex.org/W2002934700","https://openalex.org/W2005062077","https://openalex.org/W2008228118","https://openalex.org/W2009489720","https://openalex.org/W2012997183","https://openalex.org/W2014309790","https://openalex.org/W2015863099","https://openalex.org/W2019368525","https://openalex.org/W2020395879","https://openalex.org/W2024753805","https://openalex.org/W2035939573","https://openalex.org/W2036017480","https://openalex.org/W2049695835","https://openalex.org/W2067544274","https://openalex.org/W2071112258","https://openalex.org/W2071952624","https://openalex.org/W2076343783","https://openalex.org/W2087252615","https://openalex.org/W2089139117","https://openalex.org/W2096449544","https://openalex.org/W2096880624","https://openalex.org/W2097697841","https://openalex.org/W2098456636","https://openalex.org/W2100775847","https://openalex.org/W2101512909","https://openalex.org/W2101855829","https://openalex.org/W2104136059","https://openalex.org/W2104993088","https://openalex.org/W2106192381","https://openalex.org/W2106624160","https://openalex.org/W2107089133","https://openalex.org/W2107709519","https://openalex.org/W2108557864","https://openalex.org/W2112243500","https://openalex.org/W2117009500","https://openalex.org/W2118962824","https://openalex.org/W2119591447","https://openalex.org/W2119717320","https://openalex.org/W2123586642","https://openalex.org/W2124877509","https://openalex.org/W2125596330","https://openalex.org/W2125940008","https://openalex.org/W2128011709","https://openalex.org/W2129538349","https://openalex.org/W2130970533","https://openalex.org/W2132897303","https://openalex.org/W2133612077","https://openalex.org/W2135274583","https://openalex.org/W2136310957","https://openalex.org/W2142377783","https://openalex.org/W2142785340","https://openalex.org/W2144667363","https://openalex.org/W2150593762","https://openalex.org/W2151704521","https://openalex.org/W2153691835","https://openalex.org/W2158248180","https://openalex.org/W2159878871","https://openalex.org/W2161488870","https://openalex.org/W2166230870","https://openalex.org/W2168498016","https://openalex.org/W2170108788","https://openalex.org/W2170224888","https://openalex.org/W2170460865","https://openalex.org/W2171480813","https://openalex.org/W2172260321","https://openalex.org/W2182759377","https://openalex.org/W2295658119","https://openalex.org/W2295903414","https://openalex.org/W2340735175","https://openalex.org/W2913459036","https://openalex.org/W2983995785","https://openalex.org/W3143245542","https://openalex.org/W4210685845","https://openalex.org/W4230796557","https://openalex.org/W4238083723","https://openalex.org/W4239921445","https://openalex.org/W4242126179","https://openalex.org/W4242377092","https://openalex.org/W4243167850","https://openalex.org/W4247239640","https://openalex.org/W4250846042","https://openalex.org/W4251167975","https://openalex.org/W4252150051","https://openalex.org/W4300934094"],"related_works":["https://openalex.org/W278680301","https://openalex.org/W2144996318","https://openalex.org/W2130642229","https://openalex.org/W2021680803","https://openalex.org/W1966629014","https://openalex.org/W34533724","https://openalex.org/W73637996","https://openalex.org/W2216497869","https://openalex.org/W25111334","https://openalex.org/W2397883404"],"abstract_inverted_index":null,"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":4},{"year":2018,"cited_by_count":20},{"year":2017,"cited_by_count":4},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":4}],"updated_date":"2026-07-23T08:03:31.855105","created_date":"2025-10-10T00:00:00"}