Sylvain Conchon公司;乔治·德尔扎诺;安吉洛·费兰多 通过Cubicle模型检查器对分布式协议进行声明性参数化验证。 (英语) Zbl 1497.68293号 芬达姆。通知。 178,第4期,347-378(2021).MSC公司:第68季度第60季度 68个M12 PDF格式BibTeX公司 XML格式引用 \textit{S.Conchon}等人,基金会。通知。178,编号4,347--378(2021;Zbl 1497.68293) 全文: 内政部
乔治·德尔扎诺 使用异常处理对发布/订阅网络进行参数化验证。 (英语) 兹伯利07121140 Filiot,Emmanuel(编辑)等人,《可达性问题》。第十三届国际会议,RP 2019,比利时布鲁塞尔,2019年9月11-13日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。11674, 107-120 (2019).MSC公司:第68季度第60季度 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{G.Delzanno},莱克特。注释计算。科学。11674,107-120(2019;Zbl 07121140) 全文: 内政部
乔治·德尔扎诺 分布式用餐哲学家协议的基于逻辑的验证。 (英语) Zbl 1396.68071号 芬达姆。通知。 161,编号1-2,113-133(2018).MSC公司:第68季度第60季度 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{G.Delzanno},芬达姆。通知。161,编号1--2,113-133(2018;Zbl 1396.68071) 全文: 内政部
坎通纳,多梅尼科(编辑);乔治·德尔扎诺(编辑) 前言:游戏、自动机、逻辑和形式验证(GandALF 2016)。 (英语) Zbl 1400.68017号 Inf.计算。 262,第2部分,187-188(2018).MSC公司:68-06 65年第68季度 第68季度第60季度 91A80型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{D.Cantone}(编辑)和\textit{G.Delzanno}(编辑),Inf.Comput。262,第2部分,187--188(2018;Zbl 1400.68017) 全文: 内政部
乔治·德尔扎诺 参数化系统中的数据跟踪。 (英语) Zbl 1457.68186号 Ganty,Pierre(编辑)等人,《值得信赖的全球计算》。2015年8月31日至9月1日,第十届国际研讨会,TGC 2015,西班牙马德里。修改选定的论文。查姆:施普林格。莱克特。注释计算。科学。9533, 32-46 (2016).MSC公司:第68季度85 65年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Delzanno},莱克特。注释计算。科学。9533,32-46(2016;Zbl 1457.68186) 全文: 内政部
坎通纳,多梅尼科(编辑);乔治·德尔扎诺(编辑) 2016年9月14日至16日,在意大利卡塔尼亚举行的第七届游戏、自动机、逻辑和形式验证国际研讨会会议记录。 (英语) Zbl 1436.68019号 理论计算机科学电子论文集(EPTCS)226.滑铁卢:开放出版协会(OPA)。315页。,仅电子版,开放存取(2016年)。MSC公司:68-06 65年第68季度 第68季度第60季度 91A80型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{D.Cantone}(编辑)和\textit{G.Delzanno}(编),第七届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2016,意大利卡塔尼亚,2016年9月14-16日。滑铁卢:开放出版协会(OPA)(2016;Zbl 1436.68019) 全文: 内政部 arXiv公司 链接
乔治·德尔扎诺;阿诺德·桑尼尔;里卡多·特拉弗斯 通过广播向参数化网络添加数据寄存器。 (英语) Zbl 1357.68111号 芬达姆。通知。 143,编号3-4,287-316(2016).MSC公司:第68季度第60季度 65年第68季度 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{G.Delzanno}等人,Fundam。通知。143,编号3--4,287--316(2016;Zbl 1357.68111) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;乔治·德尔扎诺;奥思曼·雷津;阿诺德·桑尼尔;里卡多·特拉弗斯 ad hoc网络协议的时间敏感模型的参数化验证。 (英语) Zbl 1332.68137号 西奥。计算。科学。 612, 1-22 (2016).MSC公司:第68季度第60季度 68个M12 65年第68季度 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Theor。计算。科学。612,1--22(2016;Zbl 1332.68137) 全文: 内政部
乔治·德尔扎诺;米歇尔·塔塔雷克;里卡多·特拉弗斯 模型检查Paxos在Spin中。 (英语) Zbl 1464.68200号 Peron,Adriano(编辑)等人,第五届游戏、自动机、逻辑和形式验证国际研讨会论文集,GandALF 2014,意大利维罗纳,2014年9月10-12日。滑铁卢:开放出版协会(OPA)。电子。程序。西奥。计算。科学。(EPTCS)161、131-146(2014)。MSC公司:第68季度第60季度 第68季度85 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{G.Delzanno}等人,《电子》。程序。西奥。计算。科学。(EPTCS)161131-146(2014年;兹bl 1464.68200) 全文: arXiv公司 链接
乔治·德尔扎诺;一月,Stückrath 具有全邻域运算的图变换系统的参数化验证。 (英语) Zbl 1448.68296号 Ouaknine,Joöl(编辑)等人,《可达性问题》。2014年9月22日至24日,英国牛津,RP 2014,第八届国际研讨会。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8762, 72-84 (2014).MSC公司:第68季度第60季度 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Delzanno}和\textit{J.Stückrath},莱克特。注释计算。科学。8762、72--84(2014年;Zbl 1448.68296) 全文: 内政部 arXiv公司
乔治·德尔扎诺 分布式广播协议的参数化验证和模型检查。 (英语) Zbl 1423.68276号 Giese,Holger(编辑)等人,《图形变换》。2014年7月22日至24日,作为2014年STAF的一部分,在英国约克举行了2014年第七届国际会议ICGT。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8571, 1-16 (2014).MSC公司:第68季度第60季度 68个M12 2012年第68季度 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{G.Delzanno},莱克特。注释计算。科学。8571,1--16(2014;Zbl 1423.68276) 全文: 内政部
乔治·德尔扎诺;阿诺德·桑尼尔;里卡多·特拉弗斯 寄存器自动机广播网络的参数化验证。 (英语) Zbl 1355.68175号 Abdulla,Parosh Aziz(编辑)等,《可达性问题》。第七届国际研讨会,RP 2013,瑞典乌普萨拉,2013年9月24日至26日会议记录。柏林:施普林格出版社(ISBN 978-3-642-41035-2/pbk)。计算机科学课堂讲稿8169109-121(2013)。MSC公司:第68季度第60季度 65年第68季度 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{G.Delzanno}等人,Lect。注释计算。科学。8169、109-121(2013年;Zbl 1355.68175) 全文: 内政部
乔治·德尔扎诺(编辑);伊戈尔·波塔波夫(编辑) 特刊:根据2011年9月28日至30日在意大利热那亚举行的第五届可达性问题研讨会上的陈述,对论文进行了修订和选择。 (英语) Zbl 1273.68025号 发现的国际期刊。计算。科学。24,第2期,161-302(2013)。 MSC公司:68-06 00B25型 第68季度第60季度 PDF格式BibTeX公司 XML格式
乔治·德尔扎诺;里卡多·特拉弗斯 异步广播网络验证的可决定性和复杂性结果。 (英语) Zbl 1377.68130号 Dediu,Adrian-Horia(编辑)等人,《语言和自动机理论与应用》。2013年4月2-5日在西班牙毕尔巴鄂举行的2013年拉丁美洲旅游协会第七届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-37063-2/pbk)。计算机科学课堂讲稿7810,238-249(2013)。MSC公司:第68季度第60季度 68米10 68个M12 PDF格式BibTeX公司 XML格式引用 \textit{G.Delzanno}和\textit{R.Traverso},莱克特。注释计算。科学。7810,238--249(2013;Zbl 1377.68130) 全文: 内政部
乔治·德尔扎诺;阿诺德·桑尼尔;里卡多·特拉弗斯;吉安路易吉·扎瓦塔罗 可重构广播网络中参数化可达性的复杂性。 (英语) Zbl 1354.68014号 D’Souza,Deepak(编辑)等人,IARCS软件技术和理论计算机科学基础年会(FSTTCS 2012)。根据2012年12月15日至17日在印度海得拉巴举行的第三十二届会议上的发言选出的论文。Wadern:达格斯图尔宫(Schloss Dagstuhl)——莱布尼茨天顶宫(Leibniz Zentrum für Informatik)(ISBN 978-3-939897-47-7)。LIPIcs–莱布尼茨国际信息学论文集18289-300(2012)。MSC公司:68米10 第68季度25 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Delzanno}等人,LIPIcs——莱布尼茨国际程序。通知。18、289--300(2012;Zbl 1354.68014) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;乔治·德尔扎诺;奥思曼·雷津;阿诺德·桑尼尔;里卡多·特拉弗斯 关于定时自组网的验证。 (英语) Zbl 1348.68115号 Fahrenberg,Uli(编辑)等人,《时间系统的形式化建模和分析》。2011年9月21日至23日,第九届国际会议,FORMATS 2011,丹麦奥尔堡。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-24309-7/pbk)。计算机科学课堂讲稿6919,256-270(2011)。MSC公司:第68季度第60季度 68个M12 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Lect。注释计算。科学。6919、256-270(2011年;Zbl 1348.68115) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;乔治·德尔扎诺;艾哈迈德·雷兹 使用图形约束自动验证基于目录的一致性协议。 (英语) Zbl 1216.68048号 发现的国际期刊。计算。科学。 22,第4期,761-782(2011).MSC公司:68个M12 68兰特 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,国际期刊发现。计算。科学。22,第4号,761--782(2011;Zbl 1216.68048) 全文: 内政部
乔治·德尔扎诺;阿诺德·桑尼尔;吉安路易吉·扎瓦塔罗 论派系在adhoc网络参数化验证中的作用。 (英语) 兹比尔1326.68040 马丁·霍夫曼(编辑),《软件科学和计算结构基础》。2011年3月26日至4月3日在德国萨尔布吕肯举行的第14届国际会议FOSSACS 2011,是欧洲软件理论与实践联合会议ETAPS 2011的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-19804-5/pbk)。计算机科学讲座笔记6604441-455(2011)。MSC公司:68个M12 05年6月29日 第68季度第60季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{G.Delzanno}等人,Lect。注释计算。科学。6604441--455(2011年;Zbl 1326.68040) 全文: 内政部
乔治·德尔扎诺;阿诺德·桑尼尔;吉安路易吉·扎瓦塔罗 特设网络的参数化验证。 (英语) Zbl 1287.68106号 Gastin,Paul(编辑)等人,CONCUR 2010–并发理论。第21届国际会议,CONCUR 2010,法国巴黎,2010年8月31日至9月3日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-15374-7/pbk)。计算机科学课堂讲稿6269313-327(2010)。MSC公司:第68季度第60季度 68米10 68个M12 65年第68季度 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{G.Delzanno}等人,Lect。注释计算。科学。6269、313--327(2010年;Zbl 1287.68106) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;陈玉芳;乔治·德尔扎诺;弗雷德里克·哈齐扎;Chih-Duo洪;艾哈迈德·雷兹 约束单调抽象:用于参数化验证的CEGAR。 (英语) Zbl 1287.68117号 Gastin,Paul(编辑)等人,CONCUR 2010–并发理论。第21届国际会议,CONCUR 2010,法国巴黎,2010年8月31日至9月3日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-15374-7/pbk)。计算机科学课堂讲稿6269,86-101(2010)。MSC公司:第68季度85 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Lect。注释计算。科学。6269,86-101(2010;Zbl 1287.68117) 全文: 内政部
乔治·德尔扎诺;罗伯托·贾科巴齐;弗朗西斯科·兰扎托 (约束逻辑)编程中的静态分析、抽象解释和验证。 (英语) Zbl 1285.68030号 Dovier,Agostino(编辑)等人,《逻辑编程25年展望》。意大利逻辑编程协会的成就。柏林:施普林格出版社(ISBN 978-3-642-14308-3/pbk)。计算机科学课堂讲稿6125136-158(2010)。MSC公司:68N17号 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Delzanno}等人,Lect。注释计算。科学。6125136--158(2010年;Zbl 1285.68030) 全文: 内政部
乔治·德尔扎诺;罗伯托·蒙塔格纳 在具有名称限制的移动环境中确定可达性。 (英语) Zbl 1347.68262号 Habermehl,P.(ed.)等人,第八、第九和第十届无限状态系统验证国际研讨会会议记录(INFINITY 2006、2007、2008),德国波恩,2006年8月26日,葡萄牙里斯本,2007年9月8日,加拿大多伦多,2008年8月23日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记239,5-15(2009)。MSC公司:第68季度85 2012年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Delzanno}和\textit{R.Montagna},电子。注释Theor。计算。科学。239,5-15(2009年;兹bl 1347.68262) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;乔治·德尔扎诺;艾哈迈德·雷兹 具有全局条件的无限状态过程的近似参数化验证。 (英语) Zbl 1176.68110号 形式方法系统。设计。 34,第2期,126-156(2009).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,《形式方法系统》。设计。34,第2号,126--156(2009;Zbl 1176.68110) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;乔治·德尔扎诺;艾哈迈德·雷兹 基于目录的一致性协议的自动验证。 (英语) Zbl 1260.68224号 Bournez,Olivier(编辑)等人,《可达性问题》。第三次国际研讨会,RP 2009,2009年9月23日至25日,法国Palaiseau。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-04419-9/pbk)。计算机科学讲义5797,36-50(2009)。MSC公司:第68季度第60季度 68个M12 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Lect。注释计算。科学。5797、36-50(2009年;Zbl 1260.68224) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;乔治·德尔扎诺;努梅内·本·亨达;艾哈迈德·雷兹 单调抽象:关于参数化系统的有效验证。 (英语) Zbl 1186.68272号 发现的国际期刊。计算。科学。 20,第5号,779-801(2009).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,国际期刊发现。计算。科学。20,第5号,779--801(2009;Zbl 1186.68272) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;乔治·德尔扎诺;艾哈迈德·雷兹 作用中的单调抽象。(分布式互斥算法的自动验证)。 (英语) Zbl 1161.68612号 Fitzgerald,John S.(编辑)等人,《计算的理论方面——ICTAC 2008》。第五届国际学术讨论会,土耳其伊斯坦布尔,2008年9月1日至3日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-85761-7/pbk)。《计算机科学讲义》5160,50-65(2008)。MSC公司:第68季度85 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Lect。注释计算。科学。5160、50-65(2008年;Zbl 1161.68612) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;努梅内·本·亨达;乔治·德尔扎诺;艾哈迈德·雷兹 处理具有非原子全局条件的参数化系统。 (英语) Zbl 1138.68436号 Logozzo,Francesco(编辑)等人,《验证、模型检查和抽象解释》。第九届国际会议,2008年VMCAI,美国旧金山,2008年1月7日至9日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-78162-2/pbk)。计算机科学课堂讲稿490522-36(2008)。MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Lect。注释计算。科学。4905,22-36(2008年;兹bl 1138.68436) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;乔治·德尔扎诺;艾哈迈德·雷兹 具有全局条件的无限状态过程的参数化验证。 (英语) Zbl 1135.68461号 Damm,Werner(编辑)等人,《计算机辅助验证》。2007年7月3日至7日在德国柏林举行的2007年CAV第19届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-73367-6/pbk)。计算机科学课堂讲稿4590145-157(2007)。MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Lect。注释计算。科学。4590、145--157(2007年;Zbl 1135.68461) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;乔治·德尔扎诺;努梅内·本·亨达;艾哈迈德·雷兹 无传感器的定期模型检查(参数化系统的有效验证)。 (英语) Zbl 1186.68312号 Grumberg,Orna(编辑)等人,《系统构建和分析的工具和算法》。2007年3月24日至4月1日在葡萄牙布拉加举行的第13届国际会议TACAS 2007,是欧洲软件理论与实践联合会议ETAPS 2007的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-71208-4/pbk)。计算机科学课堂讲稿4424721-736(2007)。MSC公司:第68季度85 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Lect。注释计算。科学。4424721--736(2007年;Zbl 1186.68312) 全文: 内政部
乔治·德尔扎诺 多线程程序抽象模型的基于约束的自动验证。 (英语) Zbl 1112.68089号 理论与实践。日志。程序。 7,编号1-2,67-91(2007).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Delzanno},理论与实践。日志。程序。7,编号1--2,67-91(2007;Zbl 1112.68089) 全文: 内政部
乔治·德尔扎诺;哈维尔·埃斯帕尔扎;吉·斯尔巴 单调集扩展前缀重写和递归乒乓协议的验证。 (英语) Zbl 1161.68617号 Graf,Susanne(编辑)等人,《验证和分析自动化技术》。2006年10月23日至26日,第四届国际研讨会,ATVA 2006,中国北京。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-47237-7/pbk)。计算机科学课堂讲稿4218,415-429(2006)。MSC公司:第68季度85 2012年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Delzanno}等人,Lect。注释计算。科学。4218、415--429(2006年;Zbl 1161.68617) 全文: 内政部
马可·波扎诺;乔治·德尔扎诺 密码协议线性逻辑规范的保密属性的自动验证。 (英语) Zbl 1137.68431号 J.塞姆。计算。 38,第5期,1375-1415(2004).MSC公司:第68季度第60季度 68个M12 94A60型 PDF格式BibTeX公司 XML格式引用 \textit{M.Bozzano}和\textit{G.Delzanno},J.Symb。计算。38,第5号,1375--1415(2005;Zbl 1137.68431) 全文: 内政部
乔治·德尔扎诺;毛里齐奥·加布里埃利 通过约束求解对异步过程进行组合验证。 (英语) Zbl 1081.68646号 Caires,Luís(编辑)等人,《自动化,语言和编程》。2005年7月11日至15日,葡萄牙里斯本,第32届国际学术讨论会,ICALP 2005。诉讼程序。柏林:施普林格出版社(ISBN 3-540-27580-0/pbk)。计算机科学课堂讲稿35801239-1250(2005)。MSC公司:第68季度85 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Delzanno}和\textit{M.Gabbrielli},Lect。注释计算。科学。35801239-1250(2005;Zbl 1081.68646) 全文: 内政部
乔治·德尔扎诺 异步演算(扩展抽象)中控制可达性的符号过程。 (英语) Zbl 1271.68179号 Schnoebelen,P.(编辑),《2003年INFINITY会议录》,第五届无限状态系统验证国际研讨会,CONCUR 2003卫星研讨会,法国马赛2003年9月2日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记98,21-33(2004)。MSC公司:第68季度85 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Delzanno},电子。注释Theor。计算。科学。98、21-33(2004年;Zbl 1271.68179) 全文: 链接
乔治·德尔扎诺;皮埃尔·甘蒂 对时间敏感的加密协议进行自动验证。 (英语) Zbl 1126.68392号 Jensen,Kurt(编辑)等人,《系统构建和分析的工具和算法》。2004年3月29日至4月2日在西班牙巴塞罗那举行的第十届国际会议TACAS 2004,作为软件理论与实践联合会议ETAPS 2004的一部分。诉讼程序。柏林:施普林格出版社(ISBN 3-540-21299-X/pbk)。计算机科学课堂讲稿2988342-356(2004)。MSC公司:68第25页 68第05页 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Delzanno}和\textit{P.Ganty},莱克特。注释计算。科学。2988342--356(2004年;Zbl 1126.68392) 全文: 内政部
马可·波扎诺;乔治·德尔扎诺;Maurizio Martelli 模型检查线性逻辑规范。 (英语) Zbl 1088.68102号 理论与实践。日志。程序。 4,编号5-6,573-619(2004).MSC公司:第68季度第60季度 68N17号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Bozzano}等人,《理论与实践》。日志。程序。4、编号5--6573--619(2004;Zbl 1088.68102) 全文: 内政部
乔治·德尔扎诺 参数化缓存一致性协议的基于约束的验证。 (英语) Zbl 1073.68518号 形式方法系统。设计。 23,第3期,257-301(2003).MSC公司:68个M12 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Delzanno},《形式方法系统》。设计。23,第3号,257--301(2003;Zbl 1073.68518) 全文: 内政部
乔治·德尔扎诺;桑德罗·埃塔利 用于调试安全协议的证明理论、转换和逻辑编程。 (英语) Zbl 1073.68572号 Pettorossi,Alberto(编辑),基于逻辑的程序合成和转换。2001年11月28日至30日,塞浦路斯帕福斯,第11次国际研讨会,LOPSTR 2001。精选论文。柏林:施普林格出版社(ISBN 3-540-43915-3)。莱克特。注释计算。科学。2372, 76-90 (2002).MSC公司:68号30 68N17号 68第25页 94A60型 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{G.Delzanno}和\textit{S.Etalle},莱克特。注释计算。科学。2372、76-90(2002年;Zbl 1073.68572) 全文: 链接
乔治·德尔扎诺 参数化同步系统的基于约束的模型检查。 (英语) Zbl 1057.68624号 亚历山德罗·阿曼多(编辑),《组合系统的前沿》。2002年4月8日至10日,第四次国际研讨会,FroCos 2002,意大利利古雷圣玛格丽塔。诉讼程序。柏林:施普林格出版社(ISBN 3-540-43381-3)。莱克特。注释计算。科学。2309, 72-86 (2002).MSC公司:第68季度第60季度 68吨15 PDF格式BibTeX公司 XML格式引用 \文本{G.Delzanno},Lect。注释计算。科学。2309、72--86(2002年;Zbl 1057.68624) 全文: 链接
马可·波扎诺;乔治·德尔扎诺 超出参数化验证。 (英语) Zbl 1043.68565号 Katoen,Joost-Pieter(ed.)等人,《系统构建和分析的工具和算法》。第八届国际会议,TACAS 2002。2002年4月8日至12日,作为欧洲软件理论与实践联合会议的一部分,在法国格勒诺布尔举行。柏林:施普林格出版社(ISBN 3-540-43419-4)。莱克特。注释计算。科学。2280, 221-235 (2002).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Bozzano}和\textit{G.Delzanno},莱克特。注释计算。科学。2280、221--235(2002年;Zbl 1043.68565) 全文: 链接
乔治·德尔扎诺;Jean-François拉斯金;劳伦特·范·贝京 面向多线程Java程序的自动验证。 (英语) 兹比尔1043.68530 Katoen,Joost-Pieter(ed.)等人,《系统构建和分析的工具和算法》。第八届国际会议,TACAS 2002。2002年4月8日至12日,作为欧洲软件理论与实践联合会议的一部分,在法国格勒诺布尔举行。柏林:施普林格出版社(ISBN 3-540-43419-4)。莱克特。注释计算。科学。2280, 173-187 (2002).MSC公司:68号30 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Delzanno}等人,Lect。注释计算。科学。2280173--187(2002年;Zbl 1043.68530) 全文: 链接
马可·波扎诺;乔治·德尔扎诺 基于失效协议的算法验证。 (英语) Zbl 1010.68525号 Brinksma,Ed(编辑)等人,《计算机辅助验证》。2002年7月27日至31日,丹麦哥本哈根,第14届国际会议,CAV 2002。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2404, 295-308 (2002).MSC公司:第68季度85 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Bozzano}和\textit{G.Delzanno},莱克特。注释计算。科学。2404295-308(2002年;Zbl 1010.68525) 全文: 链接
马可·波扎诺;乔治·德尔扎诺;Maurizio Martelli 论析取逻辑规划与线性逻辑规划的关系。 (英语) Zbl 1263.68043号 Dovier,Agostino(编辑)等人,《声明式编程》。2000年12月4日至6日,古巴哈瓦那AGP 2000论文集。诉讼程序。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记48,65-89(2001)。MSC公司:68号30 03楼52 68N17号 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{M.Bozzano}等人,《电子》。注释Theor。计算。科学。48、65-89(2001年;Zbl 1263.68043) 全文: 内政部
G·德尔扎诺。 用于验证多维参数化系统的断言语言(初步结果)。 (英语) Zbl 1262.68115号 理查德·迈尔(编辑),《VEPAS 2001》。参数化系统的验证(2001年ICALP卫星研讨会),希腊克里特岛,2001年7月13日。波塞丁斯。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记50,第4期,371-385(2001)。MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Delzanno},电子。注释Theor。计算。科学。50,第4号,371--385(2001;Zbl 1262.68115) 全文: 内政部
乔治·德尔扎诺;特夫菲克·布尔坦 基于约束的客户端-服务器协议验证。 (英语) Zbl 1067.68624号 Walsh,Toby(编辑),约束编程的原理和实践-CP 2001。第七届国际会议,2001年11月26日至12月1日,塞浦路斯帕福斯。诉讼程序。柏林:施普林格出版社(ISBN 3-540-42863-1)。莱克特。注释计算。科学。2239, 286-301 (2001).MSC公司:68T20型 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Delzanno}和\textit{T.Bultan},莱克特。注释计算。科学。2239286--301(2001年;Zbl 1067.68624) 全文: 链接
巴勃罗·阿贡;乔治·德尔扎诺;Supratik Mukhopadhyay公司;安德烈亚斯·波德尔斯基 模型检查通信协议。 (英语) Zbl 1052.68630号 Pacholski,Leszek(编辑)等人,SOFSEM 2001:信息学理论与实践。2001年11月24日至12月1日,斯洛伐克共和国Piešt'any,第28届信息学理论和实践趋势会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-42912-3)。莱克特。注释计算。科学。2234, 160-170 (2001).MSC公司:第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Argón}等人,Lect。注释计算。科学。2234、160-170(2001年;Zbl 1052.68630) 全文: 链接
乔治·德尔扎诺;Jean-François拉斯金;劳伦特·范·贝京 攻击象征性的状态爆炸。 (英语) Zbl 0991.68554号 Berry,Gérard(编辑)等人,《计算机辅助验证》。2001年7月18日至22日,第13届国际会议,CAV 2001,法国巴黎。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2102, 298-310 (2001).MSC公司:第68季度85 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Delzanno}等人,Lect。注释计算。科学。2102、298--310(2001年;Zbl 0991.68554) 全文: 链接
马可·波扎诺;乔治·德尔扎诺;Maurizio Martelli 一阶线性逻辑程序的有效自下而上语义。 (英语) Zbl 0987.68857号 Kuchen,Herbert(编辑)等人,《函数和逻辑编程》。第五届国际研讨会,FLOPS 2001,日本东京,2001年3月7日至9日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2024年,138-152(2001)。MSC公司:68单位99 68问题55 68N17号 第68季度第60季度 第68季度85 03楼52 PDF格式BibTeX公司 XML格式引用 \textit{M.Bozzano}等人,Lect。注释计算。科学。2024年,138--152(2001年;Zbl 0987.68857)
乔治·德尔扎诺 通过遗传哈洛普公式和(lambda)Prolog(一项案例研究)指定和调试安全协议。 (英语) Zbl 0977.68526号 Kuchen,Herbert(编辑)等人,《函数和逻辑编程》。第五届国际研讨会,FLOPS 2001,日本东京,2001年3月7日至9日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2024, 123-137 (2001).MSC公司:68号30 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{G.Delzanno},莱克特。注释计算。科学。2024,123-137(2001;Zbl 0977.68526) 全文: 链接
德尔赞诺,G。;D.加尔米奇。;马泰利,M。 并发面向对象编程的规范逻辑。 (英语) Zbl 0931.68066号 数学。结构。计算。科学。 9,第3期,253-286(1999).MSC公司:第68季度第60季度 03B70号 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{G.Delzanno}等人,《数学》。结构。计算。科学。9,第3号,253--286(1999;Zbl 0931.68066) 全文: 内政部