{“状态”：“确定”，“消息类型”：“工作”，“信息版本”：“1.0.0”，“邮件”：{“索引”：{“日期部分”：[[2024,5,15]]，“日期时间”：“2024-05-15T20:50:13Z”，“时间戳”：1715806213598}，“发布者位置”：“查姆”，“引用计数”：24，“发布商”：“斯普林格国际出版”，“isbn-type”：[{“值”：“9783030174644”，“类型”：”打印“}，{“值”：“9783030174651”，“type”：“electronic”}]，“license”：[{“start”：{“date-parts”：[[2019,1,1]]，“date-time”：“2019-01-01T00:00:00Z”，“timestamp”：1546300800000}，“content-version”：“tdm”，“delay-in-days”：0，“URL”：“http://www.springer.com\/tdm”}，{“start”：{“date-parts”：[2019,1]]T00:00:00Z“，”时间戳“：1546300800000}，”内容版本“：”tdm“，“delay-in-days”：0，“URL”：“https:\/\/creativecommons.org\/licenses\/by\/4.0”}]，“内容域”：{“域”：[“link.springer.com”]，“crossmark-restriction”：false}，“short-container-title”：[]，“published-print”：{“date-parts”：[2019]]}，”DOI“：”10.1007\/978-3030-17465-1_7“，”类型“：”book-capter“，”created“：{”date-part“rts“：[[2019,4,3]]，“日期时间”：“2019-04-03T22:50:37Z”，“时间戳”：1554331837000｝，“页面”：“115-131”，“更新策略”：“http:\/\/dx.doi.org/10.1007\/springer_crossmark_policy”，“源”：“Crossref”，“被计数引用”：17，“标题”：[“基于约束的超属性监控”]，“前缀”：“10.1007”，“作者”：[{“ORCID”：“http:\/\/ORCID.org/0000-0002-1243-4880”，“已验证的ORCID”：false，“given”：“Christopher”，“family”：“哈恩”，“sequence”：“first”，“affiliation”：[]}，{“givens”：“Marvin”，”family“：”Stenger“，”sequence“：”additional“，”affiliance“：[]{“ORCID”：”http://ORCID.org\/00000-0002-6150-2982“，”authenticated-ORCID“：false、”given“：”Leander“，”faily“：“Tentrup”，“序列”：“additional”，“从属关系”：[]，“成员”：“297”，“published-online”：{“date-parts”：[[2019,4,3]]}，“reference”：[{“key”：“7_CR1”，“doi-asserted-by”：“publisher”，”unstructured“：“Agrawal，S.，Bonakdarpour，B.：HyperLTL中k-safety超属性的运行时验证。in:Proceedings of CSF，pp.239\u2013252。IEEE计算机学会（2016）。\n https:\/\/doi.org\/10.109\/CSF.2016.24“，”doi“：”10.1109\/CSF/2016.24“}，{”key“：”7_CR2“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“41”，”doi:“10.1007\/978-3319-46982-9_4”，“volume-title”：“Runtime Verification”，“author”：“B Bonakdarpour”，“year”：“2016”，“unstructured”“：”Bonakdarpour，B.，Finkbeiner，B.：HyperLTL的运行时验证。收录：Falcone，Y.，S\u00e1nchez，C.（eds.）RV 2016。LNCS，第10012卷，第41\u201345页。查姆施普林格（2016）。\n https:\/\/doi.org\/10.1007\/978-3-319-46982-9_4“}，{“key”：“7_CR3”，“doi-asserted-by”：“publisher”，“unstructured”：“Bonakdarpour，B.，Finkbeiner，B.：监控超属性的复杂性。摘自：《CSF学报》，第162\u2013174页。IEEE计算机学会（2018）。\n https:\/\/doi.org\/10.109\/CSF.2018.00019“，”doi“：”10.1109\/CSF.2018.00019“}，{”key“：”7_CR4“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“8”，”doi:“10.1007\/978-3-030-03421-4_2”，“volume-title”：“利用形式方法、验证和确认的应用。Verification”，“author”：“B Bonakdarpour”，“year”：“2018”，“unstructured”：“Bonakdarpour，B.，S\u00e1nchez，C.，Schneider，G.：通过结合静态分析和运行时验证来监控超属性。收录人：Margaria，T.，Steffen，B.（编辑）ISoLA 2018。LNCS，第11245卷，第8\u201327页。查姆施普林格（2018）。\n https:\/\/doi.org\/10.1007\/978-3-030-03421-4_2“}，{“key”：“7_CR5”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，“首页”：“77”，“doi”：“10.1007\/9783-662-54580-5_5”，”volume-title“：“系统构建和分析的工具和算法”，“author”：“n Brett”，“年份”：“2017”，“非结构化“：”Brett，N.，Siddique，U.，Bonakdarpour，B.：无交互HyperLTL的基于重写的运行时验证。收录：Legay，A.，Margaria，T.（编辑）TACAS 2017。LNCS，第10206卷，第77\u201393页。施普林格，海德堡（2017）。\n https:\/\/doi.org\/10.1007\/978-3662-54580-5_5“}，{“key”：“7_CR6”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，“first page”：”265“，“doi”：“10.1007\/9783-642-54792-8_15”，“volume-title”：”安全与信任原则“，“author”：“MR Clarkson”，“年份”：“2014”，“非结构化”：“Clarkson，M.R.，Finkbeiner，B.，Koleini，M.，Micinski，K.K.，Rabe，M.N.，S\u00e1nchez，C.：超属性的时间逻辑。收录：Abadi，M.，Kremer，S.（编辑）2014年《邮政邮报》。LNCS，第8414卷，第265\u2013284页。斯普林格，海德堡（2014）。\n https:\/\/doi.org\/10.1007\/978-3642-54792-8_15“}，{”issue“：”6“，”key“：”7_CR7“，”doi-asserted-by“：”publisher“，”first page“：“1157”，”doi“：”10.3233\/JCS-2009-0393“，”volume“：（6）、1157\u20131210（2010）.\n https:\/\/doi.org\/10.3233\/JCS-2009-0393“，”journal-title“：”J.Compute。安全。“}，{”key“：”7_CR8“，”series-title“：”计算机科学课堂讲稿“，”doi-asserted-by“：”publisher“，”first page“：“76”，“doi”：“10.1007 \/3-540-44881-0_7”，“volume-title”：“重写技术和应用”，“author”：“M Clavel”，“year”：“2003”，“unstructured”：“Clavel，M.等人：Maude 2.0系统。收录：Nieuwenhuis，R.（ed.）RTA 2003。LNCS，第2706卷，第76\u201387页。斯普林格，海德堡（2003）。\n https:\/\/doi.org\/10.1007\/3-540-44881-0_7“}，{“key”：“7_CR9”，“doi-asserted-by”：“publisher”，“unstructured”：“Finkbeiner，B.，Hahn，C.：决定超属性。摘自：CONCUR.LIPIcs会议录，第59卷，第13:1\u201313:14页。达格斯图尔宫（Schloss Dagstuhl）-莱布尼茨-泽特鲁姆富尔信息（Leibniz-Zentrum fuer Informatik）（2016年）。\n https:\/\/doi.org/\/10.4230\/LIPIcs。CONCUR.2016.13“，”DOI“：”10.4230\/LIPIcs。CONCUR.2016.13“}，{“key”：“7_CR10”，“series-title”：“计算机科学讲义”，“doi-asserted-by”：“publisher”，“first page”：”289“，“doi”：“10.1007\/978-3319-96145-3_16”，“volume-title”：”计算机辅助验证“，”author“：”B Finkbeiner“，”year“：”2018“，”非结构化“Finkbeiner，B.，Hahn，C.，Lukert，P.，Stenger，M.，Tentrup，L.：从超性能合成反应系统。收件人：Chockler，H.，Weissenbacher，G.（编辑）CAV 2018。LNCS，第10981卷，第289页\u2013306。查姆施普林格（2018）。\n https:\/\/doi.org\/10.1007\/978-3-319-96145-3_16“}，{”key“：”7_CR11“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“564”，”doi“：”10.1007\/978-30-319-63390-9_29“，”volume-title“：“计算机辅助验证”，”author“：”B Finkbeiner“，”年份“：”2017“，”非结构化“：”Finkbeiner，B.，Hahn，C.，Stenger，M.：EAHyper:超属性的可满足性、蕴涵和等价性检查。收录人：Majumdar，R.，Kun\u010dak，V.（编辑）CAV 2017。LNCS，第10427卷，第564\u2013570页。查姆施普林格（2017）。\n https:\/\/doi.org\/10.1007\/978-3-319-63390-9_29“}，{”key“：”7_CR12“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“190”，”doi“：”10.1007\/978-2319-67531-2_12“，“volume-title”：“Runtime Verification”，“author”：“B Finkbeiner”，“year”：“2017”，“unstructured”：“”Finkbeiner，B.，Hahn，C.，Stenger，M.，Tentrup，L.：监测超属性。收录：Lahiri，S.，Reger，G.（编辑）RV 2017。LNCS，第10548卷，第190\u2013207页。查姆施普林格（2017）。\n https:\/\/doi.org\/10.1007\/978-3-319-67531-2_12“}，{”key“：”7_CR13“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“194”，”doi“：”10.1007\/9783-319-89963-3_11“，”volume-title“：“系统构建和分析的工具和算法”，”author“：”B Finkbeiner“，”year“：”2018年，“非结构化”：“Finkbeiner，B.，Hahn，C.，Stenger，M.，Tentrup，L.：RVHyper:时间超属性的运行时验证工具。收件人：Beyer，D.，Huisman，M.（编辑）TACAS 2018。LNCS，第10806卷，第194\u2013200页。查姆施普林格（2018）。\n https:\/\/doi.org\/10.1007\/978-3-319-89963-3_11“}，{”key“：”7_CR14“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“144”，”doi“：”10.1007\/978-30-319-96145-3_8“，”volume-title“：“计算机辅助验证”，”author“：”B Finkbeiner“，”年份“：”2018“，”非结构化“：”Finkbeiner，B.，Hahn，C.，Torfah，H.：模型检验定量超属性。收件人：Chockler，H.，Weissenbacher，G.（编辑）CAV 2018。LNCS，第10981卷，第144\u2013163页。查姆施普林格（2018）。\n https:\/\/doi.org\/10.1007\/978-3-319-96145-3_8“}，{”key“：”7_CR15“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“30”，”doi“：”10.1007\/978-30-319-21690-4_3“，“volume-title”：“计算机辅助验证”，“author”：“B Finkbeiner”，“year”：“2015”，“unstructured”：“”Finkbeiner，B.，Rabe，M.N.，S\u00e1nchez，C.：模型检查算法HyperLTL和HyperCTL \N\N\N$$^*$\N。In：Kroening，D.，P\u0103s\u0103reanu，C.S.（编辑）CAV 2015。LNCS，第9206卷，第30\u201348页。查姆施普林格（2015）。\n https://doi.org\/10.1007\/978-3-319-21690-4_3“}，{“key”：“7_CR16”，“doi-asserted-by”：“publisher”，“unstructured”：“Goguen，J.A.，Meseguer，J.：安全策略和安全模型。摘自：《标准普尔学报》，第11\u201320页。IEEE计算机学会（1982）。\n https:\/\/doi.org\/10.109\/SP.1982.10014“，”doi“：”10.1109\/SP.19182.10014“}，{”key“：”7_CR17“，”doi-asserted-by“：”publisher“，”unstructured“：”Havelund，K.，Rosu，G.：使用重写监视程序。摘自：ASE学报，第135\u2013143页。IEEE计算机学会（2001）。\n https:\/\/doi.org\/10.109\/ASE.2001.989799“，”doi“：”10.1109\/ASE/2001.989799”}，{“key”：“7_CR18”，“doi-asserted-by”：“publisher”，“doi”：“10.1007\/978-1-4612-4222-2”，“volume-title”：“反应系统临时验证-安全”，“author”：“Z Manna”，“year”：“1995”，“unstructured”：“Manna，Z.，Pnueli，A.：无功系统的临时验证-安全。施普林格，纽约（1995年）。\n https:\/\/doi.org\/10.1007\/978-1-4612-4222-2“}，{“问题”：“1”，“密钥”：“7_CR19”，“doi-asserted-by”：“publisher”，“首页”：“37”，“doi”：“10.3233\/JCS-1992-1103”，“卷”：“一”，“作者”：“J McLean”，“年份”：“1992”，“非结构化”：“McLean，J.：使用跟踪证明不干涉和功能正确性。J.Compute.Secur.1（1），37\u201358（1992）。\n https:\/\/doi.org\/10.3233\/JCS-1992-1103“，”journal-title“：”J.Compute。安全。}，{“key”：“7_CR20”，“doi-asserted-by”：“publisher”，“unstructured”：“Pnueli，A.：程序的时序逻辑。摘自：《FOCS学报》，第46\u201357页。IEEE计算机学会（1977）。\n https:\/\/doi.org\/10.109\/SFCS.1977.32“，“doi”：“10.1109\/SFCS.1977.32”}，{“key”：“7_CR21”，“doi-asserted-by”：“publisher”，“unstructured”：“Roscoe，A.W.：CSP和安全建模中的决定论。摘自：《标准普尔学报》，第114\u2013127页。IEEE计算机学会（1995）。\n https:\/\/doi.org\/10.109\/SECPRI.1995.398927“，”doi“：”10.1109\/SECGRI.1995.298927“}，{“key”：“7_CR22”，“unstructured”：“Somenzi，F.：Cudd:Cu决策图包-2.4.0版。科罗拉多大学博尔德分校（2009）“}，{”key“：”7_CR23“，”series-title“：”计算机科学讲义“，”doi-asserted-by“：”publisher“，”first page“：“244”，”doi“：”10.1007\/978-3642-02777-2_24“，”volume-title“：“可满足性测试的理论与应用-SAT 2009”，”author“：”M Soos“，”year“：”2009“，”unstructured“：”Soos，M.，Nohl，K.，Castelluccia，C.：将SAT解算器扩展到密码问题。收录：Kullmann，O.（编辑）SAT 2009。LNCS，第5584卷，第244\u2013257页。斯普林格，海德堡（2009）。\n https:\/\/doi.org\/10.1007\/978-3642-02777-2_24“}，{”key“：”7_CR24“，”doi-asserted-by“：”publisher“，”unstructured“：”Zdancewic，S.，Myers，A.C.：并发程序安全的观察决定论。In:CSFW会议录，第29页。IEEE计算机学会（2003）。\n https:\/\/doi.org\/10.1109\/CSFW.2003.1212703“，“doi”：“10.1109\/CSFW/2003.1212703”}]，“container-title”：[“系统构造和分析的工具和算法”，“计算机科学课堂讲稿”]，“original-title“：[]，“link”：[{“URL”：“http://\/link.springer.com/content\/pdf\/10.10007\/978-3030-17465-1_7”，“content-type“：”unspecified“，”content-version“：”vor“，”intended-application“：”similarity-checking“}”，“deposed”：{“date-parts”：[[2019,5,20]]，“date-time”：“2019-05-20T09:52:20Z”，“timestamp”：1558345940000}，“score”：1，“resource”：{primary“：”http://link.sprimary.com\/10007\/978-3-030-17465-1_7“}，”subtittle“：[]，“短标题”：[]，”已发布“：{”date-parts“：[2019]]}，”ISBN“：[”9783030174644“，”97830.30174651“]，”references-count“：24，”URL“：”http://\/dx.doi.org\/10.1007\/978-3-030-17465-1_7“，”relation“：{}，“ISSN”：[”0302-9743“，”1611-3349“]，“ISSN-type”：[{“value”：“0302-974”，”type“：”print“}，{“value”：“1611-3344”9“，”type“：”electronic“}]，”subject“：[]，”published“：{”date-parts“：[2019]]}，”assertion“：[{”value“：”2019年4月3日“，”order“：1，”name“：”first_online“，”label“：”first online“，“group”：{“name”：“ChapterHistory”，“label”：“Chapter History“}}，{“value”：“TACAS”，“order”：1，“name”:“conference_acrombior”，“tabel”：”conference acronym“，”group“：国际系统构造与分析工具和算法会议“，”order“：2，”name“：”Conference_name“，”label“：”会议名称“，”group“：会议信息“}}，{“value”：“捷克共和国”，“order”：4，“name”：“Conference_country”，“label”：“Conference-country”、“group”：{“name”:“ConferenceInfo”，“标签”：“会议信息”}}2019年4月6日“，”order“：7，”name“：”conference_start_date“，”label“：”会议开始日期“，”group“：“名称”：“conference_number“，”label“：”会议编号“，”group“：{”name“：”ConferenceInfo“，“label”：”会议信息“}}，{”value“：”tacas2019“，”order“：10，”name“:”conference_id“，”tabel“：“会议id”，“group”：{“name”：“ConferenceInformo”，“lable”：“会议信息”}}、{“value”：“https:\\\\www.etaps.org\/2019\/tacas”，“order”：11，“name”conference_url“，”label“：”会议URL“，”group“：{”name“：”ConferenceInfo“，”label“，”conferenceInformation“}}，”value“：”Single-blind“，”order“：1，“name”：“type”，“label”：“type”，“group”：{“name”:“ConfEventPeerReviewInformation”，“table”：“Peer Review Information”}，{“value”：“EasyChair”，“order”：2，“name“：“Conference_management_system”，”label:“会议管理系统”，“”group“：{”name“：”ConfEventPeerReviewInformation“，”label“：”Peer Review Information“}}，{”value“：”164“，”order“：3，“name”：“number_of_submissions_sent_for_Review”，“label”：“发送供审阅的提交数”，“group”：{number_of_full_papers_accepted“，”label“：”接受的全文数“，”group“：{”name“：”ConfEventPeerReviewInformation“，”标签“：”同行评审信息“}}，{”value“：”8“，”order“：5，”name“:”number_ of_short_papers_accepted}，{“value”：“26%-该值由等式“接受的全文数”计算得出，然后四舍五入为整数。”，“order”：6，“name”：“acceptance_rate_of_Full_Papers”，“label”：“全文接受率”，“group”：{“name”:“ConfEventPeerReviewInformation”，“table”：“Peer Review Information”}}，{“value”：“3”，“order”：7，“name”：“average_number_of_reviews_per_paper”，“label”：“每篇论文的平均评论数”，“group”：{“name”:“ConfEventPeerReviewInformation”，“table”：“Peer Review Information”}}，{”value“：”13“，“order:8，”name“：”average_number_of_papers_per_reviewer“，”label“：”每个审阅者的平均论文数“，”group“：{”name“：“ConfEventPeerReviewInformation”，“label”：“同行评审信息”｝｝，｛“value”：“Yes”，“order”：9，“name”：“external_reviewers_involved”，“label”：“涉及的外部评审人”，“group”：｛“name”：“ConfEventPeerReviewInformation”，“label”：“同行评审信息”｝｝，｛“value”：“TOOLympics和SV-COMP接受的12篇完整论文和11篇简短论文（平均4名审稿人，从43份提交中选择）”，“订单”：10，“名称”：“additional_info_on_review_process”，“标签”：“审核过程的附加信息”，“组”：{“名称”:“ConfEventPeerReviewInformation”，“label”：“同行审核信息”}}]}}