×

找到20份文件（结果1–20）

最新的 引文 关联
马丁·拉西克;戴维·巴恩斯;德米特里·特拉泰尔

度量动态逻辑的多头监控。 （英语） Zbl 1517.68250号

Hung，Dang Van（编辑）等人，《用于验证和分析的自动化技术》。第18届国际研讨会，2020年10月19日至23日，越南河内，ATVA 2020。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12302, 233-250 (2020).
MSC公司：60年第68季度 03B44号 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{M.Raszyk}等人，Lect。注释计算。科学。12302233-250（2020年；Zbl 1517.68250）
全文： 内政部 链接
马丁·拉西克;戴维·巴恩斯;克里斯蒂安·克里斯蒂奇;德米特里·特拉泰尔

度量时态逻辑的多头监控。 （英语） Zbl 1437.68119号

Chen，Yu Fang（编辑）等人，用于验证和分析的自动化技术。2019年10月28日至31日，第17届国际研讨会，ATVA 2019，台湾台北。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11781151-170（2019年）。
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{M.Raszyk}等人，Lect。注释计算。科学。11781151-170（2019年；Zbl 1437.68119）
全文： 内政部 链接
戴维·巴恩斯;巴拉戈·纳加拉贾·巴特;德米特里·特拉泰尔

套索词线性时序逻辑的最优证明。 （英语） Zbl 1517.68222号

Lahiri，Shuvendu K.（编辑）等人，《验证和分析自动化技术》。第16届国际研讨会，2018年10月7日至10日，美国加利福尼亚州洛杉矶，ATVA 2018。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11138, 37-55 (2018).
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{D.Basin}等人，Lect。注释计算。科学。11138，37-55（2018；Zbl 1517.68222）
全文： 内政部
戴维·巴恩斯;费利克斯·克莱特克;尤根·兹利内斯库

无序数据流上时间属性的运行时验证。 （英语） Zbl 1494.68160号

Majumdar，Rupak（编辑）等人，《计算机辅助验证》。2017年7月24日至28日在德国海德堡举行的2017年CAV第29届国际会议。诉讼程序。第一部分查姆：施普林格。莱克特。注释计算。科学。10426, 356-376 (2017).
MSC公司：60年第68季度 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{D.Basin}等人，Lect。注释计算。科学。10426356-376（2017年；兹bl 1494.68160）
全文： 内政部 arXiv公司
戴维·巴恩斯;巴拉戈·纳加拉贾·巴特;德米特里·特拉泰尔

度量时态逻辑的几乎与事件状态无关的监控。 （英语） Zbl 1452.68278号

Legay，Axel（编辑）等人，《系统构建和分析的工具和算法》。2017年4月22日至29日在瑞典乌普萨拉举行的第23届国际会议（TACAS 2017），是欧洲软件理论与实践联合会议（ETAPS 2017）的一部分。诉讼程序。第二部分。柏林：斯普林格。莱克特。注释计算。科学。10206, 94-112 (2017).
MSC公司：68周27 03B44号 68瓦40
PDF格式BibTeX公司 XML格式引用
\textit{D.Basin}等人，Lect。注释计算。科学。10206，94-112（2017；Zbl 1452.68278）
全文： 内政部
彼得里克·马雷蒂奇（Petric Maretić，Grgur）;穆罕默德·托拉比·达什蒂;戴维·巴恩斯

锚定LTL分离。 （英语） Zbl 1394.03034号

2014年7月14日至18日在奥地利维也纳举行的第二十三届EACSL计算机科学逻辑年会和2014年第二十九届ACM/IEEE计算机科学逻辑研讨会联席会议记录。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机学会（ISBN 978-1-4503-2886-9）。第74号论文，第9页（2014年）。
MSC公司：03B44号 05年3月
PDF格式BibTeX公司 XML格式引用
\textit｛G.Petric Maretić｝等人，在：第二十三届EACSL计算机科学逻辑年会联席会议记录，CSL，以及2014年第29届ACM/IEEE计算机科学逻辑年度研讨会，LICS 2014，奥地利维也纳，2014年7月14日至18日。加利福尼亚州洛斯·阿拉米托斯：IEEE计算机协会。第74号文件，第9页（2014年；Zbl 1394.03034）
全文： 内政部
戴维·巴恩斯;费利克斯·克莱特克;塞缪尔·米勒;比吉特·普菲茨曼

度量一阶时间属性的运行时监视。 （英语） Zbl 1248.68318号

Hariharan，Ramesh（编辑）等人，IARCS软件技术和理论计算机科学基础年会（FSTTCS 2008），2008年12月9日至11日，印度班加罗尔。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼茨天顶宫（Leibniz Zentrum für Informatik）（ISBN 978-3-939897-08-8）。LIPIcs–莱布尼茨国际信息学论文集2，49-60，仅电子版（2008）。
MSC公司：60年第68季度 03B44号 第68页，共15页
PDF格式BibTeX公司 XML格式引用
\textit{D.Basin}等人，LIPIcs——莱布尼茨国际程序。通知。2、49-60（2008；Zbl 1248.68318）
全文： 内政部 链接
曼纽尔·希尔蒂;戴维·巴恩斯;亚历山大·普雷施纳

关于义务。 （英语） Zbl 1487.68064号

de Capitani di Vimercati，Sabrina（编辑）等人，《计算机安全–ESORICS 2005》。第十届欧洲计算机安全研究研讨会，意大利米兰，2005年9月12-14日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。3679, 98-117 (2005).
MSC公司：68平方米25 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{M.Hilty}等人，Lect。注释计算。科学。3679，98-117（2005；Zbl 1487.68064）
全文： 内政部
卡洛斯·卡莱罗;卢卡·维甘诺;戴维·巴恩斯

使用分布式时态逻辑对安全协议进行元推理。 （英语） Zbl 1272.68051号

Armando，A.（ed.）等人，《安全协议分析自动推理研讨会论文集》（ARSPA 2004），爱尔兰科克，2004年7月4日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》125，第1期，67-89（2005）。
MSC公司：68个M12 03B44号
PDF格式BibTeX公司 XML格式引用
\textit{C.Caleiro}等人，《电子》。注释Theor。计算。科学。125，第1号，67--89（2005；Zbl 1272.68051）
全文： 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

主字段

全部的 前3名

软件