阿罗尼斯·斯塔夫罗斯;本特·琼森;马格纳斯·朗;康斯坦蒂诺斯·萨戈纳斯 带观测器的最优动态降阶。 (英语) Zbl 1423.68093号 Beyer,Dirk(编辑)等人,《系统构建和分析的工具和算法》。2018年4月14日至20日在希腊塞萨洛尼基举行的第24届国际会议(TACAS 2018),是欧洲软件理论与实践联合会议(ETAPS 2018)的一部分。诉讼程序。第二部分。查姆:斯普林格。莱克特。注释计算。科学。10806, 229-248 (2018).MSC公司:68号30 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{S.Aronis}等人,Lect。注释计算。科学。10806、229--248(2018;Zbl 1423.68093) 全文: 内政部 链接
帕罗什·阿齐兹·阿卜杜拉;本特·琼森;聪奎·特里恩 用于并发形状分析的碎片抽象。 (英语) Zbl 1418.68124号 阿马尔·艾哈迈德(编辑),《编程语言和系统》。2018年4月14日至20日在希腊塞萨洛尼基举行的第27届欧洲编程研讨会(ESOP 2018),作为欧洲软件理论与实践联合会议的一部分。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。10801, 442-471 (2018).MSC公司:60年第68季度 68甲19 68第05页 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Lect。注释计算。科学。10801、442--471(2018;Zbl 1418.68124) 全文: 内政部
帕罗什·阿卜杜拉;阿罗尼斯·斯塔夫罗斯;本特·琼森;康斯坦蒂诺斯·萨戈纳斯 比较源集和持久集以减少部分顺序。 (英语) Zbl 1431.68062号 Aceto,Luca(编辑)等人,《模型、算法、逻辑和工具》。献给金·古尔德斯特朗·拉森60岁生日之际的散文。查姆:斯普林格。莱克特。注释计算。科学。10460, 516-536 (2017).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.Abdulla}等人,Lect。注释计算。科学。10460516--536(2017;Zbl 1431.68062) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;阿罗尼斯·斯塔夫罗斯;本特·琼森;康斯坦蒂诺斯·萨戈纳斯 源集:最优动态部分降阶的基础。 (英语) Zbl 1426.68038号 美国临床医学杂志 64号第4条第25条第49页(2017年).MSC公司:68号30 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,J.ACM 64,第4号,第25条,第49页(2017年;Zbl 1426.68038) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;阿罗尼斯·斯塔夫罗斯;穆罕默德·法乌齐(Mohamed Faouzi Atig);本特·琼森;Leonardsson,卡尔;康斯坦蒂诺斯·萨戈纳斯 TSO和PSO的无状态模型检查。 (英语) Zbl 1380.68265号 学报信息。 54,第8号,789-818(2017).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Acta Inf.54,No.8,789--818(2017;Zbl 1380.68265) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;卢卡什,霍利克;本特·琼森;Ondřej Lengál;聪奎·特里恩;汤姆·沃纳 通过扩展森林自动机验证具有有序数据的堆操作程序。 (英语) Zbl 1344.68136号 学报信息。 53,第4期,357-385(2016).MSC公司:60年第68季度 68第05页 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Acta Inf.53,No.4,357--385(2016;Zbl 1344.68136) 全文: 内政部 链接
帕罗什·阿齐兹·阿卜杜拉;阿罗尼斯·斯塔夫罗斯;穆罕默德·法乌齐(Mohamed Faouzi Atig);本特·琼森;Leonardsson,卡尔;康斯坦蒂诺斯·萨戈纳斯 TSO和PSO的无状态模型检查。 (英语) Zbl 1420.68115号 Baier,Christel(编辑)等人,《系统构建和分析的工具和算法》。第21届国际会议,TACAS 2015,作为欧洲软件理论和实践联席会议的一部分,ETAPS 2015,2015年4月11日至18日,英国伦敦。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。9035, 353-367 (2015).MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Lect。注释计算。科学。9035,353--367(2015;Zbl 1420.68115) 全文: 内政部 arXiv公司
卢卡什,霍利克;马尔特·伊斯伯纳;本特·琼森 具有数据的组件代数中的中介合成。 (英语) Zbl 1444.68103号 Meyer,Roland(编辑)等人,《正确的系统设计》。2015年9月8日至9日,德国奥尔登堡,为纪念Ernst-Rüdiger Olderog 60岁生日而举办的研讨会。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。9360, 238-259 (2015).MSC公司:60年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{L.Holík}等人,Lect。注释计算。科学。9360238-259(2015年;兹bl 1444.68103) 全文: 内政部
艺术、忠诚;本特·琼森;约翰·尤金;Vaandrager,Frits公司 使用规则推理和抽象生成无限状态通信协议的模型。 (英语) Zbl 1322.68131号 形式方法系统。设计。 46,第1期,1-41页(2015).MSC公司:60年第68季度 68个M12 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Aarts}等人,《形式方法系统》。设计。46,第1号,1--41(2015;Zbl 1322.68131) 全文: 内政部 链接
克里斯·奇尔顿;本特·琼森;玛尔塔·奎亚特科夫斯卡 接口自动机的代数理论。 (英语) Zbl 1360.68608号 西奥。计算。科学。 549, 146-174 (2014).MSC公司:70年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Chilton}等人,Theor。计算。科学。549、146--174(2014年;Zbl 1360.68608) 全文: 内政部
帕罗什·阿卜杜拉;阿罗尼斯·斯塔夫罗斯;本特·琼森;康斯坦蒂诺斯·萨戈纳斯 最优动态部分降阶。 (英语) Zbl 1284.68377号 2014年1月22日至24日,美国加利福尼亚州圣地亚哥,POPL’14,第41届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录。纽约州纽约市:计算机协会(ACM)(ISBN 978-1-4503-2544-8)。373-384(2014年)。MSC公司:60年第68季度 68周05 68号30 2015年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Abdulla}等人,《第41届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集》,POPL’14,美国加利福尼亚州圣地亚哥,2014年1月22日至24日。纽约州纽约市:计算机协会(ACM)。373--384(2014年;Zbl 1284.68377) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;卢卡什,霍利克;本特·琼森;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公司:60年第68季度 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公司:60年第68季度 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公司:60年第68季度 68号30 PDF格式BibTeX公司 XML格式引用 \textit{B.Jonsson},正式Asp。计算。24、编号4--6537--554(2012;Zbl 1259.68128) 全文: 内政部
陈、陶璐;克里斯·奇尔顿;本特·琼森;玛尔塔·奎亚特科夫斯卡 组件行为的组合规范理论。 (英语) Zbl 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公司:60年第68季度 65年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{T.Chen}等人,Lect。注释计算。科学。7211,148--168(2012;Zbl 1352.68149) 全文: 内政部
索菲亚·卡塞尔;福尔克·豪尔;本特·琼森;梅克梅尔滕;Steffen,伯恩哈德 简洁规范的寄存器自动机模型。 (英语) Zbl 1348.68095号 Bultan,Tevfik(编辑)等人,《验证和分析自动化技术》。2011年10月11日至14日,第九届国际研讨会,ATVA 2011,台湾台北。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-24371-4/pbk)。计算机科学课堂讲稿6996366-380(2011)。MSC公司:65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Cassel}等人,Lect。注释计算。科学。6996、366--380(2011年;Zbl 1348.68095) 全文: 内政部
马扬克省萨克塞纳;奥斯卡·威布尔;本特·琼森 特设路由协议的图形语法建模和验证。 (英语) Zbl 1134.68418号 Ramakrishnan,C.R.(编辑)等人,《系统构建和分析的工具和算法》。2008年3月29日至4月6日在匈牙利布达佩斯举行的第14届国际会议TACAS 2008,是欧洲软件理论与实践联合会议ETAPS 2008的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-78799-0/pbk)。计算机科学课堂讲稿4963,18-32(2008)。MSC公司:60年第68季度 68个M12 第68季度第42季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Saksena}等人,Lect。注释计算。科学。4963,18-32(2008年;Zbl 1134.68418) 全文: 内政部
本特·琼森;马扬克省萨克塞纳 定期模型检查中的系统加速。 (英语) Zbl 1135.68475号 Damm,Werner(编辑)等人,《计算机辅助验证》。2007年7月3日至7日在德国柏林举行的2007年CAV第19届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-73367-6/pbk)。计算机科学课堂讲稿4590131-144(2007)。MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Jonsson}和\textit{M.Saksena},莱克特。注释计算。科学。4590、131--144(2007年;Zbl 1135.68475) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;本特·琼森;艾哈迈德·雷兹;马扬克省萨克塞纳 通过向后可达性证明活跃性。 (英语) Zbl 1151.68498号 Baier,Christel(编辑)等人,CONCUR 2006–并发理论。第17届国际会议,CONCUR 2006,德国波恩,2006年8月27日至30日。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-37376-6/pbk)。计算机科学讲义4137,95-109(2006)。MSC公司:68问题85 68号30 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Lect。注释计算。科学。4137、95-109(2006年;Zbl 1151.68498) 全文: 内政部
特蕾莎·伯格;本特·琼森;Leucker,马丁;马扬克省萨克塞纳 对Angluin学习的见解。 (英语) Zbl 1272.68164号 Etalle,S.(ed.)等人,《软件验证与确认国际研讨会论文集》(SVV 2003),印度孟买,2003年12月9日至13日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记118,3-18(2005)。MSC公司:68问题32 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Berg}等人,电子。注释Theor。计算。科学。118、3-18(2005年;Zbl 1272.68164) 全文: 链接
约翰·布洛姆;安德斯·赫塞尔;本特·琼森;保罗·佩特森 使用观察者自动机指定和生成测试用例。 (英语) Zbl 1081.68566号 Grabowski,Jens(编辑)等人,软件测试的形式化方法。2004年9月21日,第四届国际研讨会,《命运2004》,奥地利林茨。修订了选定的论文。柏林:施普林格出版社(ISBN 3-540-25109-X/pbk)。计算机科学课堂讲稿3395125-139(2005)。MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{J.Blom}等人,Lect。注释计算。科学。3395、125--139(2005年;Zbl 1081.68566) 全文: 内政部
曼弗雷德·布罗伊(编辑);本特·琼森(编辑);Joost-Pieter卡托恩(编辑);Leucker,马丁(编辑);亚历山大·普雷施纳(编辑) [埃克塞尔·贝林芬特;特蕾莎·伯格;克尔斯滕·伯克科特;亨利克·比约克隆德;Brandán Briones,劳拉;斯特凡·D·布鲁达。;科林,塞维琳;戴振如;丁,乔治;穆罕默德·勒姆利;拉尔斯·弗兰岑;安吉洛·加甘蒂尼;克里斯托夫·加斯顿;马克·霍斯特曼;本特·琼森;Joost-Pieter卡托恩;雷蒙·科纳;莫伊斯·克里钦;Leucker,马丁;利瓦·卢西奥;莱昂纳多·马里亚尼;法比安·佩鲁克斯;菲利普斯,简;沃尔夫冈·普伦宁格;亚历山大·普雷施纳;哈拉尔德·拉菲尔特;马蒂亚斯·罗尔;马可·萨梅尔;斯文·桑德伯格;克里斯蒂安·夏尔哈特;德克·塞弗特;瓦列里察恩;马基尔·范德·比吉尔;维雷娜·沃尔夫] 反应系统的基于模型的测试。高级讲座。 (英语) Zbl 1070.68088号 计算机科学课堂讲稿3472.柏林:施普林格出版社(ISBN 3-540-26278-4/pbk)。viii,659页。(2005).MSC公司:60年第68季度 68米15 68-02 68-06 PDF格式BibTeX公司 XML格式引用 \textit{M.Broy}(编辑)等人,反应系统的基于模型的测试。高级讲座。柏林:施普林格出版社(2005;Zbl 1070.68088) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;本特·琼森;马库斯·尼尔森;德奥索,朱利安;马扬克省萨克塞纳 定期对LTL(MSO)进行模型检查。 (英语) Zbl 1103.68070号 Alur,Rajeev(编辑)等人,《计算机辅助验证》。2004年7月13日至17日在美国马萨诸塞州波士顿举行的2004年CAV第16届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 3-540-22342-8/pbk)。计算机科学课堂讲稿3114348-360(2004)。MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Lect。注释计算。科学。3114348--360(2004;Zbl 1103.68070) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;本特·琼森;马库斯·尼尔森;马扬克省萨克塞纳 定期模型检查的调查。 (英语) Zbl 1099.68055号 Gardner,Philippa(编辑)等人,CONCUR 2004–并发理论。第十五届国际会议,2004年8月31日至9月3日,英国伦敦。诉讼程序。柏林:施普林格出版社(ISBN 3-540-22940-X/pbk)。计算机科学讲义317035-48(2004)。MSC公司:60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Lect。注释计算。科学。3170、35-48(2004年;Zbl 1099.68055) 全文: 内政部
奥尔加·格林斯坦;本特·琼森;Leucker,马丁 事件记录自动机的学习。 (英语) Zbl 1109.68515号 Lakhnech,Yassine(编辑)等人,《定时和容错系统的形式化技术、建模和分析》。2004年9月22日至24日在法国格勒诺布尔举行的关于时间系统的正式建模和分析、FORMATS 2004以及实时和容错系统中的正式技术的联合国际会议,FTRTFT 2004。诉讼程序。柏林:施普林格出版社(ISBN 3-540-23167-6/pbk)。计算机科学课堂讲稿3253379-395(2004)。MSC公司:60年第68季度 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公司:60年第68季度 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届国际会议,CAV 2003,美国科罗拉多州博尔德,2003年7月8日至12日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-40524-0/pbk)。莱克特。注释计算。科学。2725, 236-248 (2003).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Lect。注释计算。科学。2725236--248(2003年;Zbl 1278.68150) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;本特·琼森 具有许多相同定时过程的系统的模型检查。 (英语) Zbl 1018.68046号 西奥。计算。科学。 290,第1期,241-264(2003).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}和\textit{B.Jonsson},Theor。计算。科学。290,第1号,241--264(2003;Zbl 1018.68046) 全文: 内政部
达姆,沃纳;本特·琼森 从RTUML模型表示中消除队列。 (英语) Zbl 1278.68165号 Damm,Werner(编辑)等人,《实时和容错系统中的形式化技术》。2002年9月9日至12日,第七届国际研讨会,FTRTFT 2002,由IFIP WG 2.2联合主办,德国奥尔登堡。诉讼程序。柏林:施普林格出版社(ISBN 3-540-44165-4/pbk)。《计算机科学讲义》2469、375-393(2002年)。MSC公司:60年第68季度 68个M12 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{W.Damm}和\textit{B.Jonsson},莱克特。注释计算。科学。2469375--393(2002年;Zbl 1278.68165) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;本特·琼森;马库斯·尼尔森;德奥索,朱利安 定期模型检查简单高效。 (英语) Zbl 1012.68134号 Brim,Luboš(编辑)等人,CONCUR 2002-并发理论。第十三届国际会议,2002年8月20日至23日,捷克共和国布尔诺。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2421, 116-130 (2002).MSC公司:68问题85 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Lect。注释计算。科学。242116-130(2002年;兹比尔1012.68134) 全文: 链接
帕罗什阿齐兹·阿卜杜拉;本特·琼森;普里塔·马哈塔;德奥索,朱利安 定期树模型检查。 (英语) Zbl 1010.68087号 Brinksma,Ed(编辑)等人,《计算机辅助验证》。2002年7月27日至31日,丹麦哥本哈根,第14届国际会议,CAV 2002。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。2404, 555-568 (2002).MSC公司:60年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Aziz Abdulla}等人,Lect。注释计算。科学。2404、555--568(2002年;Zbl 1010.68087) 全文: 链接
本特·琼森;蒂齐亚娜·玛格丽亚;古斯塔夫·奈瑟;1月,Nyström;Steffen,伯恩哈德 演化系统的增量需求规范。 (英语) Zbl 0978.68026号 Nord.J.计算。 第8期,第1期,65-87页(2001年).MSC公司:68号01 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Jonsson}等人,《北J.计算》。8,编号1,65--87(2001;Zbl 0978.68026)
阿卜杜拉,P.A。;B.琼森。 确保无限状态系统符号验证方法的完整性。 (英语) Zbl 0973.68146号 西奥。计算。科学。 256,编号1-2,145-167(2001).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}和\textit{B.Jonsson},Theor。计算。科学。256,编号1--2,145-167(2001;Zbl 0973.68146) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;采拉人、库尔利斯人;本特·琼森;Tsay,Yih-Kuen先生 具有良好拟序域的程序的算法分析。 (英语) Zbl 1046.68567号 Inf.计算。 160,编号1-2,109-127(2000).MSC公司:65年第68季度 60年第68季度 03B25号 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,《信息计算》。160,编号1--2,109-127(2000;Zbl 1046.68567) 全文: 内政部
帕罗什·阿卜杜拉;克里斯特尔·拜尔;伊耶,普鲁索塔曼;本特·琼森 概率有损信道系统的推理。 (英语) Zbl 0999.68145号 Palamidessi,Catuscia(编辑),CONCUR 2000-并发理论。2000年8月22日至25日,第11届国际会议,美国宾夕法尼亚州大学公园。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1877, 320-333 (2000).MSC公司:68问题85 60年第68季度 65年第68季度 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{P.Abdulla}等人,Lect。注释计算。科学。1877320--333(2000年;Zbl 0999.68145)
艾哈迈德·博阿贾尼;本特·琼森;马库斯·尼尔森;泰瑟·图利 定期模型检查。 (英语) Zbl 0974.68118号 Emerson,E.Allen(编辑)等人,《计算机辅助验证》。第十二届国际会议,CAV 2000。2000年7月15日至19日,美国伊利诺伊州芝加哥。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1855, 403-418 (2000).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Bouajjani}等人,Lect。注释计算。科学。1855、403--418(2000年;Zbl 0974.68118)
本特·琼森;马库斯·尼尔森 用于验证无限状态系统的正则关系的传递闭包。 (英语) Zbl 0960.68039号 Graf,Susanne(编辑)等人,《系统构建和分析的工具和算法》。第六届国际会议,TACAS 2000。作为2000年3月25日至4月2日在德国柏林举行的欧洲软件理论与实践联合会议的一部分。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。1785, 220-234 (2000).MSC公司:68号30 PDF格式BibTeX公司 XML格式引用 \textit{B.Jonsson}和\textit{M.Nilsson},莱克特。注释计算。科学。1785,220--234(2000;Zbl 0960.68039)
本特·琼森;阿米尔·普努利;臀部,卡米拉 使用转导证明精细化。 (英语) Zbl 1448.68118号 分布计算。 12,编号2-3,129-149(1999).MSC公司:64岁以下 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Jonsson}等人,《分布计算》。12,编号2--3,129-449(1999;Zbl 1448.68118) 全文: 链接
帕罗什·阿齐兹·阿卜杜拉;艾哈迈德·博阿贾尼;本特·琼森;马库斯·尼尔森 在参数化系统验证中处理全局条件。 (英语) 兹比尔1046.68573 Halbwachs,Nicolas(编辑)等人,《计算机辅助验证》。第11届国际会议,CAV’99。意大利特伦托,1999年7月6日至10日。诉讼程序。柏林:施普林格出版社(ISBN 3-540-66202-2)。莱克特。注释计算。科学。1633, 134-145 (1999).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}等人,Lect。注释计算。科学。1633、134--145(1999年;Zbl 1046.68573)
帕罗什·阿齐兹·阿卜杜拉;本特·琼森 通道不可靠的程序存在无法确定的验证问题。 (英语) Zbl 0872.68112号 Inf.计算。 130,第1号,71-90(1996).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}和\textit{B.Jonsson},Inf.Comput。130,第1号,71--90(1996;Zbl 0872.68112) 全文: 内政部
本特·琼森;Tsay,Yih-Kuen先生 线性时间时序逻辑中的假设/保证规范。 (英语) Zbl 0874.68210号 西奥。计算。科学。 167,第1-2号,47-72(1996).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{B.Jonsson}和\textit{Y.-K.Tsay},Theor。计算。科学。167,编号1--2,47-72(1996;Zbl 0874.68210) 全文: 内政部 链接
帕罗什·阿齐兹·阿卜杜拉;本特·琼森 使用不可靠的通道验证程序。 (英语) Zbl 0856.68096号 Inf.计算。 127,第2期,91-101(1996).MSC公司:60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}和\textit{B.Jonsson},Inf.Comput。127,第2号,91--101(1996;Zbl 0856.68096) 全文: 内政部 链接
本特·琼森;Tsay,Yih-Kuen先生 线性时间时序逻辑中的假设/保证规范(扩展抽象)。 (英语) Zbl 1496.68192号 Mosses,Peter D.(编辑)等人,《TAPSOFT’95:软件开发的理论与实践》。1995年5月在丹麦奥胡斯举行的第六届CAAP/FASE国际联席会议。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。915, 262-276 (1995).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{B.Jonsson}和\textit{Y.-K.Tsay},莱克特。注释计算。科学。915262--276(1995年;Zbl 1496.68192) 全文: 内政部
汉斯,汉森;本特·琼森 推理时间和可靠性的逻辑。 (英语) Zbl 0820.68113号 正式Asp。计算。 6,第5期,512-535(1994).MSC公司:68T27型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.Hansson}和\textit{B.Jonson},正式Asp。计算。6,第5号,512--535(1994;Zbl 0820.68113) 全文: 内政部
帕罗什·阿齐兹·阿卜杜拉;本特·琼森 通道不可靠的程序存在无法确定的验证问题。 (英语) 兹比尔1418.68123 Abiteboul,Serge(编辑)等人,《自动化,语言和编程》。第21届国际学术讨论会,ICALP’94,以色列耶路撒冷,1994年7月11日至14日。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。820, 316-327 (1994).MSC公司:60年第68季度 03B44号 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Abdulla}和\textit{B.Jonsson},莱克特。注释计算。科学。820316-327(1994年;Zbl 1418.68123) 全文: 内政部
本特·琼森;约阿希姆·帕罗 确定一类非有限状态程序的互模拟等价性。 (英语) Zbl 0799.68133号 Inf.计算。 107,No.2,272-302(1993).MSC公司:60年第68季度 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{B.Jonsson}和\textit{J.Parrow},Inf.Comput。107,第2号,272--302(1993;Zbl 0799.68133) 全文: 内政部 链接
B.琼森。(编辑);J·帕罗。(编辑);佩尔森,B。(编辑) 协议规范、测试和验证。1991年6月18日至20日,在瑞典斯德哥尔摩举行的第11届IFIP WG-6.1国际研讨会上提交了一系列教程论文。 (英语) 兹比尔0776.00035 阿姆斯特丹:北荷兰,第967-1030页(1993年)。 MSC公司:00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{B.Jonsson}(编辑)等,协议规范,测试和验证。1991年6月18日至20日,在瑞典斯德哥尔摩举行的第11届IFIP WG-6.1国际研讨会上提交了一系列教程论文。阿姆斯特丹:北荷兰(1993;Zbl 0776.00035)
帕特里克·恩伯格;拉尔斯·奥尔克,弗雷德里克;本特·琼森 使用LOTOS规范和验证简单超车协议。 (英语) Zbl 0825.68201号 形式描述技术,IV,Proc。IFIP TC6/WG6第四届国际会议,悉尼/澳大利亚,1991,377-392(1992)。MSC公司:68M10个 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.Ernberg}等人,in:形式描述技术,IV.IFIP TC6/WG6.1第四届分布式系统和通信协议形式描述技术国际会议论文集,91年FORTE,澳大利亚悉尼,1991年11月19-22日。阿姆斯特丹等:Elsevier Science Publishers B.V.(北荷兰)。377--392(1992年;Zbl 0825.68201)
本特·琼森(编辑);约阿希姆·帕罗(编辑);比约恩·佩尔森(编辑) 协议规范、测试和验证,XI。1991年6月18日至20日,瑞典斯德哥尔摩,国际单项体育联合会工作组会议记录6.1第11次国际研讨会。 (英语) Zbl 0800.68103号 阿姆斯特丹等地:荷兰北部。十三、 365页(1991年)。MSC公司:68-06 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{B.Jonsson}(编辑)等,协议规范、测试和验证,XI。1991年6月18日至20日,瑞典斯德哥尔摩,IFIP工作组第6.1届国际研讨会会议记录。阿姆斯特丹等:北荷兰(1991;Zbl 0800.68103)
本特·琼森;约阿希姆·帕罗 确定一类非有限状态程序的互模拟等价性。 (英语) Zbl 1492.68086号 Monien,Burkhard(编辑)等人,STACS 89。第六届计算机科学理论方面年度研讨会,1989年2月16日至18日,法国联邦政府帕德博恩。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。349, 421-433 (1989).MSC公司:60年第68季度 68号30 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{B.Jonsson}和\textit{J.Parrow},Lect。注释计算。科学。349421-433(1989年;Zbl 1492.68086) 全文: 内政部