{"id":"https://openalex.org/W6927586847","doi":"https://doi.org/10.34727/2023/isbn.978-3-85448-060-0_18","title":"\u00b5ArchiFI: Formal Modeling and Verification Strategies for Microarchitetural Fault Injections","display_name":"\u00b5ArchiFI: Formal Modeling and Verification Strategies for Microarchitetural Fault Injections","publication_year":2023,"publication_date":"2023-10-01","ids":{"openalex":"https://openalex.org/W6927586847","doi":"https://doi.org/10.34727/2023/isbn.978-3-85448-060-0_18"},"language":"en","primary_location":{"id":"pmh:oai:HAL:cea-04215728v1","is_oa":true,"landing_page_url":"https://cea.hal.science/cea-04215728","pdf_url":"https://cea.hal.science/cea-04215728/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"FMCAD.23 - Formal Methods in Computer-Aided Design 2023","raw_type":"info:eu-repo/semantics/conferenceObject"},"type":"other","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://cea.hal.science/cea-04215728/document","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Tollec, Simon","orcid":"https://orcid.org/0009-0007-1343-0586"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Tollec, Simon","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0009-0007-1343-0586","affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Asavoae, Mihail","orcid":"https://orcid.org/0000-0001-5291-8567"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Asavoae, Mihail","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0001-5291-8567","affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Courouss\u00e9, Damien","orcid":"https://orcid.org/0000-0003-2761-3627"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Courouss\u00e9, Damien","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0003-2761-3627","affiliations":[]},{"author_position":"middle","author":{"id":null,"display_name":"Heydemann, Karine","orcid":"https://orcid.org/0000-0003-2092-924X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Heydemann, Karine","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0003-2092-924X","affiliations":[]},{"author_position":"last","author":{"id":null,"display_name":"Jan, Mathieu","orcid":"https://orcid.org/0000-0002-3016-8109"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jan, Mathieu","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-3016-8109","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":2,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":true,"primary_topic":null,"topics":[],"keywords":[{"id":"https://openalex.org/keywords/nucleofection","display_name":"Nucleofection","score":0.47679999470710754},{"id":"https://openalex.org/keywords/gestational-period","display_name":"Gestational period","score":0.38519999384880066},{"id":"https://openalex.org/keywords/tsg101","display_name":"TSG101","score":0.3458999991416931},{"id":"https://openalex.org/keywords/dysgeusia","display_name":"Dysgeusia","score":0.3353999853134155},{"id":"https://openalex.org/keywords/diafiltration","display_name":"Diafiltration","score":0.32690000534057617},{"id":"https://openalex.org/keywords/emperipolesis","display_name":"Emperipolesis","score":0.320499986410141},{"id":"https://openalex.org/keywords/liquation","display_name":"Liquation","score":0.3197999894618988},{"id":"https://openalex.org/keywords/triacetin","display_name":"Triacetin","score":0.31119999289512634},{"id":"https://openalex.org/keywords/demotion","display_name":"Demotion","score":0.30550000071525574}],"concepts":[{"id":"https://openalex.org/C144251240","wikidata":"https://www.wikidata.org/wiki/Q7068229","display_name":"Nucleofection","level":4,"score":0.47679999470710754},{"id":"https://openalex.org/C2992336715","wikidata":"https://www.wikidata.org/wiki/Q63431143","display_name":"Gestational period","level":4,"score":0.38519999384880066},{"id":"https://openalex.org/C2778283623","wikidata":"https://www.wikidata.org/wiki/Q18032200","display_name":"TSG101","level":5,"score":0.3458999991416931},{"id":"https://openalex.org/C2777054765","wikidata":"https://www.wikidata.org/wiki/Q6402731","display_name":"Dysgeusia","level":3,"score":0.3353999853134155},{"id":"https://openalex.org/C18743360","wikidata":"https://www.wikidata.org/wiki/Q1208096","display_name":"Diafiltration","level":4,"score":0.32690000534057617},{"id":"https://openalex.org/C2777968768","wikidata":"https://www.wikidata.org/wiki/Q1280161","display_name":"Emperipolesis","level":4,"score":0.320499986410141},{"id":"https://openalex.org/C180938184","wikidata":"https://www.wikidata.org/wiki/Q2142270","display_name":"Liquation","level":3,"score":0.3197999894618988},{"id":"https://openalex.org/C2776781215","wikidata":"https://www.wikidata.org/wiki/Q83253","display_name":"Triacetin","level":2,"score":0.31119999289512634},{"id":"https://openalex.org/C104545631","wikidata":"https://www.wikidata.org/wiki/Q464858","display_name":"Demotion","level":3,"score":0.30550000071525574},{"id":"https://openalex.org/C2777742743","wikidata":"https://www.wikidata.org/wiki/Q19904005","display_name":"Durvalumab","level":5,"score":0.3021000027656555},{"id":"https://openalex.org/C133074676","wikidata":"https://www.wikidata.org/wiki/Q428729","display_name":"Fusible alloy","level":2,"score":0.29429998993873596},{"id":"https://openalex.org/C2777935831","wikidata":"https://www.wikidata.org/wiki/Q3144949","display_name":"Hemopericardium","level":3,"score":0.29339998960494995},{"id":"https://openalex.org/C2777158700","wikidata":"https://www.wikidata.org/wiki/Q1419356","display_name":"Hyporeflexia","level":3,"score":0.29159998893737793},{"id":"https://openalex.org/C135979968","wikidata":"https://www.wikidata.org/wiki/Q609809","display_name":"Protein isoform","level":5,"score":0.2912999987602234},{"id":"https://openalex.org/C2778843634","wikidata":"https://www.wikidata.org/wiki/Q2013780","display_name":"Ocrelizumab","level":4,"score":0.289000004529953},{"id":"https://openalex.org/C145741570","wikidata":"https://www.wikidata.org/wiki/Q7251534","display_name":"Proteogenomics","level":5,"score":0.28870001435279846},{"id":"https://openalex.org/C2779645999","wikidata":"https://www.wikidata.org/wiki/Q1858477","display_name":"Frugality","level":2,"score":0.2831999957561493},{"id":"https://openalex.org/C2775917601","wikidata":"https://www.wikidata.org/wiki/Q1424050","display_name":"Sclerodactyly","level":4,"score":0.2793000042438507},{"id":"https://openalex.org/C2779627259","wikidata":"https://www.wikidata.org/wiki/Q779763","display_name":"Pretext","level":3,"score":0.2777000069618225},{"id":"https://openalex.org/C2909186138","wikidata":"https://www.wikidata.org/wiki/Q1500373","display_name":"Hyperlactatemia","level":2,"score":0.27459999918937683},{"id":"https://openalex.org/C2780904289","wikidata":"https://www.wikidata.org/wiki/Q426498","display_name":"Tantalum carbide","level":3,"score":0.2671999931335449},{"id":"https://openalex.org/C2778128915","wikidata":"https://www.wikidata.org/wiki/Q3782613","display_name":"Contractualism","level":2,"score":0.26170000433921814},{"id":"https://openalex.org/C2781032047","wikidata":"https://www.wikidata.org/wiki/Q938793","display_name":"Articular cartilage damage","level":5,"score":0.26109999418258667},{"id":"https://openalex.org/C2776714567","wikidata":"https://www.wikidata.org/wiki/Q7861081","display_name":"Typhoid vaccine","level":3,"score":0.25609999895095825},{"id":"https://openalex.org/C2776356786","wikidata":"https://www.wikidata.org/wiki/Q1048573","display_name":"Tubulopathy","level":3,"score":0.25369998812675476}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:HAL:cea-04215728v1","is_oa":true,"landing_page_url":"https://cea.hal.science/cea-04215728","pdf_url":"https://cea.hal.science/cea-04215728/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"FMCAD.23 - Formal Methods in Computer-Aided Design 2023","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"doi:10.34727/2023/isbn.978-3-85448-060-0_18","is_oa":true,"landing_page_url":"https://doi.org/10.34727/2023/isbn.978-3-85448-060-0_18","pdf_url":null,"source":{"id":"https://openalex.org/S4306400493","display_name":"reposiTUm (TU Wien)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I145847075","host_organization_name":"TU Wien","host_organization_lineage":["https://openalex.org/I145847075"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:HAL:cea-04215728v1","is_oa":true,"landing_page_url":"https://cea.hal.science/cea-04215728","pdf_url":"https://cea.hal.science/cea-04215728/document","source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"FMCAD.23 - Formal Methods in Computer-Aided Design 2023","raw_type":"info:eu-repo/semantics/conferenceObject"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1211680402","display_name":null,"funder_award_id":"ANR-22-PECY-0004","funder_id":"https://openalex.org/F4320320883","funder_display_name":"Agence Nationale de la Recherche"},{"id":"https://openalex.org/G2258208517","display_name":null,"funder_award_id":"101095947","funder_id":"https://openalex.org/F4320319005","funder_display_name":"Key Digital Technologies Joint Undertaking"}],"funders":[{"id":"https://openalex.org/F4320319005","display_name":"Key Digital Technologies Joint Undertaking","ror":null},{"id":"https://openalex.org/F4320320883","display_name":"Agence Nationale de la Recherche","ror":"https://ror.org/00rbzpz17"}],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W6927586847.pdf"},"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":null,"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}