{"id":"https://openalex.org/W2885012617","doi":"https://doi.org/10.1145/3193992.3193993","title":"Risk management for high tech systems","display_name":"Risk management for high tech systems","publication_year":2018,"publication_date":"2018-06-02","ids":{"openalex":"https://openalex.org/W2885012617","doi":"https://doi.org/10.1145/3193992.3193993","mag":"2885012617"},"language":"en","primary_location":{"id":"doi:10.1145/3193992.3193993","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3193992.3193993","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/A5053065289","display_name":"Mari\u00eblle Stoelinga","orcid":"https://orcid.org/0000-0001-6793-8165"},"institutions":[{"id":"https://openalex.org/I145872427","display_name":"Radboud University Nijmegen","ror":"https://ror.org/016xsfp80","country_code":"NL","type":"education","lineage":["https://openalex.org/I145872427"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Marielle Stoelinga","raw_affiliation_strings":["University Twente and Radboud University Nijmegen, the Netherlands"],"affiliations":[{"raw_affiliation_string":"University Twente and Radboud University Nijmegen, the Netherlands","institution_ids":["https://openalex.org/I145872427"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5053065289"],"corresponding_institution_ids":["https://openalex.org/I145872427"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.08236896,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"1","last_page":"1"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11357","display_name":"Risk and Safety Analysis","score":0.9794999957084656,"subfield":{"id":"https://openalex.org/subfields/1804","display_name":"Statistics, Probability and Uncertainty"},"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/T11357","display_name":"Risk and Safety Analysis","score":0.9794999957084656,"subfield":{"id":"https://openalex.org/subfields/1804","display_name":"Statistics, Probability and Uncertainty"},"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/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9228000044822693,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"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/fault-tree-analysis","display_name":"Fault tree analysis","score":0.7945296168327332},{"id":"https://openalex.org/keywords/high-tech","display_name":"High tech","score":0.5735666751861572},{"id":"https://openalex.org/keywords/nuclear-power","display_name":"Nuclear power","score":0.5595476627349854},{"id":"https://openalex.org/keywords/risk-management","display_name":"Risk management","score":0.5406064987182617},{"id":"https://openalex.org/keywords/the-internet","display_name":"The Internet","score":0.5237383842468262},{"id":"https://openalex.org/keywords/management-system","display_name":"Management system","score":0.4862028956413269},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.4823029041290283},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4268016815185547},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.41807496547698975},{"id":"https://openalex.org/keywords/aeronautics","display_name":"Aeronautics","score":0.328769326210022},{"id":"https://openalex.org/keywords/risk-analysis","display_name":"Risk analysis (engineering)","score":0.324921190738678},{"id":"https://openalex.org/keywords/business","display_name":"Business","score":0.2933698892593384},{"id":"https://openalex.org/keywords/operations-management","display_name":"Operations management","score":0.16315627098083496},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.1612120270729065},{"id":"https://openalex.org/keywords/political-science","display_name":"Political science","score":0.1568179428577423},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.11413571238517761}],"concepts":[{"id":"https://openalex.org/C107094494","wikidata":"https://www.wikidata.org/wiki/Q428453","display_name":"Fault tree analysis","level":2,"score":0.7945296168327332},{"id":"https://openalex.org/C191920346","wikidata":"https://www.wikidata.org/wiki/Q466410","display_name":"High tech","level":2,"score":0.5735666751861572},{"id":"https://openalex.org/C513653683","wikidata":"https://www.wikidata.org/wiki/Q12739","display_name":"Nuclear power","level":2,"score":0.5595476627349854},{"id":"https://openalex.org/C32896092","wikidata":"https://www.wikidata.org/wiki/Q189447","display_name":"Risk management","level":2,"score":0.5406064987182617},{"id":"https://openalex.org/C110875604","wikidata":"https://www.wikidata.org/wiki/Q75","display_name":"The Internet","level":2,"score":0.5237383842468262},{"id":"https://openalex.org/C198783460","wikidata":"https://www.wikidata.org/wiki/Q629173","display_name":"Management system","level":2,"score":0.4862028956413269},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.4823029041290283},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4268016815185547},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.41807496547698975},{"id":"https://openalex.org/C178802073","wikidata":"https://www.wikidata.org/wiki/Q8421","display_name":"Aeronautics","level":1,"score":0.328769326210022},{"id":"https://openalex.org/C112930515","wikidata":"https://www.wikidata.org/wiki/Q4389547","display_name":"Risk analysis (engineering)","level":1,"score":0.324921190738678},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.2933698892593384},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.16315627098083496},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.1612120270729065},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.1568179428577423},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.11413571238517761},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1145/3193992.3193993","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3193992.3193993","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"},{"id":"pmh:oai:ris.utwente.nl:openaire_cris_publications/88017c19-f9f0-401d-a631-c22e7c63c8b8","is_oa":false,"landing_page_url":"https://research.utwente.nl/en/publications/88017c19-f9f0-401d-a631-c22e7c63c8b8","pdf_url":null,"source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Stoelinga, M 2018, Risk management for high tech systems. in S Gnesi, N Plat, P Spoletini & P Pelliccione (eds), FormaliSE'18. Proceedings of the 6th Conference on Formal Methods in Software Engineering, FormaliSE 2018, collocated with ICSE 2018, Gothenburg, Sweden, June 2, 2018. Association for Computing Machinery, 6th Conference on Formal Methods in Software Engineering 2018, Gothenburg, Sweden, 2/06/18. https://doi.org/10.1145/3193992.3193993","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:repository.ubn.ru.nl:2066/195295","is_oa":false,"landing_page_url":"https://hdl.handle.net/2066/195295","pdf_url":null,"source":{"id":"https://openalex.org/S4306401067","display_name":"Radboud Repository (Radboud University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I145872427","host_organization_name":"Radboud University Nijmegen","host_organization_lineage":["https://openalex.org/I145872427"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article in monograph or in proceedings"},{"id":"pmh:ru:oai:repository.ubn.ru.nl:2066/195295","is_oa":false,"landing_page_url":"http://hdl.handle.net/2066/195295","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Gnesi, S. (ed.), FormaliSE '18: Proceedings of the 6th Conference on Formal Methods in Software Engineering, Gothenburg, Sweden \u2014 June 02 - 02, 2018, 1 - 1. New York : ACM","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.6000000238418579}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W3116257295","https://openalex.org/W2359768478","https://openalex.org/W4244913946","https://openalex.org/W2374863718","https://openalex.org/W2368585766","https://openalex.org/W635486197","https://openalex.org/W1602670289","https://openalex.org/W2354439863","https://openalex.org/W2348058071","https://openalex.org/W3081376217"],"abstract_inverted_index":{"How":[0],"do":[1],"we":[2],"ensure":[3],"that":[4],"self-driving":[5],"cars,":[6],"nuclear":[7],"power":[8],"plants":[9],"and":[10,15],"Internet-of-things":[11],"devices":[12],"are":[13],"safe":[14],"reliable?":[16],"That":[17],"is":[18,27],"the":[19,43],"topic":[20],"of":[21],"risk":[22],"management.":[23],"Fault":[24],"tree":[25],"analysis":[26],"a":[28],"very":[29],"popular":[30],"technique":[31],"here,":[32],"deployed":[33],"by":[34],"many":[35],"institutions":[36],"like":[37],"NASA,":[38],"ESA,":[39],"Honeywell,":[40],"Ford,":[41],"Airbus,":[42],"FDA,":[44],"Toyota,":[45],"Shell":[46],"etc.":[47]},"counts_by_year":[],"updated_date":"2026-03-15T09:29:46.208133","created_date":"2025-10-10T00:00:00"}