{"id":"https://openalex.org/W1608855349","doi":"https://doi.org/10.1007/978-3-540-69149-5_25","title":"Reliable Software Systems Design: Defect Prevention, Detection, and Containment","display_name":"Reliable Software Systems Design: Defect Prevention, Detection, and Containment","publication_year":2008,"publication_date":"2008-01-01","ids":{"openalex":"https://openalex.org/W1608855349","doi":"https://doi.org/10.1007/978-3-540-69149-5_25","mag":"1608855349"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-540-69149-5_25","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-540-69149-5_25","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-540-69149-5_25.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-540-69149-5_25.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5102743235","display_name":"Gerard J. Holzmann","orcid":"https://orcid.org/0000-0001-5229-3480"},"institutions":[{"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"]},{"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/I122411786","display_name":"California Institute of Technology","ror":"https://ror.org/05dxps055","country_code":"US","type":"education","lineage":["https://openalex.org/I122411786"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Gerard J. Holzmann","raw_affiliation_strings":["Laboratory for Reliable Software (LaRS) Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA 91109, USA","Laboratory for Reliable Software (LaRS) Jet Propulsion Laboratory, California Institute of Technology, Pasadena, USA CA 91109"],"affiliations":[{"raw_affiliation_string":"Laboratory for Reliable Software (LaRS) 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 (LaRS) Jet Propulsion Laboratory, California Institute of Technology, Pasadena, USA CA 91109","institution_ids":["https://openalex.org/I122411786"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101563209","display_name":"Rajeev Joshi","orcid":"https://orcid.org/0000-0003-1413-0140"},"institutions":[{"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"]},{"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"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Rajeev Joshi","raw_affiliation_strings":["Laboratory for Reliable Software (LaRS) Jet Propulsion Laboratory, California Institute of Technology, Pasadena, CA 91109, USA","Laboratory for Reliable Software (LaRS) Jet Propulsion Laboratory, California Institute of Technology, Pasadena, USA CA 91109"],"affiliations":[{"raw_affiliation_string":"Laboratory for Reliable Software (LaRS) 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 (LaRS) Jet Propulsion Laboratory, California Institute of Technology, Pasadena, USA CA 91109","institution_ids":["https://openalex.org/I122411786"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5102743235"],"corresponding_institution_ids":["https://openalex.org/I122411786","https://openalex.org/I1334627681","https://openalex.org/I4210109270"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.7095,"has_fulltext":true,"cited_by_count":8,"citation_normalized_percentile":{"value":0.70126874,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":96,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"237","last_page":"244"},"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.9987999796867371,"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.9987999796867371,"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/T11424","display_name":"Security and Verification in Computing","score":0.9987000226974487,"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/T11241","display_name":"Advanced Malware Detection Techniques","score":0.9986000061035156,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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.821172297000885},{"id":"https://openalex.org/keywords/containment","display_name":"Containment (computer programming)","score":0.7998000383377075},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.48270297050476074},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3933939039707184},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.2150489091873169},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1912500560283661}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.821172297000885},{"id":"https://openalex.org/C2777019822","wikidata":"https://www.wikidata.org/wiki/Q390066","display_name":"Containment (computer programming)","level":2,"score":0.7998000383377075},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.48270297050476074},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3933939039707184},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.2150489091873169},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1912500560283661}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-3-540-69149-5_25","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-540-69149-5_25","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-540-69149-5_25.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.93.2504","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.93.2504","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://spinroot.com/gerard/pdf/zurich2005_1.pdf","raw_type":"text"}],"best_oa_location":{"id":"doi:10.1007/978-3-540-69149-5_25","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-540-69149-5_25","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-540-69149-5_25.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320306101","display_name":"National Aeronautics and Space Administration","ror":"https://ror.org/027ka1x80"},{"id":"https://openalex.org/F4320309398","display_name":"California Institute of Technology","ror":"https://ror.org/05dxps055"},{"id":"https://openalex.org/F4320332375","display_name":"Jet Propulsion Laboratory","ror":"https://ror.org/027k65916"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1608855349.pdf","grobid_xml":"https://content.openalex.org/works/W1608855349.grobid-xml"},"referenced_works_count":8,"referenced_works":["https://openalex.org/W1573649504","https://openalex.org/W1971837836","https://openalex.org/W1971991620","https://openalex.org/W2096880624","https://openalex.org/W2118360741","https://openalex.org/W2132600666","https://openalex.org/W2156093990","https://openalex.org/W4238858416"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2748952813","https://openalex.org/W4252941105","https://openalex.org/W2058080364","https://openalex.org/W2350808199","https://openalex.org/W249480812","https://openalex.org/W3028091058","https://openalex.org/W4235551436","https://openalex.org/W2392382023","https://openalex.org/W2390279801"],"abstract_inverted_index":null,"counts_by_year":[{"year":2012,"cited_by_count":3}],"updated_date":"2026-04-05T17:49:38.594831","created_date":"2025-10-10T00:00:00"}