{"id":"https://openalex.org/W3114381886","doi":"https://doi.org/10.1007/978-3-030-65955-4_11","title":"Model-Based Design of Resilient Systems Using Quantitative Risk Assessment","display_name":"Model-Based Design of Resilient Systems Using Quantitative Risk Assessment","publication_year":2020,"publication_date":"2020-01-01","ids":{"openalex":"https://openalex.org/W3114381886","doi":"https://doi.org/10.1007/978-3-030-65955-4_11","mag":"3114381886"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-030-65955-4_11","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-030-65955-4_11","pdf_url":null,"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":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5007109810","display_name":"Braham Lotfi Mediouni","orcid":"https://orcid.org/0000-0003-4256-0383"},"institutions":[{"id":"https://openalex.org/I4210123571","display_name":"Huawei Technologies (France)","ror":"https://ror.org/02rbzf697","country_code":"FR","type":"company","lineage":["https://openalex.org/I2250955327","https://openalex.org/I4210123571"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Braham Lotfi Mediouni","raw_affiliation_strings":["Huawei Technologies France, Grenoble, France"],"affiliations":[{"raw_affiliation_string":"Huawei Technologies France, Grenoble, France","institution_ids":["https://openalex.org/I4210123571"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025907604","display_name":"Iulia Dragomir","orcid":"https://orcid.org/0000-0002-5529-6094"},"institutions":[{"id":"https://openalex.org/I863118367","display_name":"GMV Innovating Solutions (Spain)","ror":"https://ror.org/0001w5c47","country_code":"ES","type":"company","lineage":["https://openalex.org/I863118367"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Iulia Dragomir","raw_affiliation_strings":["GMV Aerospace and Defence, Madrid, Spain"],"affiliations":[{"raw_affiliation_string":"GMV Aerospace and Defence, Madrid, Spain","institution_ids":["https://openalex.org/I863118367"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062604298","display_name":"Ayoub Nouri","orcid":"https://orcid.org/0000-0001-8959-5212"},"institutions":[{"id":"https://openalex.org/I4210123571","display_name":"Huawei Technologies (France)","ror":"https://ror.org/02rbzf697","country_code":"FR","type":"company","lineage":["https://openalex.org/I2250955327","https://openalex.org/I4210123571"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Ayoub Nouri","raw_affiliation_strings":["Huawei Technologies France, Grenoble, France"],"affiliations":[{"raw_affiliation_string":"Huawei Technologies France, Grenoble, France","institution_ids":["https://openalex.org/I4210123571"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5106468718","display_name":"Saddek Bensalem","orcid":"https://orcid.org/0000-0002-5753-2126"},"institutions":[{"id":"https://openalex.org/I4210123571","display_name":"Huawei Technologies (France)","ror":"https://ror.org/02rbzf697","country_code":"FR","type":"company","lineage":["https://openalex.org/I2250955327","https://openalex.org/I4210123571"]},{"id":"https://openalex.org/I899635006","display_name":"Universit\u00e9 Grenoble Alpes","ror":"https://ror.org/02rx3b187","country_code":"FR","type":"education","lineage":["https://openalex.org/I899635006"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I106785703","display_name":"Institut polytechnique de Grenoble","ror":"https://ror.org/05sbt2524","country_code":"FR","type":"education","lineage":["https://openalex.org/I106785703","https://openalex.org/I899635006"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Saddek Bensalem","raw_affiliation_strings":["Huawei Technologies France, Grenoble, France","Univ. Grenoble Alpes, CNRS, Grenoble INP (Institute of Engineering Univ. Grenoble Alpes), VERIMAG, 38000, Grenoble, France","Univ. Grenoble Alpes, CNRS, Grenoble INP (Institute of Engineering Univ. Grenoble Alpes), VERIMAG, Grenoble, France"],"affiliations":[{"raw_affiliation_string":"Huawei Technologies France, Grenoble, France","institution_ids":["https://openalex.org/I4210123571"]},{"raw_affiliation_string":"Univ. Grenoble Alpes, CNRS, Grenoble INP (Institute of Engineering Univ. Grenoble Alpes), VERIMAG, 38000, Grenoble, France","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I899635006","https://openalex.org/I106785703"]},{"raw_affiliation_string":"Univ. Grenoble Alpes, CNRS, Grenoble INP (Institute of Engineering Univ. Grenoble Alpes), VERIMAG, Grenoble, France","institution_ids":["https://openalex.org/I106785703","https://openalex.org/I899635006","https://openalex.org/I1294671590"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5007109810"],"corresponding_institution_ids":["https://openalex.org/I4210123571"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.29641563,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"149","last_page":"164"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"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"}},"topics":[{"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"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9983999729156494,"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/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9912999868392944,"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/computer-science","display_name":"Computer science","score":0.7918719053268433},{"id":"https://openalex.org/keywords/robustness","display_name":"Robustness (evolution)","score":0.7806257009506226},{"id":"https://openalex.org/keywords/fault-detection-and-isolation","display_name":"Fault detection and isolation","score":0.6052762269973755},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.5362275242805481},{"id":"https://openalex.org/keywords/isolation","display_name":"Isolation (microbiology)","score":0.47099751234054565},{"id":"https://openalex.org/keywords/relevance","display_name":"Relevance (law)","score":0.4585639238357544},{"id":"https://openalex.org/keywords/robotics","display_name":"Robotics","score":0.4444098472595215},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.4225851595401764},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.39334404468536377},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.13437607884407043},{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.12548226118087769},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.10235708951950073}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7918719053268433},{"id":"https://openalex.org/C63479239","wikidata":"https://www.wikidata.org/wiki/Q7353546","display_name":"Robustness (evolution)","level":3,"score":0.7806257009506226},{"id":"https://openalex.org/C152745839","wikidata":"https://www.wikidata.org/wiki/Q5438153","display_name":"Fault detection and isolation","level":3,"score":0.6052762269973755},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.5362275242805481},{"id":"https://openalex.org/C2775941552","wikidata":"https://www.wikidata.org/wiki/Q25212305","display_name":"Isolation (microbiology)","level":2,"score":0.47099751234054565},{"id":"https://openalex.org/C158154518","wikidata":"https://www.wikidata.org/wiki/Q7310970","display_name":"Relevance (law)","level":2,"score":0.4585639238357544},{"id":"https://openalex.org/C34413123","wikidata":"https://www.wikidata.org/wiki/Q170978","display_name":"Robotics","level":3,"score":0.4444098472595215},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4225851595401764},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.39334404468536377},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.13437607884407043},{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.12548226118087769},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.10235708951950073},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"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/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C89423630","wikidata":"https://www.wikidata.org/wiki/Q7193","display_name":"Microbiology","level":1,"score":0.0},{"id":"https://openalex.org/C172707124","wikidata":"https://www.wikidata.org/wiki/Q423488","display_name":"Actuator","level":2,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-030-65955-4_11","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-030-65955-4_11","pdf_url":null,"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"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W81140875","https://openalex.org/W125598877","https://openalex.org/W233122475","https://openalex.org/W1544634046","https://openalex.org/W1558483585","https://openalex.org/W1712895775","https://openalex.org/W1987535580","https://openalex.org/W2023808162","https://openalex.org/W2063471322","https://openalex.org/W2070568156","https://openalex.org/W2101508170","https://openalex.org/W2115857453","https://openalex.org/W2127574833","https://openalex.org/W2139030423","https://openalex.org/W2139891885","https://openalex.org/W2166423024","https://openalex.org/W2174091519","https://openalex.org/W2180677596","https://openalex.org/W2749733812","https://openalex.org/W2892813239","https://openalex.org/W2893342856","https://openalex.org/W2898291905","https://openalex.org/W2899011021","https://openalex.org/W4206398538","https://openalex.org/W4214963255","https://openalex.org/W4253500850","https://openalex.org/W6679172233"],"related_works":["https://openalex.org/W1508899372","https://openalex.org/W2085384747","https://openalex.org/W2088166309","https://openalex.org/W1891216533","https://openalex.org/W2106071040","https://openalex.org/W4312133475","https://openalex.org/W1538854713","https://openalex.org/W4238976562","https://openalex.org/W2276587472","https://openalex.org/W4248323080"],"abstract_inverted_index":null,"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}