×

找到50个文档(结果1-50)

用于静态分析和模型检查的多值逻辑。 (英语) Zbl 1519.68060号

Margaria,Tiziana(编辑)等人,《模型、心态、元:什么、如何以及为什么不?》?在伯恩哈德·斯特芬60岁生日之际为他撰写的论文。查姆:施普林格。莱克特。注释计算。科学。11200, 89-109 (2019).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

同步进程的进程局部静态分析。 (英语) Zbl 1511.68184号

安德烈亚斯·波德尔斯基(编辑),《静态分析》。2018年8月29日至31日在德国弗莱堡举行的2018年SAS第25届国际研讨会。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。11002, 284-305 (2018).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于时间相关策略的访问控制。 (英语) Zbl 1515.68214号

Schewe,Sven(ed.)等人,第24届时间表征和推理国际研讨会,《时代》2017,比利时蒙斯,2017年10月16日至18日。诉讼程序。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。90,第21条,第18页(2017年)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

模型检查攻击场景的确切成本。 (英语) Zbl 1444.68102号

Maffei,Matteo(编辑)等人,《安全与信任原则》。2017年4月22日至29日在瑞典乌普萨拉举行的第六届国际会议,即2017年POST,是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。10204, 210-231 (2017).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

格值正则表达式的参数抽象域。 (英语) Zbl 1394.68080号

对手,Xavier(编辑),静态分析。2016年9月8日至10日在英国爱丁堡举行的第23届SAS国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-662-53412-0/pbk;978-3-562-53413-7/电子书)。计算机科学讲座笔记9837,338-360(2016)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

面向交互的规范的自由裁量信息流控制。 (英语) Zbl 1321.68349号

Martí-Oliet,Narciso(编辑)等人,《逻辑、重写和并发》。纪念何塞·梅塞盖尔65岁生日的文章。查姆:施普林格(ISBN 978-3-319-23164-8/pbk;978-3-3169-23165-5/电子书)。计算机科学讲义9200,427-450(2015)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

随机质量演算的随机模型检验。 (英语) Zbl 1454.68079号

De Nicola,Rocco(编辑)等人,《软件、服务和系统》。马丁·维尔辛(Martin Wirsing)在2015年从编程和软件工程主席退休之际发表的论文,德国慕尼黑。论文。查姆:施普林格。莱克特。注释计算。科学。8950, 522-537 (2015).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

基于CSL模型的自动检查。 (英语) Zbl 1334.68135号

Aceto,Luca(编辑)等人,《自动化,语言和编程》。2011年7月4日至8日,瑞士苏黎世,第38届国际学术讨论会,ICALP 2011。诉讼,第二部分。柏林:施普林格出版社(ISBN 978-3-642-22011-1/pbk)。计算机科学课堂讲稿6756271-282(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

模型检查模态逻辑的静态分析。 (英语) 兹比尔1284.03210

Ong,Luke(编辑),《软件科学和计算结构基础》。2010年3月20日至28日,第13届国际会议FOSSACS 2010,作为欧洲软件理论与实践联合会议ETAPS 2010的一部分,在塞浦路斯帕福斯举行。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-12031-2/pbk)。计算机科学课堂讲稿6014191-205(2010)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

使用统一的可缩放包含约束求解器。 (英语) Zbl 1179.68042号

安迪·金(编辑),基于逻辑的程序合成和转换。2007年8月23日至24日,第17届国际研讨会,LOPSTR,丹麦康根斯·林比。修改选定的论文。柏林:施普林格出版社(ISBN 978-3-540-78768-6/pbk)。计算机科学课堂讲稿4915,121-137(2008)。
MSC公司:68号30
PDF格式BibTeX公司 XML格式引用
全文: 内政部

并发行为的模式抽象。 (英语) Zbl 1149.68407号

Alpunte,María(编辑)等人,《静态分析》。2008年7月16日至18日在西班牙巴伦西亚举行的2008年SAS第15届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-69163-1/pbk)。计算机科学课堂讲稿5079159-173(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

安全和安保约束的启发式。 (英语) Zbl 1277.68250号

Cardelli,Luca(编辑)等人,《计算、意义和逻辑》。献给戈登·普洛金的文章。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记172523-543(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

广播网络的拓扑相关抽象。 (英语) Zbl 1151.68322号

Caires,Luís(编辑)等人,CONCUR 2007–并发理论。第18届国际会议,2007年CONCUR,葡萄牙里斯本,2007年9月3-8日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-74406-1/pbk)。计算机科学课堂讲稿4703,226-240(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

CCS数据流分析。 (英语) Zbl 1149.68361号

Reps,Thomas(编辑)等人,《程序分析与编译,理论与实践》。在莱因哈德·威廉60岁生日之际,为他撰写的论文。柏林:施普林格出版社(ISBN 978-3-540-71315-9/pbk)。计算机科学课堂讲稿4444311-327(2007)。
MSC公司:68号30
PDF格式BibTeX公司 XML格式引用
全文: 内政部

控制流分析的类型。 (英语) Zbl 1149.68360号

Reps,Thomas(编辑)等人,《程序分析与编译,理论与实践》。在莱因哈德·威廉60岁生日之际,为他撰写的论文。柏林:施普林格出版社(ISBN 978-3-540-71315-9/pbk)。计算机科学课堂讲稿4444293-310(2007)。
MSC公司:68号30
PDF格式BibTeX公司 XML格式引用
全文: 内政部

LySa中规定的安全协议的性能评估。 (英语) Zbl 1272.68225号

Cerone,A.(ed.)等人,《编程语言定量方面第二次研讨会论文集》(QAPL 2004),西班牙巴塞罗那,2004年3月27日至28日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记112167-189(2005)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

简洁的求解器套件。 (英语) Zbl 1126.68354号

Jensen,Kurt(ed.)等人,《系统构建和分析的工具和算法》。2004年3月29日至4月2日在西班牙巴塞罗那举行的第十届国际会议TACAS 2004,作为软件理论与实践联合会议ETAPS 2004的一部分。诉讼程序。柏林:施普林格出版社(ISBN 3-540-21299-X/pbk)。计算机科学课堂讲稿2988251-265(2004)。
MSC公司:68号30 68吨15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

自动复杂性分析。 (英语) Zbl 1077.68610号

Le Métayer,Daniel(编辑),《编程语言和系统》。2002年4月8日至12日,在法国格勒诺布尔举行的第11届欧洲编程研讨会,ESOP 2002,作为欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:施普林格出版社(ISBN 3-540-43363-5)。莱克特。注释计算。科学。2305, 243-261 (2002).
MSC公司:68号30
PDF格式BibTeX公司 XML格式引用
全文: 链接

流逻辑:静态分析的多仿生方法。 (英语) Zbl 1026.68029号

托本·莫根森。(ed.)等人,《计算的本质》。复杂性、分析、转换。献给尼尔·D·琼斯的文章。柏林:斯普林格。莱克特。注释计算。科学。2566, 223-244 (2002).
MSC公司:68号30 03B70号
PDF格式BibTeX公司 XML格式引用
全文: 链接

可规范化的Horn子句、强可识别的关系和Spi。 (英语) Zbl 1015.68042号

Hermenegildo,Manuel V.(编辑)等,《静态分析》。2002年9月17日至20日,西班牙马德里,2002年SAS第9届国际研讨会。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2477, 20-35 (2002).
MSC公司:68号30
PDF格式BibTeX公司 XML格式引用
全文: 链接

立方时间内的控制流分析。 (英语) 兹比尔0977.68520

David Sands(编辑),《编程语言和系统》。2001年4月2日至6日在意大利热那瓦举行的第十届欧洲程序设计研讨会(ESOP 2001),是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。第2028252-268页(2001年)。
PDF格式BibTeX公司 XML格式引用
全文: 链接

移动环境的形状分析。 (英语) Zbl 1323.68414号

2000年1月19日至21日,美国马萨诸塞州波士顿,POPL'00,第27届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集。纽约州纽约市:计算机协会(ACM)(ISBN 1-58113-125-9)。142-154 (2000).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

面向语义的程序分析:工具制造商的观点。 (英语) Zbl 1482.68092号

Cousot,Radhia(编辑)等人,《静态分析》。1996年9月24日至26日,第三届国际研讨会,SAS’96,德国亚琛。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1145, 2-21 (1996).
MSC公司:68号30 68问题55
PDF格式BibTeX公司 XML格式引用
全文: 内政部

高阶并发语言的静态和动态处理器分配。 (英语) Zbl 1496.68113号

Mosses,Peter D.(编辑)等人,《TAPSOFT’95:软件开发的理论与实践》。第六届CAAP/FASE国际联席会议,1995年5月,丹麦奥胡斯。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。915, 590-604 (1995).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份