塞尔吉·博戈莫洛夫;马塞洛·福雷茨;戈兰·弗雷斯;安德烈亚斯·波德尔斯基;克里斯蒂安·席林 用低维集合和高维矩阵分解可达集合计算(扩展版)。 (英语) Zbl 07629131号 Inf.计算。 289,A部分,文章ID 104937,24 p.(2022).MSC公司:68季度xx PDF格式BibTeX公司 XML格式引用 \textit{S.Bogomolov}等人,《信息计算》。289,A部分,文章ID 104937,24 p.(2022;Zbl 07629131) 全文: 内政部
奥德·帕顿;Jochen Hoenicke公司;肯尼思·麦克米兰。;安德烈亚斯·波德尔斯基;穆利·萨吉夫;沙龙·肖姆 证明无限状态系统时间特性的时间预言。 (英语) Zbl 1522.68340号 形式方法系统。设计。 57,编号2,246-269(2021).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{O.Padon}等人,《形式方法系统》。设计。57,编号2,246--269(2021;Zbl 1522.68340) 全文: 内政部 arXiv公司
丹尼尔·迪特施;马蒂亚斯·海兹曼;多米尼克·克伦普;迈赫迪·瑙阿尔;安德烈亚斯·波德尔斯基;Schätzle,克劳斯 使用Petri网展开验证并发程序。 (英语) 兹比尔1472.68087 Henglein,Fritz(编辑)等人,《验证、模型检验和抽象解释》。第22届国际会议,VMCAI 2021,丹麦哥本哈根,2021年1月17日至19日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12597, 174-195 (2021).MSC公司:60年第68季度 68甲19 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{D.Dietsch}等人,Lect。注释计算。科学。12597174-195(2021年;Zbl 1472.68087) 全文: 内政部
丹尼尔·迪特施;马蒂亚斯·海兹曼;Jochen Hoenicke公司;亚历山大·纳茨;安德烈亚斯·波德尔斯基 映射相等域。 (英语) Zbl 1403.68039号 Piskac、Ruzica(编辑)等人,《验证软件》。理论、工具和实验。第十届国际会议,2018年7月18日至19日,英国牛津,VSTTE 2018。修订了选定的论文。查姆:施普林格(ISBN 978-3-030-03591-4/pbk;978-3-0.30-03592-1/电子书)。计算机科学课堂讲稿11294,291-308(2018)。MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.Dietsch}等人,Lect。注释计算。科学。11294、291--308(2018;Zbl 1403.68039) 全文: 内政部
Jochen Hoenicke公司;亚历山大·纳茨;安德烈亚斯·波德尔斯基 基于树的数据流证明方法。 (英语) Zbl 1403.68040号 Piskac、Ruzica(编辑)等人,《验证软件》。理论、工具和实验。第十届国际会议,2018年7月18日至19日,英国牛津,VSTTE 2018。修订了选定的论文。商会:施普林格出版社(ISBN 978-3-030-03591-4/pbk;978-3-030-03592-1/电子书)。《计算机科学讲义》11294,1-16(2018)。MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.Hoenicke}等人,Lect。注释计算。科学。11294,1-16(2018;Zbl 1403.68040) 全文: 内政部
塞尔吉·博戈莫洛夫;马塞洛·福雷茨;戈兰·弗雷斯;Viry,Frédéric;安德烈亚斯·波德尔斯基;克里斯蒂安·席林 通过低维集和高维矩阵的分解达到集近似。 (英语) Zbl 1417.93059号 第21届ACM混合系统国际会议论文集:计算与控制,HSCC 2018,葡萄牙波尔图,2018年4月11-13日。纽约州纽约市:计算机协会(ACM)。41-50 (2018).MSC公司:93个B03 93立方厘米05 93B40码 PDF格式BibTeX公司 XML格式引用 \textit{S.Bogomolov}等人,in:第21届ACM混合系统国际会议论文集:计算与控制,HSCC 2018,葡萄牙波尔图,2018年4月11-13日。纽约州纽约市:计算机协会(ACM)。41-50(2018;Zbl 1417.93059) 全文: 内政部 arXiv公司
兰吉特·贾拉;安德烈亚斯·波德尔斯基;安德烈·里巴尔琴科 用于程序验证的谓词抽象。 (英语) Zbl 1392.68253号 Clarke,Edmund M.(编辑)等人,《模型检查手册》。查姆:施普林格(ISBN 978-3-319-10574-1/hbk;978-3-3169-10575-8/电子书)。447-491 (2018).MSC公司:60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.Jhala}等人,in:模型检查手册。查姆:斯普林格。447--491(2018;Zbl 1392.68253) 全文: 内政部
马吕斯·格雷萨克斯;丹尼尔·迪特施;安德烈亚斯·波德尔斯基 反例中的循环不变量。 (英语) Zbl 1420.68128号 Ranzato,Francesco(编辑),静态分析。2017年8月30日至9月1日,第24届国际研讨会,SAS 2017,美国纽约州纽约市。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10422128-147(2017年)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Greitschus}等人,莱克特。注释计算。科学。10422,128-147(2017年;Zbl 1420.68128) 全文: 内政部
Jochen Hoenicke公司;鲁帕克·马朱姆达尔;安德烈亚斯·波德尔斯基 多层次的线程模块化:组成验证中的一颗明珠。 (英语) Zbl 1380.68274号 Castagna,Giuseppe(编辑)等人,第44届ACM SIGPLAN编程语言原则年度研讨会论文集,POPL’17,法国巴黎,2017年1月15日至21日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-4660-3)。473-485 (2017).MSC公司:60年第68季度 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Hoenicke}等人,in:第44届ACM SIGPLAN编程语言原理年度研讨会论文集,POPL’17,法国巴黎,2017年1月15-21日。纽约州纽约市:计算机协会(ACM)。473--485(2017;Zbl 1380.68274) 全文: 内政部
阿扎德法尔赞;扎卡里·金凯德;安德烈亚斯·波德尔斯基 证明参数化程序的活性。 (英语) Zbl 1401.68038号 2016年第31届ACM/IEEE计算机科学逻辑年度研讨会论文集,LICS 2016,美国纽约市,2016年7月5日至8日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-4391-6)。185-196 (2016).MSC公司:68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.Farzan}等人,摘自:2016年第31届ACM/IEEE计算机科学逻辑研讨会论文集,2016年LICS,美国纽约市,2016年7月5-8日。纽约州纽约市:计算机协会(ACM)。185-196(2016;Zbl 1401.68038) 全文: 内政部 arXiv公司
丹尼尔·迪特施;马蒂亚斯·海兹曼;文森特·兰根菲尔德;安德烈亚斯·波德尔斯基 公平模理论:LTL软件模型检查的新方法。 (英语) Zbl 1381.68157号 Kroening,Daniel(编辑)等人,《计算机辅助验证》。2015年7月18日至24日,第27届国际会议,CAV 2015,美国加利福尼亚州旧金山。诉讼程序。第一部分:商会:施普林格出版社(ISBN 978-3-319-21689-8/pbk;978-3-319-21690-4/ebook)。计算机科学讲义9206,49-66(2015)。MSC公司:60年第68季度 03B44号 68号30 PDF格式BibTeX公司 XML格式引用 \textit{D.Dietsch}等人,Lect。注释计算。科学。9206,49-66(2015;Zbl 1381.68157) 全文: 内政部
戈兰·弗雷斯;塞尔吉·博戈莫洛夫;马吕斯·格雷萨克斯;托马斯·斯特伦普;安德烈亚斯·波德尔斯基 使用支持功能消除可达性中的虚假转换。 (英语) Zbl 1364.93056号 第18届ACM混合系统国际会议论文集:计算与控制,HSCC 2015,西雅图,华盛顿州,美国,2015年4月14-16日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-3433-4)。149-158 (2015).MSC公司:93个B03 60年第68季度 93立方 PDF格式BibTeX公司 XML格式引用 \textit{G.Frehse}等人,in:第18届ACM混合系统国际会议论文集:计算与控制,HSCC 2015,西雅图,华盛顿州,美国,2015年4月14-16日。纽约州纽约市:计算机协会(ACM)。149-158(2015年;Zbl 1364.93056) 全文: 内政部
阿扎德法尔赞;扎卡里·金凯德;安德烈亚斯·波德尔斯基 无界并行的证明空间。 (英语) Zbl 1345.68102号 第42届ACM SIGPLAN-SIGACT编程语言原则研讨会会议记录,2015年1月12日至18日,印度孟买,POPL’15。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-3300-9)。407-420 (2015).MSC公司:68号30 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Farzan}等人,in:第42届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,POPL’15,印度孟买,2015年1月12-18日。纽约州纽约市:计算机协会(ACM)。407--420(2015;Zbl 1345.68102) 全文: 内政部
阿扎德法尔赞;马蒂亚斯·海兹曼;Jochen Hoenicke公司;扎卡里·金凯德;安德烈亚斯·波德尔斯基 自动程序验证。 (英语) 兹比尔1451.68175 Dediu,Adrian-Horia(编辑)等人,《语言和自动机理论与应用》。2015年3月2日至6日,第九届国际会议,LATA 2015,法国尼斯。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8977,25-46(2015年)。MSC公司:60年第68季度 68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Farzan}等人,Lect。注释计算。科学。8977,25-46(2015;Zbl 1451.68175) 全文: 内政部
塞尔吉·博戈莫洛夫;克里斯蒂安·埃雷拉;马尔科·穆尼兹;伯恩德·韦斯特法尔;安德烈亚斯·波德尔斯基 混合自动机中的准相关变量。 (英语) Zbl 1361.68118号 第17届ACM混合系统国际会议论文集:计算与控制,HSCC 2014,德国柏林,2014年4月15日至17日。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-2732-9)。93-102 (2014).MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Bogomolov}等人,in:第17届ACM混合系统国际会议论文集:计算与控制,HSCC 2014,德国柏林,2014年4月15-17日。纽约州纽约市:计算机协会(ACM)。93-102(2014年;Zbl 1361.68118) 全文: 内政部 链接
阿扎德法尔赞;扎卡里·金凯德;安德烈亚斯·波德尔斯基 证明这一点。 (英语) Zbl 1284.68395号 2014年1月22日至24日,美国加利福尼亚州圣地亚哥,POPL’14,第41届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-2544-8)。151-164 (2014).MSC公司:60年第68季度 68吨15 03B70号 68周05 PDF格式BibTeX公司 XML格式引用 \textit{A.Farzan}等人,in:第41届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,POPL’14,美国加利福尼亚州圣地亚哥,2014年1月22日至24日。纽约州纽约市:计算机协会(ACM)。151-164(2014年;Zbl 1284.68395) 全文: 内政部
阿扎德法尔赞;扎卡里·金凯德;安德烈亚斯·波德尔斯基 归纳数据流图。 (英语) Zbl 1301.68178号 2013年1月23日至25日在意大利罗马举行的第40届ACM SIGPLAN-SIGACT编程语言原则年度研讨会会议记录。纽约州纽约市:计算机机械协会(ACM)(ISBN 978-1-4503-1832-7)。129-142 (2013).MSC公司:60年第68季度 68号30 68问题85 68周05 PDF格式BibTeX公司 XML格式引用 \textit{A.Farzan}等人,在:第40届ACM SIGPLAN-SIGCT编程语言原理年度研讨会论文集,POPL’13,意大利罗马,2013年1月23日至25日。纽约州纽约市:计算机协会(ACM)。129-142(2013;Zbl 1301.68178) 全文: 内政部
马蒂亚斯·海兹曼;Jochen Hoenicke公司;简·莱克;安德烈亚斯·波德尔斯基 线性套索程序的线性排名。 (英语) Zbl 1410.68086号 Hung,Dang Van(编辑)等人,《用于验证和分析的自动化技术》。2013年10月15日至18日,第11届国际研讨会,2013年ATVA,越南河内。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。8172, 365-380 (2013).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Heizmann}等人,Lect。注释计算。科学。8172365-380(2013;Zbl 1410.68086) 全文: 内政部 arXiv公司
马尔科·穆尼兹;伯恩德·韦斯特法尔;安德烈亚斯·波德尔斯基 检测时间自动机中的准等时钟。 (英语) Zbl 1390.68437号 Braberman,Víctor(编辑)等人,《定时系统的形式化建模和分析》。2013年8月29日至31日,阿根廷布宜诺斯艾利斯,第11届国际会议,FORMATS 2013。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-40228-9/pbk)。计算机科学课堂讲稿8053198-212(2013)。MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Muñiz}等人,Lect。注释计算。科学。8053、198--212(2013;Zbl 1390.68437) 全文: 内政部
埃夫伦·埃尔米斯;Jochen Hoenicke公司;安德烈亚斯·波德尔斯基 通过插值进行拆分。 (英语) 兹比尔1326.68091 Kuncak,Viktor(编辑)等人,《验证、模型检查和抽象解释》。第13届国际会议,2012年VMCAI,美国宾夕法尼亚州费城,2012年1月22日至24日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-27939-3/pbk)。计算机科学讲义7148186-201(2012)。MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.Ermis}等人,Lect。注释计算。科学。7148186-201(2012;Zbl 1326.68091) 全文: 内政部
安德烈亚斯·波德尔斯基;安德烈·里巴尔琴科 用于程序终止的转换不变量和转换谓词抽象。 (英语) Zbl 1315.68104号 Abdulla,Parosh Aziz(编辑)等人,《系统构建和分析的工具和算法》。2011年3月26日至4月3日在德国萨尔布吕肯举行的第17届国际会议(TACAS 2011),是欧洲软件理论与实践联合会议(ETAPS 2011)的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-19834-2/pbk)。计算机科学讲座笔记6605,3-10(2011)。MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Podelski}和\textit{A.Rybalchenko},莱克特。注释计算。科学。6605,3--10(2011;Zbl 1315.68104) 全文: 内政部
马蒂亚斯·海兹曼;Jochen Hoenicke公司;安德烈亚斯·波德尔斯基 嵌套插值。 (英语) Zbl 1312.68059号 2010年1月17日至23日在西班牙马德里举行的第37届ACM SIGPLAN-SIGACT编程语言原则研讨会会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-60558-479-9)。471-482 (2010).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Heizmann}等人,in:第37届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,POPL’10,西班牙马德里,2010年1月17日至23日。纽约州纽约市:计算机协会(ACM)。471--482(2010年;Zbl 1312.68059) 全文: 内政部
安德烈亚斯·波德尔斯基;托马斯·怀斯 反例引导焦点。 (英语) Zbl 1312.68067号 第37届ACM SIGPLAN-SIGCT年度编程语言原理研讨会论文集,POPL’10,西班牙马德里,2010年1月17日至23日。纽约州纽约市:计算机机械协会(ACM)(ISBN 978-1-60558-479-9)。249-260(2010年)。MSC公司:68号30 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{A.Podelski}和\textit{T.Wies},摘自:第37届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,POPL'10,西班牙马德里,2010年1月17-23日。纽约州纽约市:计算机协会(ACM)。249--260(2010;Zbl 1312.68067) 全文: 内政部
Jochen Hoenicke公司;Leino,K.Rustan M。;安德烈亚斯·波德尔斯基;马丁·施瓦夫;托马斯·怀斯 末日计划点数。 (英语) Zbl 1211.68090号 形式方法系统。设计。 37,第2-3号,171-199(2010).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Hoenicke}等人,《形式方法系统》。设计。37,No.2--3,171--199(2010;Zbl 1211.68090) 全文: 内政部
亚历山大·马尔基斯;安德烈亚斯·波德尔斯基;安德烈·里巴尔琴科 线程模块反例引导的抽象细化。 (英语) Zbl 1306.68031号 Cousot,Radhia(编辑)等人,《静态分析》。2010年9月14日至16日,第17届国际研讨会,SAS 2010,法国佩皮尼昂。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-15768-4/pbk)。计算机科学课堂讲稿6337,356-372(2010)。MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Malkis}等人,Lect。注释计算。科学。6337356--372(2010年;Zbl 1306.68031) 全文: 内政部
马蒂亚斯·海兹曼;尼尔·D·琼斯。;安德烈亚斯·波德尔斯基 尺寸变化终止和转换不变量。 (英语) Zbl 1306.68028号 Cousot,Radhia(编辑)等人,《静态分析》。第17届国际研讨会,SAS 2010,法国佩皮尼昂,2010年9月14日至16日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-15768-4/pbk)。计算机科学课堂讲稿6337,22-50(2010)。MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{M.Heizmann}等人,Lect。注释计算。科学。6337、22-50(2010年;Zbl 1306.68028) 全文: 内政部
Jochen Hoenicke公司;奥尔德罗格(Ernst-Rüdiger Olderog);安德烈亚斯·波德尔斯基 动态控制的公平性。 (英语) Zbl 1284.68400号 Esparza,Javier(编辑)等人,《系统构建和分析的工具和算法》。2010年3月20日至28日在塞浦路斯帕福斯举行的第16届国际会议(TACAS 2010)是欧洲软件理论与实践联合会议(ETAPS 2010)的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-12001-5/pbk)。计算机科学课堂讲稿6015251-265(2010)。MSC公司:60年第68季度 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{J.Hoenicke}等人,Lect。注释计算。科学。6015,251--265(2010;Zbl 1284.68400) 全文: 内政部
拜伦·库克;安德烈亚斯·波德尔斯基;安德烈·里巴尔琴科 终止汇总:不退回! (英语) Zbl 1185.68412号 形式方法系统。设计。 35,第3期,369-387(2009).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Cook}等人,《形式方法系统》。设计。35,第3号,369--387(2009;Zbl 1185.68412) 全文: 内政部
马蒂亚斯·海兹曼;Jochen Hoenicke公司;安德烈亚斯·波德尔斯基 改进跟踪抽象。 (英语) Zbl 1248.68146号 Palsberg,Jens(编辑)等人,《静态分析》。第16届国际研讨会,SAS 2009,美国加利福尼亚州洛杉矶,2009年8月9日至11日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-03236-3/pbk)。计算机科学讲座笔记5673,69-85(2009)。MSC公司:68号30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Heizmann}等人,Lect。注释计算。科学。5673、69-85(2009年;Zbl 1248.68146) 全文: 内政部
穆罕默德·纳西姆·塞吉尔;安德烈亚斯·波德尔斯基;托马斯·怀斯 量化数组断言的抽象细化。 (英语) Zbl 1248.68151号 Palsberg,Jens(编辑)等人,《静态分析》。2009年8月9日至11日,第16届国际研讨会,SAS 2009,美国加利福尼亚州洛杉矶。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-03236-3/pbk)。计算机科学讲座笔记5673,3-18(2009)。MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.N.Seghir}等人,Lect。注释计算。科学。5673,3--18(2009年;Zbl 1248.68151) 全文: 内政部 链接
马丁·韦尔;塞巴斯蒂安·库普弗施米德;安德烈亚斯·波德尔斯基 基于转换的定向模型检查。 (英语) Zbl 1234.68268号 Kowalewski,Stefan(编辑)等人,《系统构建和分析的工具和算法》。2009年3月22日至29日在英国约克举行的第15届国际会议TACAS 2009,是欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-00767-5/pbk)。计算机科学讲座笔记5505186-200(2009)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Wehrle}等人,Lect。注释计算。科学。5505186-200(2009年;Zbl 1234.68268) 全文: 内政部
安德烈亚斯·波德尔斯基;安德烈·里巴尔琴科;托马斯·怀斯 按需堆假设。 (英语) Zbl 1155.68446号 Gupta,Aarti(编辑)等人,《计算机辅助验证》。第20届国际会议,CAV 2008,美国新泽西州普林斯顿,2008年7月7日至14日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-70543-7/pbk)。《计算机科学讲义》5123314-327(2008)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Podelski}等人,Lect。注释计算。科学。5123、314--327(2008;Zbl 1155.68446) 全文: 内政部
雷娜·迪米特洛娃;安德烈亚斯·波德尔斯基 延迟抽象是广播协议的决策过程吗? (英语) Zbl 1138.68445号 Logozzo,Francesco(编辑)等人,《验证、模型检查和抽象解释》。2008年1月7日至9日,第九届国际会议,VMCAI 2008,美国旧金山。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-78162-2/pbk)。计算机科学课堂讲稿490598-111(2008)。MSC公司:60年第68季度 68个M12 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Dimitrova}和\textit{A.Podelski},莱克特。注释计算。科学。4905,98--111(2008年;Zbl 1138.68445) 全文: 内政部 链接
拜伦·库克;阿列克谢·戈茨曼;安德烈亚斯·波德尔斯基;安德烈·里巴尔琴科;莫舍·瓦尔迪。 证明这些程序最终会有好处。 (英语) Zbl 1295.68083号 2007年1月17日至19日,法国尼斯,POPL'07,第34届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集。纽约州纽约市:计算机协会(ACM)(ISBN 1-59593-575-4)。265-276 (2007).MSC公司:68号30 64岁以下 68甲15 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Cook}等人,摘自:第34届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,POPL'07,法国尼斯,2007年1月17-19日。纽约州纽约市:计算机协会(ACM)。265--276(2007年;Zbl 1295.68083) 全文: 内政部 链接
亚历山大·马尔基斯;安德烈亚斯·波德尔斯基;安德烈·里巴尔琴科 精确的螺纹模块化验证。 (英语) 兹比尔1211.68095 Nielson,Hanne Riis(编辑)等人,《静态分析》。2007年8月22日至24日,第14届国际研讨会,SAS,丹麦,Kongens Lyngby。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-74060-5/pbk)。计算机科学课堂讲稿4634218-232(2007)。MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Malkis}等人,Lect。注释计算。科学。4634,218--232(2007;Zbl 1211.68095) 全文: 内政部
拜伦·库克(编辑);安德烈亚斯·波德尔斯基(编辑) 验证、模型检查和抽象解释。2007年1月14日至16日在法国尼斯举行的2007年VMCAI第八届国际会议。诉讼程序。 (英语) Zbl 1131.68006号 计算机科学课堂讲稿4349.柏林:施普林格出版社(ISBN 978-3-540-69735-0/pbk)。xi,第395页。(2007).MSC公司:68-06 60年第68季度 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{B.Cook}(编辑)和\textit{A.Podelski}(编),验证、模型检查和抽象解释。2007年1月14日至16日在法国尼斯举行的第八届国际会议,VMCAI 2007。诉讼程序。柏林:施普林格出版社(2007;Zbl 1131.68006) 全文: 内政部
霍夫曼,约格;斯马乌斯,Jan-Georg;安德烈·里巴尔琴科;塞巴斯蒂安·库普弗施米德;安德烈亚斯·波德尔斯基 使用谓词抽象在UPPAAL中生成启发式函数。 (英语) Zbl 1196.68139号 Edelkamp,Stefan(编辑)等人,《模型检查和人工智能》。第四次研讨会,MoChArt IV,Riva del Garda,意大利,2006年8月29日。修订选定和邀请的论文。柏林:施普林格出版社(ISBN 978-3-540-74127-5/pbk)。计算机科学课堂讲稿4428。人工智能课堂讲稿,51-66(2007)。MSC公司:60年第68季度 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{J.Hoffmann}等人,Lect。注释计算。科学。4428,51-66(2007年;兹bl 1196.68139) 全文: 内政部
亚历山大·马尔基斯;安德烈亚斯·波德尔斯基;安德烈·里巴尔琴科 线程模块验证是笛卡尔抽象解释。 (英语) Zbl 1168.68423号 Barkaoui,Kamel(编辑)等人,《计算的理论方面——ICTAC 2006》。第三次国际学术讨论会,突尼斯,突尼斯,2006年11月20日至24日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-48815-6/pbk)。计算机科学课堂讲稿4281183-197(2006)。MSC公司:60年第68季度 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{A.Malkis}等人,Lect。注释计算。科学。4281、183--197(2006年;Zbl 1168.68423) 全文: 内政部
克劳斯·阿格博士;伯恩德·芬克贝纳;安德烈亚斯·波德尔斯基 使用距离表示抽象进行定向模型检查。 (英语) Zbl 1178.68338号 Valmari,Antti(编辑),模型检查软件。第十三届国际SPIN研讨会,奥地利维也纳,2006年3月30日至4月1日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-33102-6/pbk)。计算机科学课堂讲稿3925,19-34(2006)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{K.Dräger}等人,Lect。注释计算。科学。3925、19-34(2006年;Zbl 1178.68338) 全文: 内政部
安德烈亚斯·波德尔斯基;希尔克·瓦格纳 混合系统的模型检验:从可达性到稳定性。 (英语) Zbl 1178.93077号 Hespanha,Joáo(编辑)等人,《混合系统:计算和控制》。2006年3月29日至31日在美国加利福尼亚州圣巴巴拉举行的2006年HSCC第九届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 3-540-33170-0/pbk)。计算机科学讲义3927,507-521(2006)。MSC公司:93立方 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Podelski}和\textit{S.Wagner},莱克特。注释计算。科学。3927507--521(2006年;Zbl 1178.93077) 全文: 内政部
托马斯·怀斯;维克多·昆卡;帕特里克·兰姆;安德烈亚斯·波德尔斯基;马丁·里纳德 字段约束分析。 (英语) Zbl 1176.68130号 艾默生·E·艾伦(编辑)等人,《验证、模型检查和抽象解释》。第七届国际会议,VMCAI 2006,查尔斯顿,南卡罗来纳州,美国,2006年1月8日至10日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-31139-4/pbk)。计算机科学课堂讲稿3855157-173(2006)。MSC公司:60年第68季度 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{T.Wies}等人,Lect。注释计算。科学。3855、157--173(2006年;Zbl 1176.68130) 全文: 内政部
安德烈亚斯·波德尔斯基;安德烈·里巴尔琴科 转移谓词抽象和公平终止。 (英语) Zbl 1369.68152号 第32届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录,2005年1月12日至14日,美国加利福尼亚州长滩,POPL'05。纽约州纽约市:计算机协会(ACM)(ISBN 1-58113-830-X)。132-144 (2005).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Podelski}和\textit{A.Rybalchenko},摘自:第32届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,POPL'05,美国加利福尼亚州长滩,2005年1月12-14日。纽约州纽约市:计算机协会(ACM)。132-144(2005年;Zbl 1369.68152) 全文: 内政部
安德烈亚斯·波德尔斯基;托马斯·怀斯 布尔堆。 (英语) Zbl 1141.68374号 Hankin,Chris(编辑)等人,《静态分析》。第12届国际研讨会,SAS 2005,英国伦敦,2005年9月7日至9日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-28584-9/pbk)。《计算机科学讲义》3672268-283(2005)。MSC公司:68号30 68第05页 PDF格式BibTeX公司 XML格式引用 \textit{A.Podelski}和\textit{T.Wies},莱克特。注释计算。科学。3672、268--283(2005年;Zbl 1141.68374) 全文: 内政部
拜伦·库克;安德烈亚斯·波德尔斯基;安德烈·里巴尔琴科 终止的抽象细化。 (英语) Zbl 1141.68365号 Hankin,Chris(编辑)等人,《静态分析》。2005年9月7日至9日在英国伦敦举行的2005年SAS第12届国际研讨会。诉讼程序。柏林:施普林格出版社(ISBN 3-540-28584-9/pbk)。计算机科学课堂讲稿367287-101(2005)。MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{B.Cook}等人,Lect。注释计算。科学。3672,87-101(2005;Zbl 1141.68365) 全文: 内政部
阿米尔·普努利;安德烈亚斯·波德尔斯基;安德烈·里巴尔琴科 分离公平性和良好基础,用于分析公平离散系统。 (英语) Zbl 1087.68066号 Halbwachs,Nicolas(编辑)等人,《系统构建和分析的工具和算法》。2005年4月4日至8日,在英国爱丁堡举行的第11届国际会议TACAS 2005,该会议是欧洲软件理论与实践联合会议ETAPS 2005的一部分。诉讼程序。柏林:施普林格出版社(ISBN 3-540-25333-5/pbk)。计算机科学课堂讲稿3440124-139(2005)。MSC公司:68问题85 68号30 2005年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Pnueli}等人,Lect。注释计算。科学。3440、124--139(2005年;Zbl 1087.68066) 全文: 内政部
安德烈亚斯·波德尔斯基;安德烈·里巴尔琴科 线性排序函数综合的完整方法。 (英语) Zbl 1202.68109号 Steffen,Bernhard(编辑)等人,《验证、模型检查和抽象解释》。第五届国际会议,VMCAI 2004,意大利威尼斯,2004年1月11-13日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-20803-8/pbk)。莱克特。注释计算。科学。2937, 239-251 (2004).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Podelski}和\textit{A.Rybalchenko},莱克特。注释计算。科学。2937239--251(2004;Zbl 1202.68109) 全文: 内政部
安德烈亚斯·波德尔斯基 具有抽象精化的软件模型检查。 (英语) 兹比尔1022.68581 Zuck,Leonore D.(编辑)等人,《验证、模型检查和抽象解释》。2003年1月9日至11日,美国纽约州纽约市,第四届国际会议,VMCAI 2003。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2575, 1-3 (2003).MSC公司:60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{A.Podelski},莱克特。注释计算。科学。2575,1--3(2003;Zbl 1022.68581) 全文: 链接
维托尔德·查拉托尼克;安德烈亚斯·波德尔斯基 设置带交点的约束。 (英语) Zbl 1096.68023号 Inf.计算。 179,第2期,213-229(2002).MSC公司:68号30 68N17号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Charatonik}和\textit{A.Podelski},Inf.Compute。179,编号2,213--229(2002;Zbl 1096.68023) 全文: 内政部
维托尔德·查拉托尼克;Supratik Mukhopadhyay公司;安德烈亚斯·波德尔斯基 分层CLP的基于约束的无限模型检查和制表。 (英语) Zbl 1045.68089号 Stuckey,Peter J.(编辑),《逻辑编程》。2002年7月29日至8月1日,丹麦哥本哈根,第18届国际会议,ICLP 2002。诉讼程序。柏林:施普林格出版社(ISBN 3-540-43930-7)。莱克特。注释计算。科学。2401, 115-129 (2002).MSC公司:60年第68季度 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{W.Charatonik}等人,Lect。注释计算。科学。2401115-129(2002年;Zbl 1045.68089) 全文: 链接
Supratik Mukhopadhyay公司;安德烈亚斯·波德尔斯基 抽象模型检查的代数框架。 (英语) Zbl 1077.68699号 Koenig,Sven(编辑)等人,《抽象、改写和近似》。2002年8月2日至4日,第五届国际研讨会,加拿大阿尔伯塔省卡纳纳斯基斯,2002年严重急性呼吸系统综合征。诉讼程序。柏林:施普林格出版社(ISBN 3-540-43941-2)。莱克特。注释计算。科学。237152-169(2002年)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Mukhopadhyay}和\textit{A.Podelski},莱克特。注释计算。科学。2371152--169(2002年;Zbl 1077.68699) 全文: 链接
维托尔德·查拉托尼克;Supratik Mukhopadhyay公司;安德烈亚斯·波德尔斯基 符号正向分析的成分终止分析。 (英语) Zbl 1057.68622号 Cortesi,Agostino(编辑),《验证、模型检查和抽象解释》。第三届国际研讨会,VMCAI 2002,意大利威尼斯,2002年1月21日至22日。修订论文。柏林:施普林格出版社(ISBN 3-540-43631-6)。莱克特。注释计算。科学。2294, 109-125 (2002).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Charatonik}等人,Lect。注释计算。科学。2294109-125(2002年;Zbl 1057.68622) 全文: 链接
鲍尔,托马斯;安德烈亚斯·波德尔斯基;Rajamani,Sriram K。 用于软件模型检查的抽象精化的相对完整性。 (英语) Zbl 1043.68523号 Katoen,Joost-Pieter(ed.)等人,《系统构建和分析的工具和算法》。第八届国际会议,TACAS 2002。2002年4月8日至12日,作为欧洲软件理论与实践联合会议的一部分,在法国格勒诺布尔举行。柏林:施普林格出版社(ISBN 3-540-43419-4)。莱克特。注释计算。科学。2280, 158-172 (2002).MSC公司:68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Ball}等人,Lect。注释计算。科学。2280158--172(2002年;Zbl 1043.68523) 全文: 链接
Supratik Mukhopadhyay公司;安德烈亚斯·波德尔斯基 定时系统的精确加宽和有界性。 (英语) Zbl 1073.68680号 Bjørner,Dines(编辑)等人,《系统信息学的视角》。2001年7月2日至6日,第四届安德烈·埃尔绍夫国际纪念大会,PSI 2001,俄罗斯新西伯利亚Akademgorodok。修订论文。柏林:施普林格出版社(ISBN 3-540-43075-X)。莱克特。注释计算。科学。2244, 79-94 (2001).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Mukhopadhyay}和\textit{A.Podelski},莱克特。注释计算。科学。2244、79-94(2001年;Zbl 1073.68680) 全文: 链接
巴勃罗·阿尔贡;乔治·德尔扎诺;Supratik Mukhopadhyay公司;安德烈亚斯·波德尔斯基 模型检查通信协议。 (英语) Zbl 1052.68630号 Pacholski,Leszek(编辑)等人,SOFSEM 2001:信息学理论与实践。2001年11月24日至12月1日在斯洛伐克共和国皮埃什塔尼举行的第28届信息学理论和实践当前趋势会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-42912-3)。莱克特。注释计算。科学。2234, 160-170 (2001).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Argón}等人,Lect。注释计算。科学。2234、160-170(2001年;Zbl 1052.68630) 全文: 链接
鲍尔,托马斯;安德烈亚斯·波德尔斯基;Rajamani,Sriram K。 用于模型检查C程序的布尔和笛卡尔抽象。 (英语) Zbl 0978.68540号 Margaria,Tiziana(编辑)等,系统构建和分析的工具和算法。2001年4月2日至6日在意大利热那瓦举行的第七届国际会议TACAS 2001,是欧洲软件理论与实践联合会议ETAPS 2001的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2031, 268-283 (2001).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Ball}等人,Lect。注释计算。科学。2031,268--283(2001;Zbl 0978.68540) 全文: 链接
维托尔德·查拉托尼克;安德烈亚斯·波德尔斯基;Jean-Marc Talbot 基于集合的程序分析中的路径与树。 (英语) 兹比尔1323.68201 第27届ACM SIGPLAN-SIGCT编程语言原理研讨会论文集,POPL’00,美国马萨诸塞州波士顿,2000年1月19日至21日。纽约州纽约市:计算机协会(ACM)(ISBN 1-58113-125-9)。330-337 (2000).MSC公司:68号30 68N17号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{W.Charatonik}等人,in:第27届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,POPL'00,美国马萨诸塞州波士顿,2000年1月19-21日。纽约州纽约市:计算机协会(ACM)。330-337(2000年;Zbl 1323.68201) 全文: 内政部
哈维尔·埃斯帕尔扎;安德烈亚斯·波德尔斯基 过程间并行流图的前*和后*的有效算法。 (英语) Zbl 1323.68407号 2000年1月19日至21日,美国马萨诸塞州波士顿,POPL'00,第27届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集。纽约州纽约市:计算机协会(ACM)(ISBN 1-58113-125-9)。1-11 (2000).MSC公司:68问题85 68甲19 68号30 60年第68季度 68宽15 PDF格式BibTeX公司 XML格式引用 \textit{J.Esparza}和\textit{A.Podelski},摘自:第27届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集,POPL'00,美国马萨诸塞州波士顿,2000年1月19日至21日。纽约州纽约市:计算机协会(ACM)。1-11(2000年;Zbl 1323.68407) 全文: 内政部
Supratik Mukhopadhyay公司;安德烈亚斯·波德尔斯基 定时逻辑进程的模型检查。 (英语) Zbl 0983.68132号 Lloyd,John(编辑)等人,《计算逻辑-CL 2000》。第一届国际会议,英国伦敦,2000年7月24日至28日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1861, 598-612 (2000).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Mukhopadhyay}和\textit{A.Podelski},莱克特。注释计算。科学。1861,598-612(2000;Zbl 0983.68132)
安德烈亚斯·波德尔斯基 模型检查作为约束求解。 (英语) Zbl 0966.68121号 Palsberg,Jens(编辑),静态分析。2000年6月29日至7月6日,第七届国际研讨会,SAS 2000,美国加利福尼亚州圣巴巴拉。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1824年,22-37页(2000年)。MSC公司:60年第68季度 68瓦30 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Podelski},莱克特。注释计算。科学。1824、22-37(2000年;Zbl 0966.68121)
维托尔德·查拉托尼克;大卫·麦卡利斯特;达米安·尼文斯基;安德烈亚斯·波德尔斯基;伊戈尔·瓦卢基维奇 号角微积分。 (英语) Zbl 0945.03541号 第十三届IEEE计算机科学逻辑年会。1998年6月21日至24日在美国印第安纳波利斯举行。加利福尼亚州洛斯·阿拉米托斯:IEEE计算机协会。58-69 (1998).MSC公司:03B70号 60年第68季度 68N17号 PDF格式BibTeX公司 XML格式引用 \textit{W.Charatonik}等人,in:第十三届IEEE计算机科学逻辑年会。1998年6月21日至24日在美国印第安纳波利斯举行。加利福尼亚州洛斯·阿拉米托斯:IEEE计算机协会。58-69(1998年;Zbl 0945.03541)
阿卜杜勒瓦赫布·阿亚里;戴维·巴恩斯;安德烈亚斯·波德尔斯基 LISA:基于WS2S的规范语言。 (英语) Zbl 0908.03036号 尼尔森,莫根斯(编辑)等人,《计算机科学逻辑》。第11届国际研讨会,CSL’97。EACSL年会,丹麦奥胡斯,1997年8月23日至29日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1414, 18-34 (1998).MSC公司:03B70号 60年第68季度 05年3月 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{A.Ayari}等人,Lect。注释计算。科学。1414,18-34(1998;Zbl 0908.03036)
约阿希姆·尼伦;安德烈亚斯·波德尔斯基;拉尔夫·特里宁 无限树的等式约束和成员约束。 (英语) Zbl 1503.68041号 克洛德·基什纳(编辑),《重写技术与应用》。1993年6月16日至18日,加拿大蒙特利尔,RTA-93第五届国际会议。诉讼程序。柏林:施普林格出版社。莱克特。注释计算。科学。690、106-120(1993)中所述。MSC公司:68甲19 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Niehren}等人,Lect。注释计算。科学。690106--120(1993年;Zbl 1503.68041) 全文: 内政部 内政部