帕罗什·阿齐兹·阿卜杜拉;卢卡什·霍利克;本特·琼森;Ondřej Lengál;聪奎·特里恩;汤姆·沃纳 通过扩展森林自动机验证具有有序数据的堆操作程序。 (英语) Zbl 1344.68136号 学报信息。 53,第4期,357-385(2016).MSC公司:第68季度第60季度 68第05页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Acta Inf.53,No.4,357--385(2016;Zbl 1344.68136) 全文: 内政部
卢卡什·霍利克;马尔特·伊斯伯纳;本特·琼森 具有数据的组件代数中的中介合成。 (英语) Zbl 1444.68103号 Meyer,Roland(编辑)等人,《正确的系统设计》。2015年9月8日至9日,德国奥尔登堡,纪念Ernst-Rüdiger Olderog 60岁生日的研讨会。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。9360, 238-259 (2015).MSC公司:第68季度第60季度 65年第68季度 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{L.Holík}等人,Lect。注释计算。科学。9360、238--259(2015;Zbl 1444.68103) 全文: 内政部
艺术、忠诚;本特·琼森;约翰·尤金;Vaandrager,Frits公司 使用规则推理和抽象生成无限状态通信协议的模型。 (英语) 兹比尔1322.68131 形式方法系统。设计。 46,第1期,1-41页(2015).MSC公司:第68季度第60季度 68个M12 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Aarts}等人,《形式方法系统》。设计。46,第1号,1--41(2015;Zbl 1322.68131) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;卢卡什·霍利克;本特·琼森;Ondřej Lengál;聪奎·特里恩;汤姆·沃纳 通过扩展森林自动机验证具有有序数据的堆操作程序。 (英语) Zbl 1344.68135号 Hung,Dang Van(编辑)等人,《用于验证和分析的自动化技术》。2013年10月15日至18日,第11届国际研讨会,2013年ATVA,越南河内。诉讼程序。柏林:施普林格出版社(ISBN 978-3-319-02443-1/pbk)。计算机科学课堂讲稿8172224-239(2013)。MSC公司:第68季度第60季度 68第05页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Lect。注释计算。科学。8172224--239(2013;Zbl 1344.68135) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;弗雷德里克·哈齐扎;卢卡什·霍利克;本特·琼森;艾哈迈德·雷兹 一种用于高度并发数据结构的集成规范和验证技术。 (英语) Zbl 1381.68141号 Piterman,Nir(编辑)等人,《系统构建和分析的工具和算法》。2013年3月16日至24日,第19届国际会议(TACAS 2013)在意大利罗马举行,作为欧洲软件理论与实践联合会议(ETAPS 2013)的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-36741-0/pbk)。计算机科学课堂讲稿7795,324-338(2013)。MSC公司:第68季度第60季度 68第05页 65年第68季度 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Lect。注释计算。科学。7795,324--338(2013;Zbl 1381.68141) 全文: 内政部
本特·琼森 使用精细演算技术证明线性化能力。 (英语) Zbl 1259.68128号 正式Asp。计算。 24,第4-6号,537-554(2012).MSC公司:第68季度第60季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{B.Jonsson},正式Asp。计算。24、编号4--6537--554(2012;Zbl 1259.68128) 全文: 内政部
陈、陶璐;克里斯·奇尔顿;本特·琼森;玛尔塔·奎亚特科夫斯卡 组件行为的组合规范理论。 (英语) 兹比尔1352.68149 Seidl,Helmut(编辑),《编程语言和系统》。2012年3月24日至4月1日在爱沙尼亚塔林举行的第21届欧洲编程研讨会(ESOP 2012)是欧洲软件理论与实践联合会议(ETAPS 2012)的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-28868-5/pbk)。计算机科学讲义7211,148-168(2012)。MSC公司:第68季度第60季度 65年第68季度 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{T.Chen}等人,Lect。注释计算。科学。7211,148--168(2012;Zbl 1352.68149) 全文: 内政部
索菲亚·卡塞尔;福尔克·豪尔;本特·琼森;梅克梅尔滕;伯恩哈德·斯特芬 简洁规范的寄存器自动机模型。 (英语) Zbl 1348.68095号 Bultan,Tevfik(编辑)等人,《验证和分析自动化技术》。2011年10月11日至14日,第九届国际研讨会,ATVA 2011,台湾台北。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-24371-4/pbk)。计算机科学课堂讲稿6996366-380(2011)。MSC公司:65年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Cassel}等人,Lect。注释计算。科学。6996、366--380(2011年;Zbl 1348.68095) 全文: 内政部
特蕾莎·伯格;本特·琼森;Leucker,马丁;马扬克省萨克塞纳 对Angluin学习的见解。 (英语) 兹比尔1272.68164 Etalle,S.(ed.)等人,《软件验证与确认国际研讨会论文集》(SVV 2003),印度孟买,2003年12月9日至13日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记118,3-18(2005)。MSC公司:第68季度32 65年第68季度 第68季度第60季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Berg}等人,《电子》。注释Theor。计算。科学。118、3-18(2005年;Zbl 1272.68164) 全文: 链接
奥尔加·格林斯坦;本特·琼森;Leucker,马丁 事件记录自动机的学习。 (英语) Zbl 1109.68515号 Lakhnech,Yassine(编辑)等人,《定时和容错系统的形式化技术、建模和分析》。2004年9月22日至24日在法国格勒诺布尔举行的关于时间系统的正式建模和分析、FORMATS 2004以及实时和容错系统中的正式技术的联合国际会议,FTRTFT 2004。诉讼程序。柏林:施普林格出版社(ISBN 3-540-23167-6/pbk)。计算机科学课堂讲稿3253379-395(2004)。MSC公司:第68季度第60季度 65年第68季度 第68季度32 PDF格式BibTeX公司 XML格式引用 \textit{O.Grinchtein}等人,Lect。注释计算。科学。3253、379--395(2004年;Zbl 1109.68515) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;奥罗雷·科伦·安尼奇尼;艾哈迈德·博阿贾尼;本特·琼森 使用前向可达性分析来验证有损信道系统。 (英语) Zbl 1073.68675号 形式方法系统。设计。 25,第1号,39-65(2004).MSC公司:第68季度第60季度 65年第68季度 第68季度85 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,《形式方法系统》。设计。25,第1号,39--65(2004;Zbl 1073.68675) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;本特·琼森;马库斯·尼尔森;德奥索,朱利安 常规模型检查的算法改进。 (英语) Zbl 1278.68150号 Hunt,Warren A.jun.(编辑)等人,《计算机辅助验证》。第15届国际会议,2003年CAV,美国科罗拉多州博尔德,2003年7月8-12日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40524-0/pbk)。莱克特。注释计算。科学。2725, 236-248 (2003).MSC公司:第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Lect。注释计算。科学。27252236-248(2003年;兹bl 1278.68150) 全文: 内政部
帕罗什阿齐兹·阿卜杜拉;本特·琼森;普里塔·马哈塔;德奥索,朱利安 定期树模型检查。 (英语) Zbl 1010.68087号 Brinksma,Ed(编辑)等人,《计算机辅助验证》。2002年7月27日至31日,丹麦哥本哈根,第14届国际会议,CAV 2002。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2404, 555-568 (2002).MSC公司:第68季度第60季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Aziz Abdulla}等人,Lect。注释计算。科学。2404、555--568(2002年;Zbl 1010.68087) 全文: 链接
帕罗什·阿齐兹·阿卜杜拉;采拉人、库尔利斯人;本特·琼森;蔡义权 具有良好拟序域的程序的算法分析。 (英语) Zbl 1046.68567号 Inf.计算。 160,编号1-2,109-127(2000).MSC公司:65年第68季度 第68季度第60季度 03年2月25日 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,《信息计算》。160,编号1-2109-127(2000年;兹bl 1046.68567) 全文: 内政部
帕罗什·阿卜杜拉;克里斯特尔·拜尔;伊耶,普鲁索塔曼;本特·琼森 概率有损信道系统的推理。 (英语) Zbl 0999.68145号 Palamidessi,Catuscia(编辑),CONCUR 2000-并发理论。2000年8月22日至25日,第11届国际会议,美国宾夕法尼亚州大学公园。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1877, 320-333 (2000).MSC公司:第68季度85 第68季度第60季度 65年第68季度 03年2月25日 PDF格式BibTeX公司 XML格式引用 \textit{P.Abdulla}等人,Lect。注释计算。科学。1877320--333(2000年;Zbl 0999.68145)