克劳斯·哈弗伦德;多龙·贝利德 关于监测线性时间特性。 (英语) Zbl 07757156号 形式方法系统。设计。 60,编号3,405-425(2022).MSC公司:68倍 PDF格式BibTeX公司 XML格式引用 \textit{K.Havelund}和\textit{D.Peled},《形式方法系统》。设计。60,编号3,405--425(2022;Zbl 07757156) 全文: 内政部
克劳斯·哈弗伦德;莫兰·奥马尔;多龙·贝利德 监测一阶间隔逻辑。 (英语) Zbl 1522.68321号 Calinescu,Radu(编辑)等人,《软件工程和形式化方法》。第19届国际会议,SEFM 2021,虚拟活动,2021年12月6日至10日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13085, 66-83 (2021).MSC公司:第68季度第60季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{K.Havelund}等人,Lect。注释计算。科学。13085,66-83(2021年;兹比尔1522.68321) 全文: 内政部
克劳斯·哈弗伦德;多龙·贝利德 使用BDD进行一阶定时运行时验证。 (英语) Zbl 1517.68240号 Hung,Dang Van(编辑)等人,《用于验证和分析的自动化技术》。第18届国际研讨会,2020年10月19日至23日,越南河内,ATVA 2020。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。12302, 3-24 (2020).MSC公司:第68季度第60季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{K.Havelund}和\textit{D.Peled},莱克特。注释计算。科学。12302,3--24(2020年;Zbl 1517.68240) 全文: 内政部
克劳斯·哈弗伦德;多龙·贝利德;多根·乌卢斯 使用BDD进行一阶时序逻辑监控。 (英语) 兹比尔1506.68055 形式方法系统。设计。 56,编号1-3,1-21(2020).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Havelund}等人,《形式方法系统》。设计。56,编号1--3,1--21(2020;Zbl 1506.68055) 全文: 内政部
彼得·费蒙维尔;伯恩德·芬克贝纳;多龙·贝利德 监测参数时序逻辑。 (英语) Zbl 1428.68184号 McMillan,Kenneth L.(编辑)等人,《验证、模型检查和抽象解释》。2014年1月19日至21日,第15届国际会议,VMCAI 2014,美国加利福尼亚州圣地亚哥。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8318,357-375(2014年)。MSC公司:第68季度第60季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{P.Faymonville}等人,Lect。注释计算。科学。8318,357--375(2014;Zbl 1428.68184) 全文: 内政部
阿南达·巴苏;萨德克·本萨勒姆;多龙·贝利德;约瑟夫·西法基斯 基于模型检查的分布式系统优先级调度。 (英语) Zbl 1260.68030号 形式方法系统。设计。 39,第3期,229-245(2011). 审核人:皮埃尔·利昂(卡鲁日) MSC公司:64岁以下 68平方米 第68季度第60季度 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{A.Basu}等人,《形式方法系统》。设计。39,第3号,229--245(2011;Zbl 1260.68030) 全文: 内政部
拉杰夫·阿鲁尔;肯·麦克米兰;多龙·贝利德 决定全局偏序属性。 (英语) Zbl 1075.68050号 形式方法系统。设计。 26,第1期,7-25(2005).MSC公司:第68季度第60季度 03年2月25日 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人,《形式方法系统》。设计。26,第1号,第7--25号(2005;Zbl 1075.68050) 全文: 内政部 链接
拉杰夫·阿鲁尔;库沙·埃特萨米;萨尔瓦多拉托雷;多龙·贝利德 “模型测量”的参数时序逻辑。 (英语) Zbl 1171.68544号 ACM事务处理。计算。日志。 2,第3期,388-407(2001).MSC公司:第68季度第60季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人,ACM Trans。计算。日志。2,第3号,388--407(2001;Zbl 1171.68544) 全文: 内政部
Doron A.Peled。 [埃德蒙·克拉克(Edmund M.Clarke)。] 软件可靠性方法。Edmund M.Clarke的前言。 (英语) Zbl 0980.68014号 计算机科学课文纽约州纽约市:施普林格。xix,331页(2001年)。 审核人:V.奥斯蒂亚努(莫斯科) MSC公司:68米15 68吨15 68T27型 68-02 PDF格式BibTeX公司 XML格式引用 \textit{D.A.Peled},软件可靠性方法。埃德蒙·克拉克(Edmund M.Clarke)的前言。纽约:施普林格(Springer)(2001;Zbl 0980.68014)
拉杰夫·阿鲁尔;多龙·贝利德 偏序逻辑的不可解释性。 (英语) Zbl 1338.68165号 信息处理。莱特。 69,第3期,137-143(1999).MSC公司:第68季度第60季度 03年2月25日 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}和\textit{D.Peled},Inf.过程。莱特。69,第3号,137--143(1999;Zbl 1338.68165) 全文: 内政部 链接
罗伯·格思;鲁德·柯伊伯;多龙·贝利德;沃伊切赫,彭泽克 一种分支时间逻辑模型检查的偏序方法。 (英语) Zbl 1045.68588号 Inf.计算。 150,第2期,第132-152页(1999年).MSC公司:第68季度第60季度 03B44号 03B70号 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{R.Gerth}等人,《信息计算》。150,第2号,132--152(1999;Zbl 1045.68588) 全文: 内政部 链接
拉杰夫·阿鲁尔;Kousha Etessami公司;萨尔瓦多拉托雷;多龙·贝利德 “模型测量”的参数时序逻辑。 (英语) Zbl 0939.03021号 Wiedermann,Jiří(编辑)等人,《自动化、语言和编程》。第26届国际学术讨论会,ICALP’99。捷克共和国布拉格,1999年7月11日至15日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1644, 159-168 (1999).MSC公司:03B44号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Alur}等人,Lect。注释计算。科学。1644159--168(1999;Zbl 0939.03021)
多龙·贝利德;托马斯·威尔克;皮埃尔·沃尔珀 用于检查时态逻辑规范和(ω)正则语言的闭包属性的算法方法。 (英语) Zbl 0915.68058号 西奥。计算。科学。 195,第2期,183-203(1998).MSC公司:2010年第68季度 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{D.Peled}等人,Theor。计算。科学。195,编号2,183--203(1998;Zbl 0915.68058) 全文: 内政部
吉里什·巴特;多龙·贝利德 向线性时序逻辑添加部分顺序。 (英语) Zbl 1512.68148号 Mazurkiewicz,Antoni(编辑)等人,CONCUR’97:并发理论。第八届国际会议。波兰华沙。1997年7月1日至4日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1243, 119-134 (1997).MSC公司:第68季度第60季度 03B44号 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{G.Bhat}和\textit{D.Peled},Lect。注释计算。科学。1243119--134(1997年;Zbl 1512.68148) 全文: 内政部
多龙·贝利德;托马斯·威尔克 不需要下一时间操作符,就可以表达断断续续的时间属性。 (英语) Zbl 1337.68170号 信息处理。莱特。 63,第5期,243-246(1997).MSC公司:第68季度第60季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{D.Peled}和\textit{T.Wilke},Inf.过程。莱特。63,第5号,243--246(1997;Zbl 1337.68170) 全文: 内政部
多龙·贝利德 关于射影和可分性质。 (英语) Zbl 0893.68090号 西奥。计算。科学。 186,编号1-2,135-155(1997).MSC公司:65年第68季度 PDF格式BibTeX公司 XML格式引用 \文本{D.Peled},Theor。计算。科学。186,编号1--2,135-155(1997;Zbl 0893.68090) 全文: 内政部
多龙·贝利德;托马斯·威尔克;皮埃尔·沃尔珀 用于检查\(\omega \)-正则语言的闭包属性的算法方法。 (英语) 兹比尔1514.68109 Montanari,Ugo(编辑)等人,CONCUR’96:并发理论。第七届国际会议,意大利比萨,1996年8月26日至29日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1119, 596-610 (1996).MSC公司:65年第68季度 03B44号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Peled}等人,Lect。注释计算。科学。1119596-610(1996年;Zbl 1514.68109) 全文: 内政部
多龙·贝利德 将部分订单减少与飞行模型检查相结合。 (英语) Zbl 1425.68267号 形式方法系统。设计。 8,第1号,39-64(1996).MSC公司:第68季度第60季度 65年第68季度 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{D.Peled},形式方法系统。设计。8,第1号,39--64(1996;Zbl 1425.68267) 全文: 内政部
Kwiatkowska,M。;D.贝利德。;彭泽克,W。 部分顺序时间属性的层次结构。 (英语) Zbl 0949.68537号 Gabbay,Dov M.(编辑)等人,《时间逻辑》。1994年7月11日至14日在德国波恩举行的1994年国际刑事法庭第一届国际会议。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。827, 398-414 (1994).MSC公司:第68季度第60季度 68问题55 03B44号 65年第68季度 05年5月54日 PDF格式BibTeX公司 XML格式引用 \textit{M.Kwiatkowska}等人,Lect。注释计算。科学。827398-414(1994年;Zbl 0949.68537)
Shmuel Katz;多龙·贝利德 交错设置时间逻辑。 (英语) Zbl 0718.03014号 西奥。计算。科学。 75,第3期,263-287(1990). 审核人:J.-J.Ch.Meyer(阿姆斯特丹) MSC公司:03B45号 第68季度第60季度 2010年第68季度 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Katz}和\textit{D.Peled},Theor。计算。科学。75,第3号,263--287(1990;Zbl 0718.03014) 全文: 内政部
多龙·贝利德;阿米尔·普努利 证明偏序活性性质。 (英语) Zbl 0765.68137号 自动化、语言和编程、Proc。第17国际学院,沃里克/GB 1990,法律。注释计算。科学。443, 553-571 (1990).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Peled}和\textit{A.Pnueli},莱克特。注释计算。科学。443553-571(1990年;Zbl 0765.68137)