{“id”：“https://openalex.org/W3149451953“，”doi“：”https://doi.org/10.1109/memcod.2009.5185377“，”title“：“使用LOTOS和CADP验证工业SystemC/TLM模型”，”display_name“：”使用LOTOS和CADP检验工业SystemC/TLM模型“，”publication_year“：2009，”publiation_date“：”2009-07-01“，”ids“：{”openalex“：”https://openalex.org/W3149451953“，”doi“：”https://doi.org/10.1109/memcod.2009.5185377“，”mag“：”3149451953“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1109/memcod.2009.5185377“，”pdf_url“：null，”source“：nul，”license“：null'，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，”type“：”article“，”type_crossref“：“proceedings-article”，”indexed_in“：[”crossref“]，”open_access“：{”is_oa“：true，”oa_status“：”green“，”“oa_url”：“”https://inria.hal.science/inia-00408283/document（英文）“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5022400989“，”display_name“：”Hubert Garavel“，”orcid“：”https://orcid.org/0009-0000-5304-8081}，“机构”：[{“id”：https://openalex.org/I4210101348“，”display_name“：”格勒诺布尔阿尔卑斯大学中心\u00e9“，”ror“：”https://ror.org/00n8d6z93“，”“country_code”“：”FR“，”type“：”facility“，”lineage“：[”https://openalex.org/I1326498283","https://openalex.org/I4210101348“]}，{”id“：”https://openalex.org/I1326498283“，”“display_name”：“Institute national de recherche en informatique et en automatique”，“错误”：“https://ror.org/02kvxyf05“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I1326498283“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Hubert Garavel“，”raw _ afiliation_strings“：[“INRIA Grenoble Rhone-Alpes，Montbonnot Saint Martin，France”]，”从属关系“：[{”raw _affiliation_string“：”INRIA格勒诺布尔Rhone-Alpes，montbonno Saint Marting，Frances”，“institution_ids”：[“https://openalex.org/I4210101348","https://openalex.org/I1326498283“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5079663303“，”display_name“：”Claude Helmstetter“，”orcid“：”https://orcid.org/0000-0002-2323-6919}，“机构”：[{“id”：https://openalex.org/I4210101348“，”display_name“：”格勒诺布尔阿尔卑斯大学中心\u00e9“，”ror“：”https://ror.org/00n8d6z93“，”“country_code”“：”FR“，”type“：”facility“，”lineage“：[”https://openalex.org/I1326498283","https://openalex.org/I4210101348“]}，{”id“：”https://openalex.org/I1326498283“，”“display_name”：“Institute national de recherche en informatique et en automatique”，“错误”：“https://ror.org/02kvxyf05“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I1326498283“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Claude Helmstetter“，”raw _ afiliation_strings“：[“INRIA Grenoble Rhone-Alpes，Montbonnot Saint Martin，France”]，”afiliations“：[{”raw _affiliation_string“：”INRIA Grenoble Rhone-Alpes，Montbonnot Saint-Martin，France“，”institution_ids“：[https://openalex.org/I4210101348","https://openalex.org/I1326498283“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5000907345“，”display_name“：”Olivier Ponsini“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I4210101348“，”display_name“：”格勒诺布尔阿尔卑斯大学中心\u00e9“，”ror“：”https://ror.org/00n8d6z93“，”“country_code”“：”FR“，”type“：”facility“，”lineage“：[”https://openalex.org/I1326498283","https://openalex.org/I4210101348“]}，{”id“：”https://openalex.org/I1326498283“，”“display_name”：“Institute national de recherche en informatique et en automatique”，“错误”：“https://ror.org/02kvxyf05“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I1326498283“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Olivier Ponsini“，”raw _ afiliation_strings“：[“INRIA Grenoble Rhone-Alpes，Montbonnot Saint Martin，France”]，”afiliations“：[{”raw _affiliation_string“：”INRIA格勒诺布尔Rhone-阿尔卑斯，Montbonnot Saint-Martin，France“，”，“institution_ids”：[“https://openalex.org/I4210101348","https://openalex.org/I1326498283“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5022335982“，”display_name“：”Wendelin Serwe“，”orcid“：null}，”institutions“：[{”id“：”https://openalex.org/I1326498283“，”“display_name”：“Institute national de recherche en informatique et en automatique”，“错误”：“https://ror.org/02kvxyf05“，”country_code“：”FR“，”type“：“政府”，”世系“：[”https://openalex.org/I1326498283“]}，{”id“：”https://openalex.org/I4210101348“，”display_name“：”格勒诺布尔阿尔卑斯大学中心\u00e9“，”ror“：”https://ror.org/00n8d6z93“，”“country_code”“：”FR“，”type“：”facility“，”lineage“：[”https://openalex.org/I1326498283","https://openalex.org/I4210101348“]}]，”国家“：[”FR“]，”is_corresponding“：false，”raw_author_name“：”Wendelin Serwe“，”raw _ afiliation_strings“：[“INRIA Grenoble Rhone-Alpes，Montbonnot Saint Martin，France”]，“afiliations”：[{“raw _ ffiliation_strong”：“INRIA Grenoble Rohone-Albes，Montponot Saint马丁，France“，”，“institution_ids”：[”https://openalex.org/I1326498283","https://openalex.org/I4210101348“]}]}]，”institution_assertions“：[]，”countries_distinct_count“：1，”institutions_disting_count”：2，”corresponding_author_ids“：[[]，”coresponding_institution_ids”：[]、“apc_list”：null，“apc_payed”：nul，“fwci”：1.628，“has_fulltext”：true，“fulltext_origin”：“ngrams”，“cited_by_count”：33，“citation_normalized_percentile”：{“value”：0.8 97852，“is_in_top_1_percent“：false，”is_in_top_10_percennt“：false}，”cited_by_percentile_year“：{”min“：92，”max“：93}，“biblio”：{“volume”：null，“issue”：null:null，”first_page“：nullhttps://openalex.org/T10904“，”“display_name”：“可重构计算系统和设计方法”，“score”：0.9991，“subfield”：{“id”：“https://openalex.org/subfields/1708“，”display_name“：”硬件和体系结构“}，”字段“：{”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/T10904“，”“display_name”：“可重构计算系统和设计方法”，“score”：0.9991，“subfield”：{“id”：“https://openalex.org/subfields/1708“，”display_name“：”硬件和体系结构“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9985，“subfield”：{“id”：“https://openalex.org/subfields/1703“，”display_name“：”计算理论与数学“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}，{”id“：”https://openalex.org/T10933“，”display_name“：”嵌入式系统中的实时调度“，”score“：0.9973，”subfield“：｛”id“：”https://openalex.org/subfields/1708“，”display_name“：”硬件和体系结构“}，”字段“：{”id“：”https://openalex.org/fields/17“，”display_name“：”Computer Science“}，”domain“：{”id“：”https://openalex.org/domains/3“，”display_name“：”物理科学“}}]，”关键词“：[{”id“：”https://openalex.org/keywords/toolbox“，”display_name“：”工具箱“，”score“：0.5676296}，{”id“：”https://openalex.org/keywords/model-checking“，”display_name“：”模型检查“，”score“：0.531775}，{”id“：”https://openalex.org/keywords/system-level-design网站“，”display_name“：”系统级设计“，”score“：0.518993}，{”id“：”https://openalex.org/keywords/safety-verification网站“，”display_name“：”安全验证“，”score“：0.517542}，{”id“：”https://openalex.org/keywords/runtime验证“，”display_name“：”Runtime Verification“，”score“：0.516063}，{”id“：”https://openalex.org/keywords/transaction-level-modeling“，”display_name“：”事务级建模“，”score“：0.48829174｝，｛”id“：”https://openalex.org/keywords/code网站“，”“display_name”：“代码（集合论）”，“分数”：0.4572167}]，“概念”：[{“id”：“https://openalex.org/C2776928060，“wikidata”：https://www.wikidata.org/wiki/Q1753563“，”display_name“：”SystemC“，”level“：2，”score“：0.9835305}，{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198（网址：https://www.wikidata.org/wiki/Q21198）“，”display_name“：”计算机科学“，”level“：0，”score“：0.8495102}，{”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.6236793}，{”id“：”https://openalex.org/C2777655017，“wikidata”：https://www.wikidata.org/wiki/Q1501161“，”display_name“：”工具箱“，”level“：2，”score“：0.5676296}，{”id“：”https://openalex.org/C111498074，“wikidata”：https://www.wikidata.org/wiki/Q173326“，”display_name“：”形式验证“，”level“：2，”score“：0.5582997}，{”id“：”https://openalex.org/C169571997，“wikidata”：https://www.wikidata.org/wiki/Q966099“，”display_name“：”事务级建模“，”level“：3，”score“：0.48829174｝，｛”id“：”https://openalex.org/C206588197，“wikidata”：https://www.wikidata.org/wiki/Q846574“，”display_name“：”重用“，”级别“：2，”分数“：0.45852035}，{”id“：”https://openalex.org/C2776760102，“wikidata”：https://www.wikidata.org/wiki/Q5139900“，”“display_name”：“代码（集合论）”，“级别”：3，“分数”：0.4572167}，{“id”：“https://openalex.org/C149364088，“wikidata”：https://www.wikidata.org/wiki/Q185917“，”display_name“：”Translation（biology）“，”level“：4，”score“：0.44756877}，{”id“：”https://openalex.org/C42143788，“wikidata”：https://www.wikidata.org/wiki/Q173341“，”display_name“：”硬件描述语言“，”level“：3，”score“：0.4223783}，{”id“：”https://openalex.org/C118524514，“wikidata”：https://www.wikidata.org/wiki/Q173212“，”display_name“：”计算机体系结构“，”level“：1，”score“：0.373008}，{”id“：”https://openalex.org/C149635348，“wikidata”：https://www.wikidata.org/wiki/Q193040“，”display_name“：”嵌入式系统“，”level“：1，”score“：0.36566395}，{”id“：”https://openalex.org/C42935608，“wikidata”：https://www.wikidata.org/wiki/Q190411“，”display_name“：”现场可编程门阵列“，”level“：2，”score“：0.07938799}，{”id“：”https://openalex.org/C18903297，“wikidata”：https://www.wikidata.org/wiki/Q7150“，”display_name“：”生态学“，”level“：1，”score“：0.0}，{”id“：”https://openalex.org/C55493867，“wikidata”：https://www.wikidata.org/wiki/Q7094“，”display_name“：”生物化学“，”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/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（abstract data type）“，”level“：2，”score“：0.0}，{”id“：”https://openalex.org/C105580179，“wikidata”：https://www.wikidata.org/wiki/Q188928“，”display_name“：”Messenger RNA“，”level“：3，”score“：0.0}，{”id“：”https://openalex.org/C104317684，“wikidata”：https://www.wikidata.org/wiki/Q7187“，”display_name“：”Gene“，”level“：2，”score“：0.0}，{”id“：”https://openalex.org/C86803240，“wikidata”：https://www.wikidata.org/wiki/Q420“，”display_name“：”Biology“，”level“：0，”score“：0.0}]，”mesh“：[]，”locations_count“：6，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1109/memcod.2009.5185377“，”pdf_url“：null，”source“：null，”license“：nully，”licence_id“：null，”version“：nuller，”is_accepted“：false，”is_published“：false}，{”is_oa“：true，”landing_page_url”：“https://hal.inia.fr/inia-00408283，“pdf_url”：https://inria.hal.science/inia-00408283/document（英文）“，”源“：｛”id“：”https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”Centre National de la Recherche Scientifique“]，“type”：“repository”}，“license”：“other-oa”，“licence_id”：“https://openalex.org/licenses/other-oa网站“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}，{”is_oa“：true，”landing_page_url“：”https://inria.hal.science/inria-00408283/file/Garavel-Helmstetter-Ponsini-Serwe-09.pdf，“pdf_url”：https://inria.hal.science/inia-00408283/file/Garavel-Helmstetter-Ponsini-Serwe-09.pdf“，”source“：null，”license“：”other-oa“，”licence_id“：”https://openalex.org/licenses/other-oa网站“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}，{”is_oa“：true，”landing_page_url“：”https://hal.inia.fr/inia-00408283/file/Garavel-Helmstetter-Ponsini-Serwe-09.pdf，“pdf_url”：https://hal.inia.fr/inia-00408283/file/Garavel-Helmstetter-Ponsini-Serwe-09.pdf“，”源“：｛”id“：”https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”Centre National de la Recherche Scientifique“]，“type”：“repository”}，“license”：“other-oa”，“licence_id”：“https://openalex.org/licenses/other-oa网站“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}，{”is_oa“：true，”landing_page_url“：”https://hal.inia.fr/inia-00408283/document，“pdf_url”：https://hal.inia.fr/inia-00408283/document“，”源“：｛”id“：”https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”Centre National de la Recherche Scientifique“]，“type”：“repository”}，“license”：“other-oa”，“licence_id”：“https://openalex.org/licenses/other-oa网站“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}，{”is_oa“：true，”landing_page_url“：”http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.591.5582，“pdf_url”：http://hal.archives-ouvertes.fr/docs/00/40/82/83/PDF/Gravel-Helmstetter-Ponsini-Serwe-09.PDF“，”源“：｛”id“：”https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（宾夕法尼亚州立大学）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is_in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I130769515“，”“host_organization_name”：“宾夕法尼亚州立大学”，“host_ordanization_lineage”：[“https://openalex.org/I130769515“]，”host_organization_lineage_names“：[”Pennsylvania State University“]，“type”：“repository”}，“license”：null，“licence_id”：null，“version”：“submittedVersion”，“is_accepted”：false，“is_published”：false}]，“best_oa_location”：{“is_oa”：true，“landing_page_url”：“https://hal.inia.fr/inia-00408283，“pdf_url”：https://inria.hal.science/inia-00408283/document（英文）“，”源“：｛”id“：”https://openalex.org/S4306402512“，”display_name“：”HAL（通信科学指导中心）“，”issn_l“：null，”issn“：null，”is_oa“：true，”is-in_doaj“：false，”is_core“：false，”host_organization“：”https://openalex.org/I1294671590“，”“host_organization_name”：“国家科学研究中心”，“host_ordanization_lineage”：[“https://openalex.org/I1294671590“]，”host_organization_lineage_names“：[”Centre National de la Recherche Scientifique“]，“type”：“repository”}，“license”：“other-oa”，“licence_id”：“https://openalex.org/licenses/other-oa网站“，”version“：”submittedVersion“，”is_accepted“：false，”is_published“：false}，”sustainable_development_goals“：[{”id“：”https://metadata.un.org/sdg/9“，”display_name“：”工业、创新和基础设施“，”score“：0.52}]，”grants“：[]，”datasets“：【】，”versions“：【]，”referenced_works_count“：15，”referrenced_works“：[”https://openalex.org/W1507281497","https://openalex.org/W1517193549","https://openalex.org/W1605031929","https://openalex.org/W1856391849","https://openalex.org/W1968938035","https://openalex.org/W2106902853","https://openalex.org/W2115968267","https://openalex.org/W2121372686","https://openalex.org/W2126004993","https://openalex.org/W2154206750","https://openalex.org/W2161189012","https://openalex.org/W2169994946","https://openalex.org/W2171573750","https://openalex.org/W3146857539","https://openalex.org/W4300128858网址“]，”related_works“：[”https://openalex.org/W4247397443","https://openalex.org/W4233602124","https://openalex.org/W2537252220","https://openalex.org/W2156965212","https://openalex.org/W2133071611","https://openalex.org/W2116697887","https://openalex.org/W2104183572","https://openalex.org/W2035296141","https://openalex.org/W1984090905","https://openalex.org/W1540531211“]，”abstract_inverted_index“：{”SystemC/TLM“：[0,35,64,78]，”is“：[1,14]，”a“：[2,45,49,63,86103116]，”广泛“：[3]，”使用“：[4]，“标准”：[5]，”for“：[6,17]，”system“：[7]，“级别”：[8]，”descriptions“：[9]，”of“：[10,26,34,40,62,75,98110]，”complex“：[1117]，”architectures.“：[12]，”It“：[13]，”特别“：[15]，”有用“：[16]，”快速“：[18]，”模拟“：[19]，”因此“：[20]，”允许“：[21]，”早期“：[22]，”开发“：[23]，”和“：[24]，”测试“：[25]，”the“：[27，38，41，60，76，90，96114]，”目标“：[28]，”软件。“：[29]，”In“：[30,52]，”general“，”：[31]，”formal“：[32,91]，”verification“：[33,50,92]，”依赖“：[36]，”on“：[37108113]，”translation“：[39,67]，”complete“：[42]，”model“：[43]，”into“：[44,68]，”language“：[46]，”accepteded“：[47]，”by“：[48,66,89122]，”tool“。“：[51]，”this“：[53,82]，”paper“：[54]，”we“：[55,84]，”present“：[56]，”an“：[57]，”approach“：58112]，”to“：[59]，”validation“：[61]，”description“：[65]，”LOTOS“：[69]，”reusing“：[70]，”as“：[71,73]，”much“：[72]，”possible“：[74]，”original“：[77]，”C++“：[79]，”代码。“：[80]，”To“：[81]，”end“，”[83]“，”exploit“：[85]，”feature“：[87]，”provided“：[88]，”toolbox“：[93]，”CADP“：[94]，”即“：[95]，”import“：/97]，”external“：-99]，”C“：[100]，”code“：[101]，”in“：[102]，”LOTOS“：[104]，”model。“：[105]，“我们”：[106]，“报告”：[107]，“实验”：[109]，“我方”：[111]，“BDisp”：[115]，“图形”：[118]，“处理”：[119]，“单元”：[120]，“设计”：[121]，“STMicroelectronics。“：[123]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W3149451953”，“counts_by_year”：[｛“year”：2023，“cited_by_count”：2｝，｛“year”：2021，“cited_by_count”：1｝，｛“year”：2020，“cited_by_count”：1｝，｛“year”：2017，“cited_by_count”：3｝，｛“year”：2015，“cited_by_count”：4｝，｛“year”：2014，“cited_by_count”：1｝，｛“year”：2013，“cited_by_count”：3｝，｛“year”：2012，“cited_by _count“：3｝]，”updated_date“：”2024-09-18T04:47:30.639376“，”created_date“：”2021-04-13"}