{“id”：“https://openalex.org/W1584319581“，”doi“：”https://doi.org/10.1007/978-3-642-18098-9_10“，”title“：”From Sequential Extended Regular Expressions to NFA with Symbolic Labels“，”display_name“：”从序列扩展正则表达式到具有符号标签的NFA“，”publication_year“：2011，”publiction_date“：”2011-01-01“，”ids“：{”openalex“：”https://openalex.org/W1584319581“，”doi“：”https://doi.org/10.1007/978-3-642-18098-9_10“，”mag“：”1584319581“}，”language“：”en“，”primary_location“：{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-642-18098-9_10“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，”type“：”book-chapter“，”type_crossref“：“book-chapter”，”indexed_in“：[“crossref”]，“open_access”：{“is_oa”：true，“oa_status”：“green”，“oa_url”：https://es-static.fbk.eu/people/mover/paper/CIAA10/CimattiMoverTonettaRoveri_CIAA2010.pdf“，”any_repository_has_fulltext“：true}，”authorships“：[{”author_position“：”第一“，”作者“：{”id“：”https://openalex.org/A5017426974“，”display_name“：”Alessandro Cimatti“，”orcid“：”https://orcid.org/0000-0002-1315-6990“｝，”机构“：[｛”id“：”https://openalex.org/I2277624104“，”display_name“：”Bruno Kessler基金会“，”ror“：”https://ror.org/01j33xk10“，”“country_code”“：”IT“，”type“：”facility“，”lineage“：[”https://openalex.org/I2277624104“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Alessandro Cimatti“，”raw _ afiliation_strings“：[“Fondazione Bruno Kessler-IRST，Italy”]，”affiliations“：[{”raw _affiliation_string“：”Fondazione Bruno Kassler-IR ST，Illy“，”institution_ids“：[https://openalex.org/I2277624104“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5023894417“，”display_name“：”Sergio Mover“，”orcid“：”https://orcid.org/0000-0003-1029-9547“｝，”机构“：[｛”id“：”https://openalex.org/I2277624104“，”display_name“：”Bruno Kessler基金会“，”ror“：”https://ror.org/01j33xk10“，”“country_code”“：”IT“，”type“：”facility“，”lineage“：[”https://openalex.org/I2277624104“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Sergio Mover“，”raw _affiliation_strings“：[“Fondazione Bruno Kessler-IRST，Italy”]，”affiliations“：[{”raw _affiliation_string“：”Fondazione Bruno Kassler-IR ST，Illy“，”institution_ids“：[https://openalex.org/I2277624104“]}]}，{”author_position“：”middle“，”author“：{”id“：”https://openalex.org/A5055975794“，”display_name“：”Marco Roveri“，”orcid“：”https://orcid.org/0000-0001-9483-3940“｝，”机构“：[｛”id“：”https://openalex.org/I2277624104“，”display_name“：”布鲁诺·凯斯勒基金会“，”ror“：”https://ror.org/01j33xk10“，”country_code“：”IT“，”type“：”设施“，”沿袭“：[”https://openalex.org/I2277624104“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Marco Roveri“，”raw _affiliation_strings“：[“基金会Bruno Kessler-IRST，意大利”]，”affiliations“：[{”raw _affiliation_string“：”Fondazione Bruno Kassler-IRST，意大利”，“institution_ids”：[“https://openalex.org/I2277624104“]}]}，{”author_position“：”last“，”author“：{”id“：”https://openalex.org/A5018618502“，”display_name“：”Stefano Tonetta“，”orcid“：”https://orcid.org/0000-0001-9091-7899“｝，”机构“：[｛”id“：”https://openalex.org/I2277624104“，”display_name“：”Bruno Kessler基金会“，”ror“：”https://ror.org/01j33xk10“，”“country_code”“：”IT“，”type“：”facility“，”lineage“：[”https://openalex.org/I2277624104“]}]，”国家“：[”IT“]，”is_corresponding“：false，”raw_author_name“：”Stefano Tonetta“，”raw _affiliation_strings“：[“Fondazione Bruno Kessler-IRST，Italy”]，”affiliations“：[{”raw _affiliation_string“：”Fondazione Bruno Kassler-IR ST，Illy”，“institution_ids”：[“https://openalex.org/I2277624104“]}]}]，”institution_assertions“：[]，”countries_distiction_count“：1，”institutions_disticent_count”：1，“corresponding_author_ids”：[]、“correspending_institution_ids“：[[]，”apc_list“：{”value“：5000，”currency“：”EUR“，”value_usd“：5392，”provenance“：”doaj“}，”“apc_payed“：null，”fwci“：0.0，”has_fulltext“：false，”cited_by_ count“：1，”引文规范化百分比“：{”value“：0.481664，”is_in_top_1_percent“：false，”is_in_top_10_percennt“：false}，”cited_by_percentile_year“：{”min“：65，”max“：72}，“biblio”：{“volume”：null，”issue“：null”，“first_page”：“87”，“last_page”：“94”}，‘is_retracted’：false、“is_paratext”：false；“primary_topic”：{“id”：“https://openalex.org/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9991，“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/T10142“，”“display_name”：“软件验证和控制中的形式方法”，“score”：0.9991，“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/T10743“，”“display_name”：“自动化软件测试技术”，“score”：0.9926，“subfield”：{“id”：“https://openalex.org/subfields/1712“，”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/T12423“，”display_name“：”软件可靠性评估与预测“，”score“：0.9799，”subfield“：{”id“：”https://openalex.org/subfields/1712“，”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/symbolic-model-checker“，”display_name“：”符号模型检查器“，”score“：0.554489}，{”id“：”https://openalex.org/keywords/regular-expression网站“，”display_name“：”正则表达式“，”score“：0.5265872}，{”id“：”https://openalex.org/keywords/testing-effort-dependent-models网站“，”display_name“：”Testing-Effort Dependent Models“，”score“：0.508134}，{”id“：”https://openalex.org/keywords/symbolic-execution网站“，”display_name“：”符号执行“，”score“：0.502103}，{”id“：”https://openalex.org/keywords/binary-decision-diagram网站“，”display_name“：”二进制决策图“，”score“：0.49562562}，{”id“：”https://openalex.org/keywords/definitistic-finite-automaton“，”display_name“：”确定性有限自动机“，”score“：0.48901877}，{”id“：”https://openalex.org/keywords/representation网站“，”display_name“：”Representation（politics）“，”score“：0.41603488}]，”concepts“：[{”id“：”https://openalex.org/C41008148，“wikidata”：https://www.wikidata.org/wiki/Q21198“，”display_name“：”计算机科学“，”level“：0，”score“：0.7690836}，{”id“：”https://openalex.org/C167822520，“wikidata”：https://www.wikidata.org/wiki/Q176452“，”display_name“：”Finite-state machine“，”level“：2，”score“：0.6236766}，{”id“：”https://openalex.org/C112505250，“wikidata”：https://www.wikidata.org/wiki/Q787116“，”display_name“：”Automaton“，”level“：2，”score“：0.5582875}，{”id“：”https://openalex.org/C80444323，“wikidata”：https://www.wikidata.org/wiki/Q2878974“，”display_name“：”理论计算机科学“，”level“：1，”score“：0.5560208}，{”id“：”https://openalex.org/C121329065，“wikidata”：https://www.wikidata.org/wiki/Q185612“，”display_name“：”正则表达式“，”level“：2，”score“：0.5265872}，{”id“：”https://openalex.org/C3309909，“wikidata”：https://www.wikidata.org/wiki/Q864155“，”display_name“：”二进制决策图“，”level“：2，”score“：0.49562562}，{”id“：”https://openalex.org/C104091681，“wikidata”：https://www.wikidata.org/wiki/Q837528“，”display_name“：”确定性有限自动机“，”level“：3，”score“：0.48901877}，{”id“：”https://openalex.org/C177264268，“wikidata”：https://www.wikidata.org/wiki/Q1514741“，”display_name“：”Set（抽象数据类型）“，”level“：2，”score“：0.46556616｝，｛”id“：”https://openalex.org/C11413529，“wikidata”：https://www.wikidata.org/wiki/Q8366“，”display_name“：”Algorithm“，”level“：1，”score“：0.4316013}，{”id“：”https://openalex.org/C2776359362，“wikidata”：https://www.wikidata.org/wiki/Q2145286“，”display_name“：”Representation（politics）“，”level“：3，”score“：0.41603488｝，｛”id“：”https://openalex.org/C199360897，“wikidata”：https://www.wikidata.org/wiki/Q9143“，”display_name“：”编程语言“，”level“：1，”score“：0.27538332}，{”id“：”https://openalex.org/C94625758，“wikidata”：https://www.wikidata.org/wiki/Q7163“，”display_name“：”政治“，”级别“：2，”分数“：0.0}，{”id“：”https://openalex.org/C17744445，“wikidata”：https://www.wikidata.org/wiki/Q36442“，”display_name“：”政治学“，”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}]，”mesh“：[]，”locations_count“：2，”location“：[{”is_oa“：false，”landing_page_url“：”https://doi.org/10.1007/978-3-642-18098-9_10“，”pdf_url“：空，”源“：{”id“：”https://openalex.org/S106296714“，”display_name“：”计算机科学讲义“，”issn_l“：”0302-9743“，”isn“：[”0302-7743“、”1611-3349“]，”is_oa“：false、”is_in_doaj“：false、”is_core“：true、”host_organization“：”https://openalex.org/P4310318900“，”“host_organization_name”：“Springer Science+Business Media”，“host_organization_lineage”：[“https://openalex.org/P431031965","https://openalex.org/P4310318900“]，”host_organization_lineage_names“：[”Springer Nature“，”Springer-Science+Business Media“]，“type”：“book-series”}，“license”：null，“licence_id”：nul，“version”：null，“is_accepted”：false，“is_published”：false}，{“is_oa”：true，“landing_page_url”：“http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.704.4091，“pdf_url”：https://es-static.fbk.eu/people/mover/paper/CIAA10/CimattiMoverTonetaRoveri_CIAA2010.pdf，“源”：{“id”：https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（The Pennsylvania State University）“，”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”：“http://citeseerx.ist.psu.edu/viewdoc/summary？doi=10.1.1.704.4091，“pdf_url”：https://es-static.fbk.eu/people/mover/paper/CIAA10/CimattiMoverTonettaRoveri_CIAA2010.pdf，“源”：{“id”：https://openalex.org/S4306400349“，”display_name“：”CiteSeer X（The Pennsylvania State University）“，”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}，”sustainable_development_goals“：[{”id“：”https://metadata.un.org/sdg/16“，”display_name“：”和平、正义和强大的机构“，”score“：0.76}]，”grants“：[]，”datasets“：[]，”versions“：[】，”referenced_works_count“：27，”referrenced_works“：]”https://openalex.org/W1506588809","https://openalex.org/W1524884504","https://openalex.org/W1551563240","https://openalex.org/W1561331110","https://openalex.org/W1578881602","https://openalex.org/W1586668623","https://openalex.org/W2001289891","https://openalex.org/W2002089154","https://openalex.org/W2048476153","https://openalex.org/W2079586208","https://openalex.org/W2089187314","https://openalex.org/W2093916942","https://openalex.org/W2113283819","https://openalex.org/W2123863332","https://openalex.org/W2134759302","https://openalex.org/W2136877520","https://openalex.org/W2152103061","https://openalex.org/W2157260510","https://openalex.org/W2165601498","https://openalex.org/W2179466082","https://openalex.org/W2340735175","https://openalex.org/W2344021881","https://openalex.org/W2913459036","https://openalex.org/W3210310903","https://openalex.org/W421997344","https://openalex.org/W4302339081","https://openalex.org/W567973435“]，”related_works“：[”https://openalex.org/W4388152937","https://openalex.org/W3146038687","https://openalex.org/W2355522437","https://openalex.org/W2160879187","https://openalex.org/W2146605784","https://openalex.org/W2113425091","https://openalex.org/W1999162684","https://openalex.org/W1677349152","https://openalex.org/W1644613146","https://openalex.org/W1428391281“]，”abstract_inverted_index“：{“实用”：[0]，”property“：[1]，”specification“：[2]，”languages“：[3]，”such“：[4]，”as“：[5]，”the“：[6,23,46,50,60,65,68,71,76,81119123136189]，”IEEE“：[7]，”标准“：[8]，”PSL“：[9]，”use“：[10]，”at“：[11]，”their“：[12]，”core“：[13]，”Sequential“：[14]，“扩展”：[15]，“正则”：[16]，“表达式”：[17]，“（SERE）。”：[18]，“In”：[19,83]，“order“：[20]，”to“：[21,32,58145207219]，”enable“：[22]，”reuse“：[24]，”of“：[25,49,70,78,98103118159188197215]，”traditional“：[26,56]，”verification“：[27]，”technologies“：[28]，”it“：[29]，”is“：[30,73]，”necessary“：[31]，”translate“：[33]，”SERE“：[34]，”into“：[35]，”automata。“：[36129]，”SERE“：[37]，”are“：[3810217]，”regular“：[39]，”expressions“：[40]，”builded“：[41]，”over“：[4226156193]，”alphabets“：[43]，”resulting“：[44]，”from“：[45,64]，”state“：[47]，”variables“：[48]，”design“：[51]，”under“：[52]，”分析。“：[53]，”因此，“：[54]，”a“：[55115152157185194212]，”方法“：[57131]，”生成“：[59]，”自动机“：[61]，”将“：[62]，”遭受“：[63]，”事实“：[66]，”那“：[67200]，”大小“：[69]，”字母“：[72]，”指数“：[74]，”in“：[75,80135]，”数字“：[77]，”符号“：[79]，”设计。“：[82]，”this“：[84,88]，”work“：[85]，”we“：+86]，”tallk“：[87]，”problem“：[89]，”by“：[90101]，”positing“：[91]，”non-determinative“：[92127181]，”finited“：[93128170182]，”automata“：[94171183]，”with“：/95139172184209]，”symbol“：[96116174]，”representation“：[97187]，”transitions“:[99109]，”labels“：[100]，“方式”：[102]，“命题”：[104]，“公式，“：[105]，”while“：[106]，”states“：[107]，”and“：[108176211]，”显式地“：[111]，”表示。“：[112]，“We”：[113149]，“provide”：%114]，“version”：[117]，“algorithms”：[120]，“for”：[121]，“all”：[122]，“major”：[124]，“operations”：[125]，“The”：[130]，“has”：%132]，“been”：[133]，“implemented”：[134]，“AutLib”：137204]，“library”，“：[138]，“Binary”：[140]，“Decision”：[141]，“Diagrams”：[142]，“（BDD）”：[143]，“已使用”：[144]，“表示”：[146]，“转换”：[147]，“标签。“：[148]，”携带“：[150]，”输出“：[151]，”彻底“：[153]，”实验“：[154]，”评估“：[155]，”设置“：[158196]，”现实“：[160195]，”基准“：[161]，”比较“：[162]，”我们的“：[163]，”库“：[164]，”反对“：[165177]，”Mona“：[166]，”（其中“：[167179]，”使用“：[168]，”确定性“：[169]，”基于BDD：[173213]，“转换），”：[175]，“格拉茨”：[178]，“特征”：[180202]，“基于DNF-”：[186]，“标签）。“：[190]，”实验“：[191]，”结果“：[192]，”基准“：[198]，”显示“：[199]，”两者“：[201]，”（the“：[205]，”能力“：[206]，”交易“：[208]，”非决定论“：[210]，”治疗“：[214]，”标签）“：[216]，”基本“：[218]，”实现“：[220]，”可接受“：[221]，”性能。“：[222]}，”cited_by_api_url“：”https://api.openalex.org/works？filter=cites:W1584319581“，”counts_by_year“：[{”年“：2023，”cited_by_count“：1}]，”更新日期“：”2024-09-26T17:32:29.987460“，”创建日期“：“2016-06-24”}